将Eithers与Scala“for”语法一起使用

Question

for {
  foo <- Right(1)
  bar <- Left("nope")
} yield (foo + bar)

// expected result: Left("nope")
// instead I get "error: value flatMap is not a member..."

for {
  foo <- Right(1)
  if foo > 3
} yield foo
// expected result: Left(???)

Answer 1

它在Scala2.11和更早版本中不起作用，因为要么不是单子。虽然有关于右偏置的讨论，但您不能在for-concerrition中使用它：您必须获得leftproject或rightproject，如下所示：

for {
  foo <- Right[String,Int](1).right
  bar <- Left[String,Int]("nope").right
} yield (foo + bar)

顺便说一下，返回left（“nope”）。

在Scalaz上，您将或者替换为验证。有趣的事实:要么的原作者是Scalaz的作者之一Tony Morris。他想让要么偏右，但一个同事却说服了他。