多个Either值的错误处理

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