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?
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.
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With