Idiomatische Art, ersteRightOrLinks in Haskell zu schreiben?

Question

Ich habe die folgende Methode:

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

Was mich stört, ist das hässliche Pattern-Matching und ich frage mich, ob es eine idiomatische Weise war diese Methode zu schreiben. Die Idee ist, dass ich eine Reihe von Berechnungen habe, die Eithers zurückgeben können und ich möchte nur das erste oder alle Fehlermeldungen erhalten. Vielleicht verwende ich die falsche Datenstruktur. Vielleicht wäre die Writer-Monade für diese Aufgabe besser geeignet. Ich bin mir zu diesem Zeitpunkt wirklich nicht sicher. Prost für jede Hilfe!

Answer 1

Die umgekehrte Konvention ist eigentlich nur die Monade Definition für Either und die Definition für sequence ist ausreichend für diese: eigentlich

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

zu Wenden Sie dieses auf Ihren Fall an, wir würden deshalb eine Funktion flipEither benötigen:

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

Answer 2

Die MonadPlus Instanz für Except hat dieses Verhalten:

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

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