Idris是MaybeT从Haskell那里买到的还是我应该使用别的东西?我正在尝试使用许多type值进行计算IO (Maybe a)。如何结合Maybe和IO成(如一个单子MaybeT IO在伊德里斯在Haskell)?
MaybeT
IO (Maybe a)
Maybe
IO
MaybeT IO
有一个新的PR添加了它,尽管它尚未被合并:https : //github.com/idris-lang/Idris-dev/pull/4753