Safe Haskell | None |
---|---|
Language | Haskell2010 |
MonadState without the function dependency m -> s
.
- module Control.Monad.Trans.Reader
- class Monad m => MonadReaders r m where
- viewPoly :: forall r m a. MonadReaders r m => Getting a r a -> m a
Documentation
module Control.Monad.Trans.Reader
class Monad m => MonadReaders r m where Source
MonadReaders r m => MonadReaders r (MaybeT m) Source | |
MonadReaders r m => MonadReaders r (ListT m) Source | |
MonadReaders r m => MonadReaders r (IdentityT m) Source | |
MonadReaders r ((->) r) Source | |
(Monoid w, MonadReaders r m) => MonadReaders r (WriterT w m) Source | |
(Monoid w, MonadReaders r m) => MonadReaders r (WriterT w m) Source | |
MonadReaders r m => MonadReaders r (StateT s m) Source | |
MonadReaders r m => MonadReaders r (StateT s m) Source | |
MonadReaders r m => MonadReaders r (ExceptT e m) Source | |
(Error e, MonadReaders r m) => MonadReaders r (ErrorT e m) Source | |
MonadReaders r' m => MonadReaders r' (ContT r m) Source | Modiifed copies of instances from mtl. |
Monad m => MonadReaders r (ReaderT r m) Source | |
(Monad m, Monoid w) => MonadReaders r (RWST r w s m) Source | |
(Monad m, Monoid w) => MonadReaders r (RWST r w s m) Source |
viewPoly :: forall r m a. MonadReaders r m => Getting a r a -> m a Source
Modified view function that works if there is a MonadReaders r instance