Control.Monad.Base

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

Members

• liftBase :: forall a. b a -> m a

Instances

• MonadBase Aff Aff
• MonadBase Effect Effect
• MonadBase (Either e) (Either e)
• (Monoid e) => MonadBase (Tuple e) (Tuple e)
• MonadBase Maybe Maybe
• MonadBase Identity Identity
• MonadBase List List
• MonadBase Array Array
• MonadBase (Function r) (Function r)
• (MonadBase b m, Monad m, Monad b) => MonadBase b (ReaderT r m)
• (MonadBase b m, Monad m, Monad b, Monoid r) => MonadBase b (WriterT r m)
• (MonadBase b m, Monad m, Monad b) => MonadBase b (StateT r m)
• (MonadBase b m, Monad m, Monad b) => MonadBase b (ContT r m)
• (MonadBase b m, Monad m, Monad b) => MonadBase b (ExceptT r m)
• (MonadBase b m, Monad m, Monad b) => MonadBase b (ListT m)
• (MonadBase b m, Monad m, Monad b) => MonadBase b (MaybeT m)
• (MonadBase b m, Monad m, Monad b, Monoid w) => MonadBase b (RWST r w s m)
• (MonadBase b m, Monad m, Monad b, Functor f) => MonadBase b (FreeT f m)