Simple instantiation of the ErrorEffect trait with String as a Failure type
- Companion:
- class
Type members
Inherited types
type of errors: exceptions or failure messages
type of errors: exceptions or failure messages
- Inherited from:
- ErrorTypes
base type for this effect: either an error or a computation to evaluate a "by-name" value
base type for this effect: either an error or a computation to evaluate a "by-name" value
- Inherited from:
- ErrorTypes
Value members
Concrete methods
Inherited methods
evaluate 1 action possibly having error effects
evaluate 1 action possibly having error effects
Execute a second action whether the first is successful or not
- Inherited from:
- ErrorInterpretation
evaluate 1 action possibly having error effects
evaluate 1 action possibly having error effects
Execute a second action if the first one is not successful, based on the error
- Inherited from:
- ErrorInterpretation
create an Eff value from a computation
create an Eff value from a computation
- Inherited from:
- ErrorCreation
create an Eff value from an exception
create an Eff value from an exception
- Inherited from:
- ErrorCreation
ignore one possible exception that could be thrown
ignore one possible exception that could be thrown
- Inherited from:
- ErrorInterpretation
create an Eff value from a computation
create an Eff value from a computation
- Inherited from:
- ErrorCreation
evaluate 1 action possibly having error effects
evaluate 1 action possibly having error effects
Execute a second action if the first one is not successful
- Inherited from:
- ErrorInterpretation
Run an error effect.
Run an error effect.
Stop all computation if there is an exception or a failure.
- Inherited from:
- ErrorInterpretation
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)
- Inherited from:
- ErrorInterpretation
evaluate 1 action possibly having error effects
evaluate 1 action possibly having error effects
Execute a second action if the first one is not successful, based on the error
The final value type is the same as the original type
- Inherited from:
- ErrorInterpretation