将 monad 组合成元组 operator scalaz

Question

因此，Scala 中一个非常常见的模式是 for 理解，如下所示：

for {
  i <- monadA
  j <- monadB
} yield (i, j)

对于 3 元组、...、n 元组也是如此。这在我的代码中变得如此普遍，我想 scalaz 提供了一些很棒的运算符来为我做这件事，例如monadA funnyOperator monadB funnyOperator monadC。我环顾四周，似乎找不到任何东西。因此，我为 2 元组和 3 元组定义了自己的隐式类，但更喜欢使用 scalaz。

奖金

作为对当前接受的答案的回应，希望有人告诉如何编译：

import scalaz.Scalaz._

// Like a 1 element list
case class MyMonad[+T](x: T) {
  def map[U](f: T => U): MyMonad[U] = MyMonad(f(x))
  def flatMap[U](f: T => MyMonad[U]): MyMonad[U] = f(x)
}

val myMonad: MyMonad[(Int, Int)] = (MyMonad(1) |@| MyMonad(2)).tupled

不给：

error: value |@| is not a member of MyMonad[Int]

奖励解决方案：

您需要“提供一个应用实例”，例如

implicit def myMonadApplicative: Bind[MyMonad] = new Bind[MyMonad] {
  def bind[A, B](fa: MyMonad[A])(f: A => MyMonad[B]): MyMonad[B] = fa.flatMap(f)
  def map[A, B](fa: MyMonad[A])(f: A => B): MyMonad[B] = fa.map(f)
}

Answer 1

你可以使用sequence;我永远不记得你是否需要 shapeless-scalaz：

(monadA, monadB).sequence
(monadA, monadB, monadC).sequence

Answer 2

鉴于每个Monad 都是Applicative，您也可以使用

(monadA |@| monadB).tupled

例如

scala> val b: List[(Int, Int)] = (List(1, 2, 3) |@| List(4, 6)).tupled
b: List[(Int, Int)] = List((1,4), (1,6), (2,4), (2,6), (3,4), (3,6))