-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Lift computations from the bottom of a transformer stack
--   
--   This package provides a straightforward port of <tt>monadLib</tt>'s
--   BaseM typeclass to <tt>transformers</tt>.
@package transformers-base
@version 0.4

module Control.Monad.Base
class (Applicative b, Applicative m, Monad b, Monad m) => MonadBase b m | m -> b
liftBase :: MonadBase b m => b α -> m α

-- | Can be used as a default implementation for <a>liftBase</a>.
--   
--   Note that: <tt>liftBaseDefault = <a>lift</a> . <a>liftBase</a></tt>
liftBaseDefault :: (MonadTrans t, MonadBase b m) => b α -> t m α
instance (Error e, MonadBase b m) => MonadBase b (ErrorT e m)
instance (Monoid w, MonadBase b m) => MonadBase b (RWST r w s m)
instance (Monoid w, MonadBase b m) => MonadBase b (RWST r w s m)
instance (Monoid w, MonadBase b m) => MonadBase b (WriterT w m)
instance (Monoid w, MonadBase b m) => MonadBase b (WriterT w m)
instance MonadBase b m => MonadBase b (ContT r m)
instance MonadBase b m => MonadBase b (StateT s m)
instance MonadBase b m => MonadBase b (StateT s m)
instance MonadBase b m => MonadBase b (ReaderT r m)
instance MonadBase b m => MonadBase b (ListT m)
instance MonadBase b m => MonadBase b (MaybeT m)
instance MonadBase b m => MonadBase b (IdentityT m)
instance MonadBase Identity Identity
instance MonadBase ((->) r) ((->) r)
instance MonadBase [] []
instance MonadBase (Either e) (Either e)
instance MonadBase Maybe Maybe
instance MonadBase STM STM
instance MonadBase (ST s) (ST s)
instance MonadBase (ST s) (ST s)
instance MonadBase IO IO