使用验证列表的常用方法是使用sequence
将列表变成Validation[A, List[B]]
,这将为空(即Failure
)如果一路上有任何错误。
测序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 https://stackoverflow.com/a/12358892/334519 and here https://stackoverflow.com/a/12309023/334519有关更多详细信息sequence
以及关于Validation
更普遍。