Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
An IO monad transformer.
I can't run IOT
. Instead, I run the monad inside it.
This is done using run
, and hoist
from mmorph.
The combination is only a monad if the parameter monad isn't nondeterministic. IOT Maybe and IOT State are monads, but IOT [] and IOT Cont are not.
Should be integrated with STT.