有没有一种方法可以避免在所有函数体内导入monad语法?这就是我坚持写的东西:
object Example {
def doMonadThings[M[_]: Monad, A](ma: M[A]): M[A] = {
val monadSyntax = implicitly[MonadSyntax[M]]
import monadSyntax._
ma.flatMap { x => point(x) }
}
}
scalaz 7.2
编辑:
这就是我最终得到的:
object Example {
import scalaz.syntax.monad._
def doMonadThings[M[_], A](ma: M[A])(implicit m: Monad[M]): M[A] =
ma.flatMap { x => m.point(x) }
}
答案 0 :(得分:3)
尝试
import scalaz.syntax.monad._
def doMonadThings[M[_]: Monad, A](ma: M[A]): M[A] = {
ma.flatMap[A] { x => x.point }
}