-- 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.1

module Control.Monad.Base
class (Applicative μ, Monad μ, Applicative η, Monad η) => MonadBase μ η | μ -> η
liftBase :: MonadBase μ η => η α -> μ α
instance MonadBase μ η => MonadBase (ContT r μ) η
instance (Error e, MonadBase μ η) => MonadBase (ErrorT e μ) η
instance (Monoid w, MonadBase μ η) => MonadBase (RWST r w s μ) η
instance (Monoid w, MonadBase μ η) => MonadBase (RWST r w s μ) η
instance MonadBase μ η => MonadBase (StateT s μ) η
instance MonadBase μ η => MonadBase (StateT s μ) η
instance (Monoid w, MonadBase μ η) => MonadBase (WriterT w μ) η
instance (Monoid w, MonadBase μ η) => MonadBase (WriterT w μ) η
instance MonadBase μ η => MonadBase (ReaderT r μ) η
instance MonadBase μ η => MonadBase (ListT μ) η
instance MonadBase μ η => MonadBase (MaybeT μ) η
instance MonadBase μ η => MonadBase (IdentityT μ) η
instance MonadBase (ST s) (ST s)
instance MonadBase (ST s) (ST s)
instance MonadBase [] []
instance MonadBase (Either e) (Either e)
instance MonadBase Maybe Maybe
instance MonadBase Identity Identity
instance MonadBase IO IO