在Haskell中編寫firstRightOrLefts的慣用法？

Question

我有以下方法：

firstRightOrLefts :: [Either b a] -> Either [b] a
firstRightOrLefts eithers = 
   case partitionEithers eithers of
      (_,  (x : _)) -> Right x
      (xs, _)       -> Left xs

困擾我的是丑陋的模式匹配，我想知道是否有更慣用的方法來編寫這種方法。 我的想法是，我有一堆可以返回Eithers的計算，我只想獲得第一個結果或所有錯誤消息。 也許我使用了錯誤的數據結構。 也許Writer monad會更適合這項任務。 我現在真的不確定。 歡呼任何幫助！

Answer 1

反向約定實際上只是Either的monad定義， sequence的定義就足夠了：

ghci> :t sequence :: [Either a b] -> Either a [b]
sequence :: [Either a b] -> Either a [b]
  :: [Either a b] -> Either a [b]

要將此實際應用於您的案例，我們需要一個函數flipEither：

firstRightOrLefts = fe . sequence . map fe
    where fe (Left a) = Right a
          fe (Right b) = Left b

Answer 2

該MonadPlus例如Except有此行為：

import Control.Monad
import Control.Monad.Trans.Except

firstRightOrLefts :: [Either e a] -> Either [e] a
firstRightOrLefts = runExcept . msum . fmap (withExcept (:[]) . except)