简体   繁体   中英

Map on Scalaz Validation failure

import scalaz._
import Scalaz._

"abc".parseInt

This will return a Validation[NumberFormatException, Int] . Is there a way I can apply a function on the failure side (such as toString ) to get a Validation[String, Int] ?

There is a pair of methods <-: and :-> defined on MAB[M[_,_], A, B] that map on the left and right side of any M[A, B] as long as there is a Bifunctor[M] . Validation happens to be a bifunctor, so you can do this:

((_:NumberFormatException).toString) <-: "123".parseInt

Scala's type inference generally flows from left to right, so this is actually shorter:

"123".parseInt.<-:(_.toString)

And requires less annotation.

There is a functor on FailProjection. So you could do

v.fail.map(f).validation

(fail to type as FailProjection, validation to get out of it)

Alternatively

v.fold(f(_).failure, _.success)

Both a bit verbose. Maybe someone more familiar with scalaz can come up with something better

The technical post webpages of this site follow the CC BY-SA 4.0 protocol. If you need to reprint, please indicate the site URL or the original address.Any question please contact:yoyou2525@163.com.

 
粤ICP备18138465号  © 2020-2024 STACKOOM.COM