錯誤處理多個要麼值

Question

我有兩個either值，例如：

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

而且我想他們的價值觀提取到這個紀錄：

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

而失敗快，如果有是錯誤（其中一個值爲Left）。

我可以使用兩個case語句，但我想知道是否已經有一個我可以在此使用的抽象了？

理想情況下，我會在出現錯誤時記錄消息並立即退出程序。

Answer 1

對於這樣的事情，您可以使用Either String是Applicative的事實。

假設

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

你可以寫

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