Simple instantiation of the ErrorEffect trait with String as a Failure type
Attributes
- Companion
- trait
- Graph
-
- Supertypes
-
trait ErrorEffect[String]trait ErrorInterpretation[String]trait ErrorCreation[String]trait ErrorTypes[String]class Objecttrait Matchableclass AnyShow all
- Self type
-
ErrorEffect.type
Members list
Type members
Inherited types
type of errors: exceptions or failure messages
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
Attributes
- Inherited from:
- ErrorTypes
Attributes
- Inherited from:
- ErrorTypes
Attributes
- Inherited from:
- ErrorTypes
Value members
Concrete methods
Inherited 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
Attributes
- Inherited from:
- ErrorInterpretation
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
Attributes
- Inherited from:
- ErrorInterpretation
create an Eff value from an error
create an Eff value from a computation
create an Eff value from an exception
create an Eff value from a failure
ignore one possible exception that could be thrown
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
Attributes
- Inherited from:
- ErrorInterpretation
Run an error effect.
Run an error effect.
Stop all computation if there is an exception or a failure.
Attributes
- Inherited from:
- ErrorInterpretation
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)
Attributes
- Inherited from:
- ErrorInterpretation
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
Attributes
- Inherited from:
- ErrorInterpretation