如何从元组中收集一个或的左边？

Question

在对一堆类型为[String， A]（其中A是多种类型）的Eithers进行匹配后，我想将左侧的任何字符串累积到一个列表中。

(a, b, c, d, e) match {
  case (Right(a), Right(b), Right(c), Right(d), Right(e)) => {
    "All good, use a, b, c, d, and e!"
  }
  case anythingElse => {
    val strings = accLefts(anythingElse)
    doSomethingWithStrings(strings)
  }
}

如果我尝试. productIterator.toList元组，我最终会得到List[any]。如果我单独处理每个失败的案例（权利和左的组合），我最终会得到指数数量的案例语句。

我怎样才能在最后得到一个列表[[字符串，任何]]来传递给我的加注？或者我应该做些什么而不是比赛？

Answer 1

我可能会创建一组实用函数，如

def fromTuple2[A, That](t: Tuple2[A,A])(implicit bf : CanBuildFrom[Nothing, A, That]): That =
  (bf.apply() += (t._1, t._2)).result();

对于您需要的所有n元组。虽然有很多样板代码，但这只是一次性工作。然后您可以执行以下操作：

val e1: Either[String,Int] = Right(3);
val e2: Either[String,String] = Left("3");
val test: List[Either[String,Any]] = fromTuple2(e1, e2);

也许更好的是，我们可以使用丰富的隐式方法，例如

implicit def fromTuple2Impl[A](t: Tuple2[A,A]) = new {
  def asCollection[That](implicit bf : CanBuildFrom[Nothing, A, That]): That =
    (bf.apply() += (t._1, t._2)).result();
}

只写

val test: List[Either[String,Any]] = (e1, e2).asCollection;

编辑：我们甚至可以将元组丰富为可遍历的元组，这为我们提供了所有方法，如toList、folding等：

implicit def fromTuple2Impl3[A](t: Tuple2[A,A]) = new Traversable[A] {
  def asCollection[That](implicit bf : CanBuildFrom[Nothing, A, That]): That =
    (bf.apply() += (t._1, t._2)).result();
  override def foreach[U](f: (A) => U): Unit = {
    f(t._1); f(t._2);
  }
}

通过进一步的工作，我们可以进一步实现IndexedSeq。

Answer 2

也许与嵌套模式匹配？

case anythingElse => {
    val strings = anythingElse
                    .productIterator
                    .collect { case Left(str: String) => str }
                    .toList
    doSomethingWithStrings(strings)
}

请注意，这里的str： String是为了指导类型推断，因此字符串的类型为List[String]而不是List[Any]

Answer 3

这正是Scalaz中的ValidationNEL（本质上是一个增强版）设计用来支持的东西。例如，假设我们使用Scalaz 7进行以下设置：

import scalaz._, Scalaz._

case class Person(first: String, last: String, initial: Char, age: Int)

val first = "John".successNel[String]

val last = "Doe".successNel[String]
val badLast = "Empty last name".failureNel[String]

val initial = 'H'.successNel[String]
val badInitial = "Non-alphabetic MI".failureNel[Char]

val age = 45.successNel[String]
val badAge = "Negative age provided".failureNel[Int]

请注意，此处的Nel表示非空列表，并且表示“John”。successNel[字符串]或多或少等同于右（“John”）：或者[列表[字符串]，[字符串]等等。

现在我们可以写以下内容：

scala> println((first |@| last |@| initial |@| age)(Person.apply))
Success(Person(John,Doe,H,45))

或：

scala> println((first |@| badLast |@| initial |@| badAge)(Person.apply))
Failure(NonEmptyList(Empty last name, Negative age provided))

或：

scala> println((first |@| badLast |@| badInitial |@| badAge)(Person.apply))
Failure(NonEmptyList(Empty last name, Non-alphabetic MI, Negative age provided))

任何错误都累积在ValidationNEL的左侧。有关更多详细信息，请参阅例如我在此处的答案。