catch and handle a possible -\/ value
catch and handle a possible -\/ value
Lift a computation over a "small" error (for a subsystem) into a computation over a "bigger" error (for the full application)
Lift a computation over a "small" error (for a subsystem) into a computation over a "bigger" error (for the full application)
run the disjunction effect, yielding E \/ A
run the disjunction effect, yielding E \/ A
run the disjunction effect, yielding Either[E, A]
run the disjunction effect, yielding Either[E, A]
Translate an error effect to another one in the same stack a computation over a "bigger" error (for the full application)
Translate an error effect to another one in the same stack a computation over a "bigger" error (for the full application)