Control.Monad.IOT

Documentation

data IOT m t

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.