【发布时间】：2019-08-15 01:43:28
【问题描述】：
Idris 是否有来自 Haskell 的 MaybeT 或者我应该使用其他什么来代替？我正在尝试使用IO (Maybe a) 类型的许多值进行计算。如何在 Idris 中将 Maybe 和 IO 组合成一个单子（如 Haskell 中的 MaybeT IO）？
【问题讨论】：
-
投票重新开放，因为问题不是那么不清楚。不过，如果它因其他原因重新关闭，我不会感到惊讶。 （询问语言 X 是否具有特征 Y 的问题是在话题和题外之间的灰色区域。）
-
不过，我认为您想使用Effects library。