Fehler auf mehrere Entweder Umgang Werte

Question

Ich habe zwei either Werte, zum Beispiel:

Either String Config -- error string or config parsed 
Either String Env  -- error string or environment variables detected 

Und ich mag ihre Werte in diesen Datensatz extrahieren:

type App = App { config :: Config, env :: Env } 

während schnell versagt, wenn es waren Fehler (der Left Wert auf einem dieser beiden Werte).

Ich könnte zwei case Aussagen verwenden, aber ich frage mich, ob es bereits eine Abstraktion gibt, die ich hier verwenden kann?

Idealerweise würde ich eine Nachricht bei einem Fehler protokollieren und das Programm sofort beenden.

Answer 1

Sie können die Tatsache verwenden, dass Either String ein Applicative für solche Dinge ist.

Unter der Annahme,

mcnf :: Either String Config 
menv :: Either String Env 

können Sie schreiben

mapp :: Either String App 
mapp = App <$> mcnf <*> menv