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

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 is either a value of the type err or a, similar to Either. However, the Applicative instance for Validation accumulates errors using a Semigroup on err. In contrast, the Applicative for Either returns only the first error.

例如。:

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