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

(RMonad (ListT m), RMonadIO m) => RMonadIO (ListT m)

(RMonad (SetT m), RMonadIO m) => RMonadIO (SetT m)

(RMonad (ReaderT r m), RMonadIO m) => RMonadIO (ReaderT r m)

(RMonad (ContT r m), RMonadIO m) => RMonadIO (ContT r m)