|
| Control.Monad.Reader | | Portability | non-portable ( mulit-param classes, functional dependencies ) | | Stability | experimental | | Maintainer | libraries@haskell.org |
|
|
|
|
|
| Description |
Declaration of the Monoid class,and instances for list and functions Inspired by the paper
Functional Programming with Overloading and
Higher-Order Polymorphism,
Mark P Jones (http://www.cse.ogi.edu/~mpj)
Advanced School of Functional Programming, 1995. |
|
|
|
| class (Monad m) => MonadReader r m | m -> r where |
| | Methods | | ask :: m r | | | local :: (r -> r) -> m a -> m a |
| | | Instances | |
|
|
| asks :: (MonadReader r m) => (r -> a) -> m a |
|
| data Reader r a |
|
|
| runReader :: Reader r a -> r -> a |
|
| mapReader :: (a -> b) -> Reader r a -> Reader r b |
|
| withReader :: (r' -> r) -> Reader r a -> Reader r' a |
|
| data ReaderT r m a |
|
|
| runReaderT :: ReaderT r m a -> r -> m a |
|
| mapReaderT :: (m a -> n b) -> ReaderT w m a -> ReaderT w n b |
|
| withReaderT :: (r' -> r) -> ReaderT r m a -> ReaderT r' m a |
|
| module Control.Monad |
|
| module Control.Monad.Fix |
|
| module Control.Monad.Trans |
|
| Produced by Haddock version 0.4 |