开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >问答首页 >Idris有MaybeT吗？

问Idris有MaybeT吗？
EN

Stack Overflow用户

提问于 2019-08-15 01:43:28

回答 1查看 162关注 0票数 7

Idris是否有来自Haskell的MaybeT，还是我应该使用的其他东西？我试图用IO (Maybe a)类型的许多值进行计算。在Idris中，如何将Maybe和IO合并成一个单一的单元(如Haskell中的MaybeT IO )？

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2019-08-15 23:03:47

有一个新的公关添加了它，虽然它还没有被合并：https://github.com/idris-lang/Idris-dev/pull/4753

票数 7

EN

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/57503951

复制

相似问题