|
| Control.Monad.Reader | | Portability | non-portable (multi-param classes, functional dependencies) | | Stability | experimental | | Maintainer | libraries@haskell.org |
|
|
|
| Description |
Declaration of the MonadReader class
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.
|
|
|
| Documentation |
|
| module Control.Monad.Reader.Class |
|
| newtype Reader r a |
| Constructors | | Instances | |
|
|
| mapReader :: (a -> b) -> Reader r a -> Reader r b |
|
| withReader :: (r' -> r) -> Reader r a -> Reader r' a |
|
| newtype ReaderT r m a |
| Constructors | | Instances | |
|
|
| 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.8 |