Scalaz：我如何累积失败或将函数应用于不同类型的验证？

Question

I have 19 strings that need to be validated into various types. When all validate successfully, I would like to instantiate a class that represents a row of a spreadsheet (where the columns do not all have the same type).

When one or more of the strings fails to validate, I would like to have the errors accumulated in a NonEmptyList.

If there were 12 or fewer items, I could use |@| or apply12. If I use a for expression, it fails fast and no accumulation happens.

I could sequence the failures when the for expression fails, but that means I'm looping twice. Is there a way to use scalaz to pull each validation success into a variable (as would happen if i used a for expression to instantiate the class) at the same time as accumulating all of the failures?

Answer 1

Suppose we have a case class (which could have more than twelve members):

case class Foo(a: Int, b: Char, c: Symbol, d: String)

And that we're representing errors as strings and have defined a type alias for convenience:

type ErrorOr[A] = ValidationNel[String, A]

We also have some validation results:

val goodA: ErrorOr[Int] = 1.success
val goodB: ErrorOr[Char] = 'a'.success
val goodC: ErrorOr[Symbol] = 'a.success
val goodD: ErrorOr[String] = "a".success

val badA:  ErrorOr[Int] = "x".failNel
val badC:  ErrorOr[Symbol] = "y".failNel

Now we can write:

val foo = (Foo.apply _).curried

val good: ErrorOr[Foo] = goodD <*> (goodC <*> (goodB <*> (goodA map foo)))
val bad:  ErrorOr[Foo] = goodD <*> (badC  <*> (goodB <*> (badA  map foo)))

Which gives us what we want:

scala> println(good)
Success(Foo(1,a,'a,a))

scala> println(bad)
Failure(NonEmptyList(x, y))

In Haskell this would be much prettier —you'd just write:

Foo <$> goodA <*> goodB <*> goodC <*> goodD

Scala's weaker type inference requires us to write the arguments in the wrong order, unfortunately.