如何将'NonEmptyList [[错误,用户]]`转换为`与[错误,NonEmptyList [用户]]`？

Question

我正在使用猫,想知道如何使用它来转换数据:

val data = NonEmptyList[Either[Error, User]]

至

val target: Either[Error, NonEmptyList[User]] = howToConvert(data)

Answer 1

通常,当您想要将类型构造函数内部转出时,您可能正在寻找sequence.如果你-Ypartial-unification在Scala> = 2.11.9中打开,你可以让编译器推断所有内容:

data.sequence

除此以外:

type EitherError[A] = Either[Error, A]
data.sequence[EitherError, User]

或者,如果你有类型lambda插件:

data.sequence[Either[Error, ?], User]

或者,如果您没有插件,但您不喜欢类型别名:

data.sequence[({type L[A] = Either[Error, A]})#L, User]

如果没有错误,它将执行返回第一个错误或所有用户的预期操作.如果我们假装用户是整数并且错误是字符串:

scala> import cats.data.NonEmptyList, cats.implicits._
import cats.data.NonEmptyList
import cats.implicits._

scala> val data: NonEmptyList[Either[Error, User]] = NonEmptyList.of(Right(2), Left("error1"), Right(4))
data: cats.data.NonEmptyList[Either[Error,User]] = NonEmptyList(Right(2), Left(error1), Right(4))

scala> data.sequence
res4: Either[Error,cats.data.NonEmptyList[User]] = Left(error1)