Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class Monad m => MonadReader tag r m | m tag -> r where
- asks :: MonadReader tag r m => proxy tag -> (r -> a) -> m a
Documentation
class Monad m => MonadReader tag r m | m tag -> r where Source
See MonadReader
.
ask :: proxy tag -> m r Source
Retrieves the monad environment.
:: proxy tag | |
-> (r -> r) | The function to modify the environment. |
-> m a |
|
-> m a |
Executes a computation in a modified environment.
:: proxy tag | |
-> (r -> a) | The selector function to apply to the environment. |
-> m a |
Retrieves a function of the current environment.
MonadReader tag r m => MonadReader tag r (MaybeT m) | |
MonadReader tag r m => MonadReader tag r (ListT m) | |
MonadReader tag r m => MonadReader tag r (IdentityT m) | |
(Monoid w, MonadReader tag r m) => MonadReader tag r (WriterT w m) | |
(Monoid w, MonadReader tag r m) => MonadReader tag r (WriterT w m) | |
MonadReader tag r m => MonadReader tag r (StateT s m) | |
MonadReader tag r m => MonadReader tag r (StateT s m) | |
MonadReader tag r m => MonadReader tag r (ReaderT r' m) | |
MonadReader tag r m => MonadReader tag r (ExceptT e m) | |
MonadReader tag r m => MonadReader tag r (ContT r' m) | |
MonadReader tag r m => MonadReader tag r (WrappedEther tag' m) | |
MonadReader tag r m => MonadReader tag r (ExceptT tag' e m) | |
MonadReader tag r m => MonadReader tag r (StateT tag' s m) | |
MonadReader tag r m => MonadReader tag r (StateT tag' s m) | |
(Monoid w, MonadReader tag r m) => MonadReader tag r (WriterT tag' w m) | |
MonadReader tag r m => MonadReader tag r (ReaderT tag' r' m) | |
Monad m => MonadReader tag r (ReaderT tag r m) |
:: MonadReader tag r m | |
=> proxy tag | |
-> (r -> a) | The selector function to apply to the environment. |
-> m a |
Retrieves a function of the current environment.