如果为了理解给出了类型注释，则 scalaz 析取会出错

Question

如果我在下面的 for comprehension 中为 v1_b 提供类型注释，Scalaz 想要一个 Monoid 实例。

1) 为什么会这样？

2) 错误中也提到了filter，filter是怎么出现在这张图里的？

import scalaz._
import Scalaz._

case class MyError(s:String)

type Err=MyError
val v1: \/[Err, String] = "cool".right
val v2: \/[Err, String] = MyError("not cool").left[String]

val res: \/[Err, (String,String)] =for {
  v1_a <- v1 // this works fine

  // v1_b : String <- v1
  // uncommenting the line above gives the following compiler error:
  // Error:(23, 22) could not find implicit value for parameter M: scalaz.Monoid[_experiment.scalaz.Disjunction.Err]
  // Error:(23, 22) not enough arguments for method filter: (implicit M: scalaz.Monoid[_experiment.scalaz.Disjunction.Err])scalaz.\/[_experiment.scalaz.Disjunction.Err,String].
  // Unspecified value parameter M.

  v2_ <- v2
} yield (v1_a,v2_)

println(res)

在此 fiddle 中在线尝试此代码：https://scalafiddle.io/sf/DHO6xki/3

Answer 1

v1_b : String 在运行时执行类型测试。因此，这个 for 理解的脱糖包含 filter （以过滤掉测试失败的情况）。 filter on \/ 要求左边是幺半群。

如果为了理解给出了类型注释，则 scalaz 析取会出错

scalaz's disjuntion gives error if type annotation is given in for comprehensin

scala

scalaz

for-comprehension