transformers-base-0.3: Lift computations from the bottom of a transformer stack

Control.Monad.Base

Documentation

class (Applicative μ, Monad μ, Applicative η, Monad η) => MonadBase η μ | μ -> η whereSource

Methods

liftBase :: η α -> μ αSource

Lift a computation from the base monad

Instances

MonadBase [] [] 
MonadBase IO IO 
MonadBase Maybe Maybe 
MonadBase Identity Identity 
MonadBase η μ => MonadBase η (ListT μ) 
MonadBase η μ => MonadBase η (MaybeT μ) 
MonadBase η μ => MonadBase η (IdentityT μ) 
MonadBase η μ => MonadBase η (ContT r μ) 
(Error e, MonadBase η μ) => MonadBase η (ErrorT e μ) 
MonadBase η μ => MonadBase η (StateT s μ) 
MonadBase η μ => MonadBase η (StateT s μ) 
(Monoid w, MonadBase η μ) => MonadBase η (WriterT w μ) 
(Monoid w, MonadBase η μ) => MonadBase η (WriterT w μ) 
MonadBase η μ => MonadBase η (ReaderT r μ) 
(Monoid w, MonadBase η μ) => MonadBase η (RWST r w s μ) 
(Monoid w, MonadBase η μ) => MonadBase η (RWST r w s μ) 
MonadBase (Either e) (Either e) 
MonadBase (ST s) (ST s) 
MonadBase (ST s) (ST s)