Moduleadjunctions-4.4.3Haskell2010
Control.Monad.Representable.Reader
Representable functors on Hask are all monads, because they are isomorphic to a Reader monad.
- 2 types
- 1 class
- 3 values
- Packageadjunctions-4.4.3
- Exports6
- LanguageHaskell2010
- LicenceBSD-2-Clause
- SourceReader.hs
Representable functor monad
2 declarationsMonad Transformer
4 declarationsConstructors
ReaderTgetReaderT :: f (m b)
Instances18MonadReader, MonadWriter, MonadTrans, Monad, Functor, Applicative, …
(Representable f, Monad m, Rep f ~ e) => MonadReader e (ReaderT f m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.Reader(Representable f, MonadWriter w m) => MonadWriter w (ReaderT f m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.ReaderRepresentable f => MonadTrans (ReaderT f)Defined in adjunctions-4.4.3 · Control.Monad.Representable.Reader(Representable f, Monad m) => Monad (ReaderT f m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.Reader(Functor f, Functor m) => Functor (ReaderT f m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.Reader(Representable f, Applicative m) => Applicative (ReaderT f m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.Reader(Foldable f, Foldable m) => Foldable (ReaderT f m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.Reader(Traversable f, Traversable m) => Traversable (ReaderT f m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.Reader(Representable f, MonadIO m) => MonadIO (ReaderT f m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.Reader(Foldable1 f, Foldable1 m) => Foldable1 (ReaderT f m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.Reader(Representable f, Distributive m) => Distributive (ReaderT f m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.Reader(Representable f, Representable m, Monoid (Rep f), Monoid (Rep m)) => Comonad (ReaderT f m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.Reader(Representable f, Apply m) => Apply (ReaderT f m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.Reader(Representable f, Bind m) => Bind (ReaderT f m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.Reader(Representable f, Representable m, Semigroup (Rep f), Semigroup (Rep m)) => Extend (ReaderT f m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.Reader(Traversable1 f, Traversable1 m) => Traversable1 (ReaderT f m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.Reader(Representable f, Representable m) => Representable (ReaderT f m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.Readertype Rep (ReaderT f m) = (Rep f, Rep m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.Reader
See examples in Control.Monad.Reader.
Note, the partially applied function type (->) r is a simple reader monad.
See the instance declaration below.
Instances27MonadReader, …
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(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
module Data.Functor.Rep