8

有没有一种惯用的方式来处理 Scalaz6 中的验证集合？

val results:Seq[Validation[A,B]]
val exceptions = results.collect{case Failure(exception)=>exception}
exceptions.foreach{logger.error("Error when starting up ccxy gottware",_)}
val success = results.collect{case Success(data)=>data}
success.foreach {data => data.push}
if (exceptions.isEmpty)
   containers.foreach( _.start())

我可以考虑在循环结果时使用折叠，但最终测试呢？

4

1 回答 1

9

使用验证列表的常用方法是sequence将列表转换为 a ，如果在此过程中出现任何错误Validation[A, List[B]]，它将为空（即 a ）。Failure

排序 a会在左侧类型的半群中Validation累积错误（与 相反，后者会立即失败）。Either这就是为什么您经常看到使用ValidationNEL（NEL代表NonEmptyList）而不是简单地使用Validation。因此，例如，如果您有这种结果类型：

import scalaz._, Scalaz._

type ExceptionsOr[A] = ValidationNEL[Exception, A]

还有一些结果：

val results: Seq[ExceptionsOr[Int]] = Seq(
  "13".parseInt.liftFailNel, "42".parseInt.liftFailNel
)

测序将为您提供以下信息：

scala> results.sequence
res0: ExceptionsOr[Seq[Int]] = Success(List(13, 42))

另一方面，如果我们遇到这样的错误：

val results: Seq[ExceptionsOr[Int]] = Seq(
  "13".parseInt.liftFailNel, "a".parseInt.liftFailNel, "b".parseInt.liftFailNel
)

我们最终会得到一个Failure（请注意，我已重新格式化输出以使其在此处清晰可见）：

scala> results.sequence
res1: ExceptionsOr[Seq[Int]] = Failure(
  NonEmptyList(
    java.lang.NumberFormatException: For input string: "a",
    java.lang.NumberFormatException: For input string: "b"
  )
)

所以在你的情况下，你会写这样的东西：

val results: Seq[ValidationNEL[A, B]]

results.sequence match {
  case Success(xs) => xs.foreach(_.push); containers.foreach(_.start())
  case Failure(exceptions) => exceptions.foreach(
    logger.error("Error when starting up ccxy gottware", _)
  )
}

请参阅我的答案here和heresequence ，了解更多关于Validation更一般性的详细信息。

于 2013-01-09T11:55:13.407 回答