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
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
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
ignore one possible exception that could be thrown
ignore one possible exception that could be thrown
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
The final value type is the same as the original type
Effect for computation which can fail and return a Throwable, or just stop with a failure
This effect is a mix of Eval and \/ in the sense that every computation passed to this effect (with the ok method) is considered "impure" or "faulty" by default.
The type F is used to represent the failure type.