catch and handle a possible left value
catch and handle a possible left value
create an Xor effect from a single Xor value
create an Xor effect from a single Xor value
create a failed value
create a failed 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)
create an Xor effect from a single Option value
create an Xor effect from a single Option value
create a correct value
create a correct value
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
Effect for computation which can fail