Stability | experimental |
---|---|
Maintainer | ekmett@gmail.com |
Representable functors on Hask all monads, being isomorphic to a reader monad.
- type Reader f = ReaderT f Identity
- reader :: Representable f => (Key f -> b) -> Reader f b
- runReader :: Indexable f => Reader f b -> Key f -> b
- newtype ReaderT f m b = ReaderT {
- getReaderT :: f (m b)
- ask :: MonadReader r m => m r
- local :: MonadReader r m => forall a. (r -> r) -> m a -> m a
- module Data.Functor.Representable
Representable functor monad
reader :: Representable f => (Key f -> b) -> Reader f bSource
Monad Transformer
ReaderT | |
|
ask :: MonadReader r m => m r
Retrieves the monad environment.
:: MonadReader r m | |
=> forall a . | |
=> (r -> r) | The function to modify the environment. |
-> m a |
|
-> m a |
Executes a computation in a modified environment.
module Data.Functor.Representable