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
try to execute an action an report any issue
try to execute an action an report any issue
Attempt to execute a safe action including finalizers
Attempt to execute a safe action including finalizers
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
run a safe effect but drop the finalizer errors
run a safe effect but drop the finalizer errors
ignore one possible exception that could be thrown
ignore one possible exception that could be thrown
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 a safe effect
Run a safe effect
Collect finalizer exceptions if any
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