haskell - “Either String”是否有任何新类型?
问题描述
forall m. MonadFail m => m
可以替换为Either String
, 通过替换pure = Right
和fail = Left
。但是,由于MonadFail
for 的实例Either String
不会很快出现(讨论),我想Either String
如果我想MonadFail
与Either
.
也就是说,我相信有很多人已经提出了相同的想法。是否有任何包已经定义了这种新类型?我试过谷歌搜索,但没有运气。
(用例:iso8601ParseM
在纯代码中使用,即在 (a newtype of)Either
中。)
解决方案
推荐阅读
- python - 使用带有条件的 numpy.mean 的这种语法是什么意思
- javascript - 如何从表格行中获取特定列
- javascript - 如何解决“t.rangeslider is not a function”这里rangeslider是自定义函数
- javascript - 尝试基于计时器制作用于 2 个功能的键
- ios - 在 iOS Swift 中将 FBSDKCore 更新到 5.6.0 后,“ViewController”与协议“SharingDelegate”的冗余一致性
- powershell - 我正在尝试运行一个脚本来阻止所有用户在软件更新时登录时使用键盘
- arrays - 如何在flutter中将json对象转换为json数组
- php - Syfmony 4:检查用户是否有“记住我”cookie
- php - 图像调整大小 laravel 不支持编码格式(tmp)
- laravel - 传递关键字时新闻 APi 中的状态错误