处理Scalaz6验证列表

发布时间：2020-12-16 08:53:54 所属栏目：安全来源：网络整理

导读：是否有一种惯用的方法来处理 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 = res

是否有一种惯用的方法来处理 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())

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

解决方法

使用验证列表的常用方法是使用序列将列表转换为验证[A,列表[B]],如果在此过程中出现任何错误,则验证将为空(即失败).

排序验证累积了左手类型半群中的错误(与Either相反,后者立即失败).这就是为什么你经常看到使用ValidationNEL(其中NEL代表NonEmptyList)而不是简单的验证.例如,如果您有此结果类型：

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
)

我们最终会失败(注意我已经重新格式化输出以使其在这里清晰可见)：

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和here.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!