7

Does Idris have MaybeT from Haskell or is there something else I should use instead? I am trying to do computations with many values of type IO (Maybe a). How can combine Maybe and IO into a single monad (like MaybeT IO in Haskell) in Idris?

michaelmesser
  • 3,601
  • 2
  • 19
  • 42
  • 2
    Voting to reopen, as the question is not that unclear. I won't be surprised, though, if it is reclosed for other reasons. (Questions asking if language X has feature Y are a grey area between on- and off-topic.) – chepner Aug 15 '19 at 14:35
  • 3
    I think, though, that you want to use the [Effects library](http://docs.idris-lang.org/en/latest/effects/index.html). – chepner Aug 15 '19 at 14:38

1 Answers1

7

There's a new PR adding it, though it hasn't been merged yet: https://github.com/idris-lang/Idris-dev/pull/4753

Alexander Gryzlov
  • 923
  • 6
  • 11