有没有办法可以避免在我的所有函数体中导入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) }
}
尝试
import scalaz.syntax.monad._
def doMonadThings[M[_]: Monad, A](ma: M[A]): M[A] = {
ma.flatMap[A] { x => x.point }
}