type of errors: exceptions or failure messages
type of errors: exceptions or failure messages
base type for this effect: either an error or a computation to evaluate scala.Name represents "by-name" value: values not yet evaluated
base type for this effect: either an error or a computation to evaluate scala.Name represents "by-name" value: values not yet evaluated
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
create an Eff value from an error
create an Eff value from an error
create an Eff value from a computation
create an Eff value from a computation
create an Eff value from an exception
create an Eff value from an exception
create an Eff value from a failure
create an Eff value from a failure
create an Eff value from a computation
create an Eff value from a computation
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.
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