either

catch possible left values

catch and handle a possible left value

catch and handle a possible left value. The value is the combination of all failures in case of an applicative

create an Either effect from a value possibly throwing a Throwable

create an Either effect from a value possibly throwing an exception

create an Either effect from a single Either value

create a failed value

Update the error value, the stack of the Eff computation stays the same

create an Either effect from a single Option value

create a correct value

run the Either effect, yielding E Either A

run the Either effect, handling E (with effects) and yielding A

run the Either effect, yielding E Either A and combine all Es

Translate an error effect to another one in the same stack a computation over a "bigger" error (for the full application)

Modify the type of the read value

This changes the stack of the Eff computation