Stability | experimental |
---|---|
Maintainer | ekmett@gmail.com |
Safe Haskell | Safe-Infered |
Representable functors on Hask all monads, being isomorphic to a reader monad.
- type Reader f = ReaderT f Identity
- runReader :: Indexable f => Reader f b -> Key f -> b
- newtype ReaderT f m b = ReaderT {
- getReaderT :: f (m b)
- readerT :: Representable f => (Key f -> m b) -> ReaderT f m b
- runReaderT :: Indexable f => ReaderT f m b -> Key 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
Monad Transformer
ReaderT | |
|
readerT :: Representable f => (Key f -> m b) -> ReaderT f m bSource
runReaderT :: Indexable f => ReaderT f m b -> Key f -> m bSource
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