ErrorInterpretation
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
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
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
ignore one possible exception that could be thrown
ignore one possible exception that could be thrown
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)
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
Run an error effect.
Run an error effect.
Stop all computation if there is an exception or a failure.
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)
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 methods
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
create an Eff value from a computation
create an Eff value from a computation
- Inherited from
- ErrorCreation