Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
MonadState without the function dependency m -> s
.
- module Control.Monad.Reader
- class Monad m => MonadReaders r m where
- asks :: MonadReaders r m => (r -> a) -> m a
Documentation
module Control.Monad.Reader
class Monad m => MonadReaders r m where Source
Version of MonadReader modified to remove the functional dependency.
(Monad m, Monoid w, MonadReaders r m) => MonadReaders r (WriterT w m) | |
(Monad m, MonadReaders r m) => MonadReaders r (StateT s m) | |
Monad m => MonadReaders r (ReaderT r m) |
:: MonadReaders r m | |
=> (r -> a) | The selector function to apply to the environment. |
-> m a |
Retrieves a function of the current environment.