safe
Type members
Value members
Inherited methods
try to execute an action an report any issue
try to execute an action an report any issue
- Inherited from:
- SafeInterpretation
Attempt to execute a safe action including finalizers
Attempt to execute a safe action including finalizers
- Inherited from:
- SafeInterpretation
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:
- SafeInterpretation
run a safe effect but drop the finalizer errors
run a safe effect but drop the finalizer errors
- Inherited from:
- SafeInterpretation
ignore one possible exception that could be thrown
ignore one possible exception that could be thrown
- Inherited from:
- SafeInterpretation
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:
- SafeInterpretation
Run a safe effect
Run a safe effect
Collect finalizer exceptions if any
- Inherited from:
- SafeInterpretation
evaluate 1 action possibly having error effects execute a second action whether the first is successful or not but keep track of finalizer exceptions
evaluate 1 action possibly having error effects execute a second action whether the first is successful or not but keep track of finalizer exceptions
- Inherited from:
- SafeInterpretation
evaluate 1 action possibly throwing exceptions
evaluate 1 action possibly throwing exceptions
Execute a second action if the first one is not successful, based on the exception
The final value type is the same as the original type
- Inherited from:
- SafeInterpretation