scala - 将任一列表转换为猫 ValidatedNel

Question

鉴于:

def convert[T](list: List[Either[String, T]]): Validated[NonEmptyList[String], NonEmptyList[T]] =
  NonEmptyList.fromList(list)
    .toRight("list is empty")
    .flatMap(...

我如何平面映射 NonEmptyList[Either[String, T]]所以最终我得到了我的 Validated返回值？
cats里面有什么吗？库来解释这种情况？或者我是否需要手动执行以下操作:Best way to turn a Lists of Eithers into an Either of Lists?

Answer 1

我会这样写:

import cats.data.{ NonEmptyList, Validated, ValidatedNel }
import cats.instances.list._, cats.syntax.list._
import cats.syntax.either._
import cats.syntax.option._
import cats.syntax.traverse._

def convert[T](list: List[Either[String, T]]): ValidatedNel[String, NonEmptyList[T]] =
  list.traverse(_.toValidatedNel).andThen(_.toNel.toValidNel("list is empty"))

首先，我们在转换 Either 的同时将整个东西翻过来。转至 Validated s(与 traverse 和 toValidatedNel )，得到一个 ValidatedNel[String, List[T]] ，然后我们处理结果为空的情况(使用 andThen 和 toNel )。
andThen可能是您遗漏的部分之一 - 它本质上是 flatMap为 Validated (但没有 flatMap 带来的含义和语法糖包)。如果你愿意，你可以很容易地改变我的版本，先做空列表检查，就像你的草图一样，但我写的方式对我来说感觉更自然一些。

脚注:我不知道为什么 Option 的浓缩方法被命名 toValidNel而对于 Either是 toValidatedNel ——我之前没有注意到这一点，可能是因为我之前没有在同一行中使用过它们。这似乎很不幸，尤其是因为 Cats 1.0 已经发布，我们已经坚持了一段时间。

另一个脚注:请注意，您将需要 -Ypartial-unification为 traverse 启用编译器选项如果您使用的是 2.11，则无需类型参数即可工作。