242*_*684 8 haskell idris
Idris是MaybeT从Haskell那里买到的还是我应该使用别的东西？我正在尝试使用许多type值进行计算IO (Maybe a)。如何结合Maybe和IO成（如一个单子MaybeT IO在伊德里斯在Haskell）？
MaybeT
IO (Maybe a)
Maybe
IO
MaybeT IO
Ale*_*lov 7
有一个新的PR添加了它，尽管它尚未被合并：https : //github.com/idris-lang/Idris-dev/pull/4753
归档时间：
6 年，4 月 前
查看次数：
113 次
最近记录：