我有两个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
语句,但我想知道是否已经有一个我可以在这里使用的抽象?
理想情况下,我会在出错时记录消息并立即退出程序。
你可以使用Either String
是这样的事情的Applicative
这一事实。
假设
mcnf :: Either String Config
menv :: Either String Env
你可以写
mapp :: Either String App
mapp = App <$> mcnf <*> menv