Safe Haskell	None

Control.Monad.Base

Synopsis

Documentation

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

Methods

liftBase :: b α -> m α

Lift a computation from the base monad

Instances

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

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

Can be used as a default implementation for liftBase.

Note that: liftBaseDefault = lift . liftBase