haskell - 从 [Either a b] 到 Either [a] [b] 的函数

Question

函数的名称是否定义如下:

f :: [Either a b] -> Either [a] [b]
f x = let (y1, y2) = partitionEithers x in
  case y1 of
    [] -> Right y2
    _ -> Left y1

基本上，如果列表至少包含 Left，它将返回所有 Left，否则返回所有 Right。

或者，这个函数是否对我错过的类型类有一些概括？

Answer 1

这(几乎)是 Validation 的序列 ;您只需将 a 转换为 [a] 即可。所以:

traverse (eitherToValidation . first pure)

如果您重写生产者以生成 Validation，而不是 Either，那么噪音会更少。