transformers-0.2.2.0: Concrete functor and monad transformersSource codeContentsIndex
Control.Monad.Trans.Identity
Portabilityportable
Stabilityexperimental
Maintainerross@soi.city.ac.uk
Contents
The identity monad transformer
Lifting other operations
Description

The identity monad transformer.

This is useful for functions parameterized by a monad transformer.

Synopsis
newtype IdentityT m a = IdentityT {
runIdentityT :: m a
}
mapIdentityT :: (m a -> n b) -> IdentityT m a -> IdentityT n b
liftCatch :: (m a -> (e -> m a) -> m a) -> IdentityT m a -> (e -> IdentityT m a) -> IdentityT m a
liftCallCC :: (((a -> m b) -> m a) -> m a) -> ((a -> IdentityT m b) -> IdentityT m a) -> IdentityT m a
The identity monad transformer
newtype IdentityT m a Source
The trivial monad transformer, which maps a monad to an equivalent monad.
Constructors
IdentityT
runIdentityT :: m a
show/hide Instances
mapIdentityT :: (m a -> n b) -> IdentityT m a -> IdentityT n bSource
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 aSource
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 aSource
Lift a callCC operation to the new monad.
Produced by Haddock version 2.6.1