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