Retrieves a function of the current environment.
Modulererebase-1.21.2Haskell2010
Control.Monad.Reader.Class
- 1 class
- 1 value
- Packagererebase-1.21.2
- Exports2
- LanguageHaskell2010
- LicenceMIT
- SourceClass.hs
See examples in Control.Monad.Reader.
Note, the partially applied function type (->) r is a simple reader monad.
See the instance declaration below.
Instances29MonadReader, …
MonadReader e m => MonadReader e (CatchT m)Defined in exceptions-0.10.9 · Control.Monad.Catch.PureMonadReader e m => MonadReader e (Free m)Defined in free-5.2 · Control.Monad.FreeMonadReader e m => MonadReader e (Free m)Defined in free-5.2 · Control.Monad.Free.ApMonadReader e m => MonadReader e (F m)Defined in free-5.2 · Control.Monad.Free.ChurchMonadReader e m => MonadReader e (IterT m)Defined in free-5.2 · Control.Monad.Trans.IterMonadReader 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.RepMonad m => MonadReader r (ReaderT r m)Defined in mtl-2.3.1 · Control.Monad.Reader.ClassMonadReader r m => MonadReader r (FT f m)Defined in free-5.2 · Control.Monad.Trans.Free.ChurchMonadReader r m => MonadReader r (ExceptT e m)Defined in mtl-2.3.1 · Control.Monad.Reader.ClassMonadReader r m => MonadReader r (IdentityT m)Defined in mtl-2.3.1 · Control.Monad.Reader.ClassMonadReader r m => MonadReader r (StateT s m)Defined in mtl-2.3.1 · Control.Monad.Reader.ClassMonadReader r m => MonadReader r (StateT s m)Defined in mtl-2.3.1 · Control.Monad.Reader.ClassMonadReader 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.ClassMonadReader r ((->) r)Defined in mtl-2.3.1 · Control.Monad.Reader.ClassMonadReader 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