报告所有错误的类似序列的函数

Question

我正在标准库中寻找一个函数，其签名与此类似：

Traversable f => f (Either e a) -> Either [e] (f a)

或者可能是这样的：

(Traversable f, Monoid e) => f (Either e a) -> Either e (f a)

这个想法是收集错误而不是在遇到第一个错误时失败。

我看到我的函数看起来很像sequence，我希望已经有一个类型类来建模这种模式。

Answer 1

您可以Validation为此使用数据类型。从文档：

[A]Validation是任一类型的值err或a，类似Either。但是，Applicative实例 for使用onValidation 累积错误。相反，for只返回第一个错误。SemigrouperrApplicativeEither

例如：

> sequenceA [Failure [1], Success "Test", Failure [2] :: Validation [Int] String]
Failure [1, 2]