lift package:transformers
Lift a computation from the argument monad to the constructed monad.
Adding a new kind of pure computation to an applicative functor.
Applicative functor formed by adding pure computations to a given
applicative functor.
Uniform lifting of a callCC operation to the new monad. This
version rolls back to the original output history on entering the
continuation.
In-situ lifting of a
callCC operation to the new monad. This
version uses the current output history on entering the continuation.
It does not satisfy the uniformity property (see
Control.Monad.Signatures).
Lift a
catchE operation to the new monad. The uniformity
property (see
Control.Monad.Signatures) implies that the lifted
catchE discards any output from the body on entering the
handler.
Lift a listen operation to the new monad.
Lift a pass operation to the new monad.
Lift a callCC operation to the new monad.
Lift a listen operation to the new monad.
Lift a pass operation to the new monad.
Lift a callCC operation to the new monad.
Lift a catchE operation to the new monad.
Lift a callCC operation to the new monad.
Lift a catchE operation to the new monad.
Lift a listen operation to the new monad.
Lift a pass operation to the new monad.
Uniform lifting of a callCC operation to the new monad. This
version rolls back to the original state on entering the continuation.
In-situ lifting of a callCC operation to the new monad. This
version uses the current state on entering the continuation.
Lift a
catchE operation to the new monad. The uniformity
property (see
Control.Monad.Signatures) implies that the lifted
catchE discards any output or changes to the state from the
body on entering the handler.
Uniform lifting of a callCC operation to the new monad. This
version rolls back to the original state on entering the continuation.
In-situ lifting of a callCC operation to the new monad. This
version uses the current state on entering the continuation.
Lift a callCC operation to the new monad.
Lift a catchE operation to the new monad.