Scalaz验证和ApplicativeBuilder限制

Dig*_*gal 10 validation scala scalaz

我们在项目中使用scalaz验证特性来验证HTTP参数.常见的情况是,只有在所有值都有效的情况下,只需要很少的验证值并执行必要的操作,否则返回错误列表:

(pavam1Val.liftFailNel |@|
 param2Val.liftFailNel |@|
 param3Val.liftFailNel) {
    getSomeResponse(_, _, _)
}
Run Code Online (Sandbox Code Playgroud)

这很好用,直到我们必须使用8个以上的参数,因为| @ | operator构造ApplicativeBuilder,限制为8个参数.是否有其他方法可以执行此类一次性验证,最好是保持代码可读?

Ton*_*ris 11

您想要使用该<*>方法,以及一次调用map(或者?如果您愿意).你可以<*>无限期地继续使用.

scala> val param1Val = success[String, Int](7)                              
param1Val: scalaz.Validation[String,Int] = Success(7)

scala> val param2Val = failure[String, Int]("abc")                          
param2Val: scalaz.Validation[String,Int] = Failure(abc)

scala> val param3Val = success[String, Int](9)                              
param3Val: scalaz.Validation[String,Int] = Success(9)

scala> val r = param1Val <*> (param2Val <*> (param3Val map getSomeResponse))
r: scalaz.Validation[String,Int] = Failure(abc)
Run Code Online (Sandbox Code Playgroud)

  • 不要忘记`getSomeResponse`需要是一个curried函数,即`Int => Int => Int => Int`. (2认同)
  • 我们不是在那里有相反的论点顺序吗?我的意思是得到与我们需要编写`param3Val <*>(param2Val <*>(param1Val map getSomeResponse))`的问题相同的结果. (2认同)