Scalaz在错误和成功中都有积累吗？

Question

我开始使用 Scalaz 7 验证和/或析取来处理可能失败的操作列表并管理其结果。

这种用例有两个很好的记录案例：

1/你想检查某件事情的条件列表，并累积每个错误（如果有的话）。在这里，你总是走到列表的末尾，如果有任何错误，你将失败作为全局结果。这是一个应用仿函数在起作用。

2/ 您希望执行几个可能失败的步骤，并在第一个步骤失败时停止。在这里，我们有一个monad，它在Scala中很好理解。

因此，我还有另外两个用例，它们在同一行中，但似乎与任何先例都不太吻合：我想处理一系列步骤，可能会失败，并累积错误和成功结果（例如：这是一个文件修改列表，错误可能会发生，因为这是外部世界，成功是我想保留的补丁）。

这两个用例的区别仅在于我想早点停止(在第一个错误时)或者转到列表的末尾。

好的，那么正确的做法是什么？

（写这个问题让我觉得这只是一个简单的折叠，是吗？我会让这个问题在这里验证，如果有人想知道的话）

Answer 1

您需要的是大致将或[E，A]转换为写入器[List[E]，A]。Writermonad记录您遇到的错误。

Answer 2

我会这样做:

scala> List(1.success[String], 2.success[String], "3".failure[Int], "4".failure[Int]).partition(_.isSuccess)
res2: (List[scalaz.Validation[java.lang.String,Int]], List[scalaz.Validation[java.lang.String,Int]]) = (List(Success(1), Success(2)),List(Failure(3), Failure(4)))

scala> val fun = (_:List[Validation[String, Int]]).reduceLeft(_ append _)
fun: List[scalaz.Validation[String,Int]] => scalaz.Validation[String,Int] = <function1>

scala> fun <-: res2 :-> fun
res3: (scalaz.Validation[String,Int], scalaz.Validation[String,Int]) = (Success(3),Failure(34))

UPD：合并 #129 和 #130 后，您可以将乐趣更改为 （_：List[Validation[String， Int]]）.conatenate 或 （_：List[Validation[String， Int]]）.suml

或bimap如下：

scala> List(1.success[String], 2.success[String], "3".failure[Int], "4".failure[Int]).partition(_.isSuccess).bimap(_.suml, _.suml)
res6: (scalaz.Validation[java.lang.String,Int], scalaz.Validation[java.lang.String,Int]) = (Success(3),Failure(34))

Answer 3

请查看验证#append或其别名校验|。给定两次验证，如果都成功，则返回所附加值的成功。如果两者都失败，则返回附加值的失败。否则，它将返回成功值。这需要成功类型的隐式半群实例。