Attributes
- Companion:
- object
- Source:
- EitherEffect.scala
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
- trait EitherEffectobject EitherEffect.typeobject all.typeobject EitherInterpretation.typeobject either.type
Members list
Value members
Concrete methods
Attributes
- Source:
- EitherEffect.scala
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
catch and handle a possible left value. The value is the combination of all failures in case of an applicative
Attributes
- Source:
- EitherEffect.scala
Update the error value, the stack of the Eff computation stays the same
Update the error value, the stack of the Eff computation stays the same
Attributes
- Source:
- EitherEffect.scala
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)
Translate an error effect to another one in the same stack a computation over a "bigger" error (for the full application)
Attributes
- Source:
- EitherEffect.scala
Modify the type of the read value
Modify the type of the read value
This changes the stack of the Eff computation
Attributes
- Source:
- EitherEffect.scala