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 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]