繁体   English   中英

使用reduceLeft的应用程序构建器的scalaz

[英]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))这是我想要的输出。

这是我的问题:

  1. 假设我有验证序列,我想使用applicative builder将它们链接在一起。

    Seq(isThree(13),isThree(15))。reduceLeft(_ | @ | _)为什么编译因类型不匹配而失败?

  2. 它类似于第一个问题,如果我使用括号

    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.

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