catch and handle a possible -\/ value
catch and handle a possible -\/ value
create an \/ effect from a single \/ value
create an \/ effect from a single \/ 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 \/ effect from a single Option value
create an \/ effect from a single Option value
create a correct value
create a correct value
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)