如何将F [Either [A，B]]转换为Either [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来尝试。

这种特殊情况可以从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. 我们需要F[X]上的Monoid ，以便可以在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等。