在 Nick Partridge's presentation on deriving scalaz ,基于旧版本的 scalaz,他使用一个函数引入了验证:
def even(x: Int): Validation[NonEmptyList[String], Int] =
if (x % 2 == 0) x.success else { s"not even: $x".wrapNel.failure }
然后他结合使用
even(1) <|*|> even(2)
它应用测试并返回带有失败消息的验证。使用 scalaz 7 我得到
scala> even(1) <|*|> even(2)
<console>:18: error: value <|*|> is not a member of scalaz.Validation[scalaz.NonEmptyList[String],Int]
even(1) <|*|> even(2)
^
这个组合器的 scalaz 7 等价物是什么?
最佳答案
现在称为 tuple
,因此您可以编写例如:
import scalaz._, Scalaz._
def even(x: Int): Validation[NonEmptyList[String], Int] =
if (x % 2 == 0) x.success else s"not even: $x".failureNel
val pair: ValidationNel[String, (Int, Int)] = even(1) tuple even(2)
不幸的是,我不确定有没有比检查源的最后一个 6.0 标签、搜索然后比较签名更好的方法来找出这种事情。
关于scalaz 7 相当于来自 scalaz 6 的 `<|*|>`,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/32997508/