Effect for computation which can fail
- Companion:
- object
Type members
Inherited types
Value members
Inherited methods
catch and handle a possible Left value
catch and handle a possible Left value
- Inherited from:
- DisjunctionInterpretation
def fromDisjunction[R, E, A](disjunction: Either[E, A])(implicit member: MemberIn[[_] =>> Either[E, _$2], R]): Eff[R, A]
create an Either effect from a single Either value
create an Either effect from a single Either value
- Inherited from:
- DisjunctionCreation
def optionDisjunction[R, E, A](option: Option[A], e: E)(implicit member: MemberIn[[_] =>> Either[E, _$1], R]): Eff[R, A]
create an Either effect from a single Option value
create an Either effect from a single Option value
- Inherited from:
- DisjunctionCreation
def runDisjunction[R, U, E, A](r: Eff[R, A])(implicit m: Aux[[_] =>> Either[E, _$7], R, U]): Eff[U, Either[E, A]]
run the disjunction effect, yielding E Either A
run the disjunction effect, yielding E Either A
- Inherited from:
- DisjunctionInterpretation
run the disjunction effect, yielding Either[E, A]
run the disjunction effect, yielding Either[E, A]
- Inherited from:
- DisjunctionInterpretation
def runLocalDisjunction[R, U, E1, E2, A](r: Eff[R, A], getter: E1 => E2)(implicit sr: Aux[[_] =>> Either[E1, _$17], R, U], br: MemberIn[[_] =>> Either[E2, _$18], U]): Eff[U, A]
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)
- Inherited from:
- DisjunctionInterpretation