scala – Cats – 当范围内的Monad`实例时如何使用for -reherehe

发布时间：2020-12-16 09:08:24 所属栏目：安全来源：网络整理

导读：如何在下面的方法中对M型使用for-comprehension？ def foo[M[_]: Monad](m1: M[Int],m2: M[Int]) = for { a - m1 b - m2 } yield (a + b) 我会得到一个 value flatMap is not a member of type parameter M[Int] 我可以通过定义flatMap和map方法来实现它： i

如何在下面的方法中对M型使用for-comprehension？

def foo[M[_]: Monad](m1: M[Int],m2: M[Int]) =
  for {
     a <- m1
     b <- m2
  } yield (a + b)

我会得到一个

value flatMap is not a member of type parameter M[Int]

我可以通过定义flatMap和map方法来实现它：

implicit class MOps[A](m: M[A])(implicit monad: Monad[M]) {
  def flatMap[B](f: A => M[B]): M[B] = monad.flatMap(m)(f)
  def map[B](f: A => B): M[B]        = monad.map(m)(f)
}

但是肯定有必要让Cats提供这些方法吗？

解决方法

尝试：

import cats.syntax.functor._,cats.syntax.flatMap._

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!