首页 > 解决方案 > “Either String”是否有任何新类型?

问题描述

forall m. MonadFail m => m可以替换为Either String, 通过替换pure = Rightfail = Left。但是,由于MonadFailfor 的实例Either String不会很快出现(讨论),我想Either String如果我想MonadFailEither.

也就是说,我相信有很多人已经提出了相同的想法。是否有任何包已经定义了这种新类型?我试过谷歌搜索,但没有运气。

(用例:iso8601ParseM在纯代码中使用,即在 (a newtype of)Either中。)

标签: haskell

解决方案


推荐阅读