Control.RMonad.Trans

Documentation

class RMonadTrans t where

Methods

lift :: (RMonad m, Suitable m a, Suitable (t m) a) => m a -> t m a

Instances

RMonadTrans ListT

RMonadTrans SetT

RMonadTrans (ReaderT r)

RMonadTrans (ContT r)

class RMonad m => RMonadIO m where

Methods

liftIO :: Suitable m a => IO a -> m a

Instances

RMonadIO IO

RMonadIO m => RMonadIO (ListT m)

RMonadIO m => RMonadIO (SetT m)

RMonadIO m => RMonadIO (ReaderT r m)

RMonadIO m => RMonadIO (ContT r m)