Validación de Scalaz y límites de ApplicativeBuilder

Question

Estamos usando el rasgo de validación scalaz en nuestro proyecto para validar los parámetros de HTTP. El caso común está tomando unos valores validados y la realización de neccessary acción sólo si todos ellos son válidos, lista de errores de regresar de otro modo:

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

Esto funciona muy bien, hasta que tenemos que utilizar más de 8 parámetros, porque | @ | el operador construye ApplicativeBuilder, que está limitado a 8 argumentos. ¿Hay alguna otra manera de realizar dicha validación todo en uno, preferiblemente manteniendo el código legible?

Answer 1

desea utilizar el método <*>, junto con una única llamada al map (o ∘ si lo prefiere). Puede seguir usando <*> indefinidamente.

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

un par de maneras de hacerlo:

1. Lift la función relevante para Validation contexto, y luego aplicarlo a los valores.

   getSomeResponse.lift[({ type L[X] = Validation[Y, X] })#L] apply (
       param1Val, param2Val, param3Val 
   ) 
   

2. Utilice la comprensión de mónada.

   for { 
       x1 <- param1Val 
       x2 <- param2Val 
       x3 <- param3Val 
   } yield getSomeResponse(x1, x2, x3)