Rebase.Control.Monad.Reader.Class · rebase-1.21.2

classclass Monad m => MonadReader r (m :: Type -> Type) | m -> r where

See examples in Control.Monad.Reader. Note, the partially applied function type (->) r is a simple reader monad. See the instance declaration below.

Methods

ask :: m r
Retrieves the monad environment.
local :: (r -> r) -> m a -> m a
Executes a computation in a modified environment.
reader :: (r -> a) -> m a
Retrieves a function of the current environment.

Instances29MonadReader, …

MonadReader e m => MonadReader e (CatchT m)Defined in exceptions-0.10.9 · Control.Monad.Catch.Pure
MonadReader e m => MonadReader e (Free m)Defined in free-5.2 · Control.Monad.Free
MonadReader e m => MonadReader e (Free m)Defined in free-5.2 · Control.Monad.Free.Ap
MonadReader e m => MonadReader e (F m)Defined in free-5.2 · Control.Monad.Free.Church
MonadReader e m => MonadReader e (IterT m)Defined in free-5.2 · Control.Monad.Trans.Iter
MonadReader r m => MonadReader r (MaybeT m)Defined in mtl-2.3.1 · Control.Monad.Reader.Class
(Representable f, Rep f ~ a) => MonadReader a (Co f)Defined in adjunctions-4.4.3 · Data.Functor.Rep
Monad m => MonadReader r (ReaderT r m)Defined in mtl-2.3.1 · Control.Monad.Reader.Class
MonadReader r m => MonadReader r (FT f m)Defined in free-5.2 · Control.Monad.Trans.Free.Church
MonadReader r m => MonadReader r (ExceptT e m)Defined in mtl-2.3.1 · Control.Monad.Reader.Class
MonadReader r m => MonadReader r (IdentityT m)Defined in mtl-2.3.1 · Control.Monad.Reader.Class
MonadReader r m => MonadReader r (StateT s m)Defined in mtl-2.3.1 · Control.Monad.Reader.Class
MonadReader r m => MonadReader r (StateT s m)Defined in mtl-2.3.1 · Control.Monad.Reader.Class
MonadReader r' m => MonadReader r' (SelectT r m)Defined in mtl-2.3.1 · Control.Monad.Reader.Class
(Representable f, Monad m, Rep f ~ e) => MonadReader e (ReaderT f m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.Reader
(Representable g, MonadReader e m) => MonadReader e (StateT g m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.State
(Applicative f, MonadReader r m) => MonadReader r (FreeT f m)Defined in free-5.2 · Control.Monad.Trans.Free.Ap
(Functor f, MonadReader r m) => MonadReader r (FreeT f m)Defined in free-5.2 · Control.Monad.Trans.Free
(Monoid w, MonadReader r m) => MonadReader r (AccumT w m)Defined in mtl-2.3.1 · Control.Monad.Reader.Class
(Monoid w, MonadReader r m) => MonadReader r (WriterT w m)Defined in mtl-2.3.1 · Control.Monad.Reader.Class
(Monoid w, MonadReader r m) => MonadReader r (WriterT w m)Defined in mtl-2.3.1 · Control.Monad.Reader.Class
(Monoid w, MonadReader r m) => MonadReader r (WriterT w m)Defined in mtl-2.3.1 · Control.Monad.Reader.Class
MonadReader r ((->) r)Defined in mtl-2.3.1 · Control.Monad.Reader.Class
MonadReader r' m => MonadReader r' (ContT r m)Defined in mtl-2.3.1 · Control.Monad.Reader.Class
(Comonad w, MonadReader e m) => MonadReader e (CoT w m)Defined in kan-extensions-5.2.7 · Control.Monad.Co
(m ~~ m', MonadReader r m') => MonadReader r (Codensity m)Defined in kan-extensions-5.2.7 · Control.Monad.Codensity
(Monad m, Monoid w) => MonadReader r (RWST r w s m)Defined in mtl-2.3.1 · Control.Monad.Reader.Class
(Monad m, Monoid w) => MonadReader r (RWST r w s m)Defined in mtl-2.3.1 · Control.Monad.Reader.Class
(Monad m, Monoid w) => MonadReader r (RWST r w s m)Defined in mtl-2.3.1 · Control.Monad.Reader.Class