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

Safe HaskellNone

Control.Monad.Base

Synopsis

Documentation

class (Applicative b, Applicative m, Monad b, Monad m) => MonadBase b m | m -> b whereSource

Methods

liftBase :: b α -> m αSource

Lift a computation from the base monad

Instances

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

liftBaseDefault :: (MonadTrans t, MonadBase b m) => b α -> t m αSource

Can be used as a default implementation for liftBase.

Note that: liftBaseDefault = lift . liftBase