org.specs2.control.eff.DisjunctionEffect$
See theDisjunctionEffect companion trait
object DisjunctionEffect extends DisjunctionEffect
Attributes
- Companion
- trait
- Graph
-
- Supertypes
- Self type
-
DisjunctionEffect.type
Members list
Type members
Inherited types
Attributes
- Inherited from:
- DisjunctionCreation
Attributes
- Inherited from:
- DisjunctionCreation
Attributes
- Inherited from:
- DisjunctionCreation
Value members
Inherited methods
catch and handle a possible Left value
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 a failed value
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 a correct value
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
Attributes
- Inherited from:
- DisjunctionInterpretation
run the disjunction effect, yielding Either[E, A]
run the disjunction effect, yielding Either[E, A]
Attributes
- 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)
Attributes
- Inherited from:
- DisjunctionInterpretation
In this article