std.effect.lift
Implementation of the Lift
effect
Types
type Lift m r a =
| Lift (m a)
.. r
The Lift
effect allows a regular monad (usually IO
) to be used in an Eff
monad
Values
"Lifts" a monadic action into the Eff
monad. Since monads do not compose this can only be
Eliminates the lifted monad m
. Can only be used once all other effects have been eliminated