catch and handle a possible left value
catch and handle a possible left 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 xor effect, yielding Either[E, A]
run the xor 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)
run the xor effect, yielding E Xor A
run the xor effect, yielding E Xor A