Scalaz 验证和 ApplicativeBuilder 限制

Question

我们在项目中使用 scalaz 验证特征来验证 HTTP 参数。常见情况是采用很少的经过验证的值，并且仅当所有值都有效时才执行必要的操作，否则返回错误列表：

(pavam1Val.liftFailNel |@|
 param2Val.liftFailNel |@|
 param3Val.liftFailNel) {
    getSomeResponse(_, _, _)
}

这很有效，直到我们必须使用超过 8 个参数，因为 |@|运算符构造 ApplicativeBuilder，它限制为 8 个参数。是否有另一种方法来执行这种一次性验证，最好保持代码可读？

Answer 1

您想要使用 <*> 方法，以及对 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)

Answer 2

还有几种方法可以实现此目的：

1. 将相关函数提升到验证上下文，然后将其应用于值。

   getSomeResponse.lift[({ type L[X] = Validation[Y, X] })#L] apply (
     参数1Val、参数2Val、参数3Val
   ）
   

2. 使用 monad 理解。

   <前><代码>对于{
   x1 <- param1Val
   x2 <- param2Val
   x3 <- param3Val
   } 产生 getSomeResponse(x1, x2, x3)