![](/img/trans.png)
[英]Scalaz use applicative builder with validations and a list of validations
[英]scalaz using reduceLeft for applicative builder
关于| @ |我有点困惑 斯卡拉兹的魔法。 这是我的代码:
def isThree(x: Int): Validation[NonEmptyList[String], Int] = if (x!= 3){("failed: %d" format x).wrapNel.failure} else {x.success}
println((isThree(6) |@| isThree(7) |@| isThree(13) ) {_ + _ + _})
输出 :失败(NonEmptyList(失败:6,失败:7,失败:13))这是我想要的输出。
这是我的问题:
假设我有验证序列,我想使用applicative builder将它们链接在一起。
Seq(isThree(13),isThree(15))。reduceLeft(_ | @ | _)为什么编译因类型不匹配而失败?
它类似于第一个问题,如果我使用括号 :
println((isThree(6) |@| (sThree(7) |@| isThree(13)) ) {_ + _ + _})
,它仍然有编译错误。
另外,我知道我可以通过使用<*代替| @来修复第一个,但我仍然感到困惑,为什么这样,它看起来不方便使用。
提前谢谢了。
这适用:| @ | 结果类型不是ValidationNel(Applicative)而是ApplicativeBuilder,你需要首先将它应用于某个函数
import scalaz._, Scalaz._
val x1: ValidationNel[String, Int] = 1.successNel
val x2: ValidationNel[String, Int] = 2.successNel
val x3: ValidationNel[String, Int] = 3.successNel
println((x1 |@| x2 |@| x3)(_ + _ + _))
println((x1 :: x2 :: x3 :: Nil).reduceLeft((l, r) => (l |@| r)(_ + _)))
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.