logo标签列表

Idris是否有MaybeT？

haskellidris
7

Idris是否有来自Haskell的MaybeT或者我应该使用其他东西？我正在尝试处理许多类型为IO（Maybe a）的值的计算。在Idris中如何将Maybe和IO结合成单个monad（例如Haskell中的MaybeT IO）？

2
投票重新开放，因为问题并不是那么不清楚。不过，如果出于其他原因再次关闭也不会让我感到惊讶。（询问语言X是否具有功能Y的问题处于有关和无关话题之间的灰色地带。） - chepner
3
我认为你想要使用 Effects library。 - chepner
1个回答
7
网页内容由stack overflow 提供, 点击上面的
可以查看英文原文，
原文链接