Control.Monad.IOT

Documentation

data IOT m t

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.

Instances

MFunctor IOT

MMonad IOT

MonadTrans IOT

Monad m => Monad (IOT m)

Monad m => Functor (IOT m)

Monad m => Applicative (IOT m)

Monad m => MonadIO (IOT m)

run :: IOT Identity t -> IO t

Run an IOT.