 | transformers-0.2.1.0: Concrete functor and monad transformers | Contents | Index |
|
| Control.Monad.Trans.Identity | | Portability | portable | | Stability | experimental | | Maintainer | libraries@haskell.org |
|
|
|
|
|
| Description |
The identity monad transformer.
This is useful for functions parameterized by a monad transformer.
|
|
| Synopsis |
|
|
|
|
| The identity monad transformer
|
|
| newtype IdentityT m a |
| The trivial monad transformer, which maps a monad to an equivalent monad.
| | Constructors | | Instances | |
|
|
| mapIdentityT :: (m a -> n b) -> IdentityT m a -> IdentityT n b |
| Lift a unary operation to the new monad.
|
|
| Lifting other operations
|
|
| liftCatch :: (m a -> (e -> m a) -> m a) -> IdentityT m a -> (e -> IdentityT m a) -> IdentityT m a |
| Lift a catchError operation to the new monad.
|
|
| liftCallCC :: (((a -> m b) -> m a) -> m a) -> ((a -> IdentityT m b) -> IdentityT m a) -> IdentityT m a |
| Lift a callCC operation to the new monad.
|
|
| Produced by Haddock version 2.7.2 |