 | 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 |