Scala:将整个列表的 Either 与每个元素的 Either 结合起来

Question

我有一个 Either 列表，表示错误:

type ErrorType = List[String]
type FailFast[A] = Either[ErrorType, A]

import cats.syntax.either._
val l = List(1.asRight[ErrorType], 5.asRight[ErrorType])

如果全部正确，我想得到一个[A]的列表，在这种情况下- List[Int]

如果留下任何 Either，我想将所有错误合并并返回。

我在 [ How to reduce a Seq[Either[A,B]] to a Either[A,Seq[B]] 找到了一个类似的主题。

但那是很久以前的事了。例如，其中一个答案提供使用 partitionMap，我目前找不到。可能有更好、更优雅的解决方案。 scala-cats 的例子会很棒。

我想如何使用它:

for {
  listWithEihers <- someFunction
  //if this list contains one or more errors, return Left[List[String]]
  //if everything is fine, convert it to:
  correctItems <- //returns list of List[Int] as right
} yield correctItems

这个for-comprehension的返回类型必须是:

Either[List[String], List[Int]]

Answer 1

正如评论中已经提到的，Either 有利于快速失败的行为。为了累积多个错误，您可能需要像 Validated 这样的东西。此外:

• 列表是可遍历的(有 Traverse 的实例)
• 验证是适用的
• Validated.fromEither 将 Either[List[String], X] 映射到 Validated[List[String], X]，就是这样traverse 中您需要的功能。

因此，您可以尝试:

• l.traverse(Validated.fromEither) 如果您对 Validated
没问题
• l.traverse(Validated.fromEither).toEither 如果你真的想要一个 Either 最后。

所有导入的完整示例:

import cats.data.Validated
import cats.syntax.validated._
import cats.syntax.either._
import cats.syntax.traverse._
import cats.instances.list._
import cats.Traverse
import scala.util.Either

type ErrorType = List[String]
type FailFast[A] = Either[ErrorType, A]
val l: List[Either[ErrorType, Int]] = List(1.asRight[ErrorType], 5.asRight[ErrorType])

// solution if you want to keep a `Validated`
val validatedList: Validated[ErrorType, List[Int]] =
  l.traverse(Validated.fromEither)

// solution if you want to transform it back to `Either`
val eitherList: Either[ErrorType, List[Int]] =    
  l.traverse(Validated.fromEither).toEither