如何将F[[A，B]]转换为[F[A]，F[B]]

Question

一些背景:猫中有一个.separate函数，它允许我从F[Either[A, B]]中提取元组(F[A], F[B])。考虑到这一点，我们可以很容易地构造Either[F[A], F[B]] --假设我们可以检查F是否为空(单样体可以吗？)列表的代码可能如下所示

val l: List[Either[_, _]] = ???
l.separate match {
  case (Nil, rights) => Right(rights)
  case (lefts, _) => Left(lefts)
}

但这似乎是一个更普遍的概念，但我不太清楚这是什么。它看起来有点像.sequence，但我们的G有两个漏洞。也就是说，我们需要一个转换F[G[A, B]] -> G[F[A], F[B]]。

你是否知道是否存在这样的概念，或者如何在没有pattern matching / if statements / Either.cond的猫身上实现这个目标？

Answer 1

您可以使用Alternative和Traverse的组合来尝试。

This special case可以从List推广到任意F

def collectErrors[A, B](xs: List[Either[A, B]]): Either[List[A], List[B]] = {
  xs.traverse(_.left.map(List(_)).toValidated).toEither
}

下面是一张购物清单，上面列出了我们需要做的事情：

1. 我们需要某种替代List(_)的方法。这通常是Applicative[F].pure(_) (或_.pure[F])，所以我们需要Applicative。
2. 我们需要一个Monoid在F[X]上，这样我们就可以在Validated的左边积累错误。幸运的是，有MonoidK[F[_]]，它知道如何为任何给定的X生成Monoid[F[X]]。
3. F[_]必须是可遍历的，这样我们才能从F[Validated[F[A], B]]到Validated[F[A], F[B]]，因此我们需要Traverse。

有一个特征Alternative，它是Applicative和MonoidK的结合。把这一切结合在一起会让你：

  import scala.util.Either
  import cats._
  import cats.syntax.either._
  import cats.syntax.traverse._
  import cats.syntax.applicative._

  def collectErrors[F[_]: Alternative : Traverse, X, Y](xs: F[Either[X, Y]])
  : Either[F[X], F[Y]] = {
    implicit val mon = MonoidK[F].algebra[X]
    xs.traverse(_.left.map(_.pure[F]).toValidated).toEither
  }

现在，这应该适用于List、Vector、Chain等。