specs2-common/org.specs2.control.eff/DisjunctionInterpretation

DisjunctionInterpretation

trait DisjunctionInterpretation
Companion:
object
class Object
trait Matchable
class Any
object DisjunctionEffect.type
object all.type
object disjunction.type

Value members

Concrete methods

def catchLeft[R, E, A](r: Eff[R, A])(handle: E => Eff[R, A])(implicit member: Member[[_] =>> Either[E, _$13], R]): Eff[R, A]

catch and handle a possible Left value

catch and handle a possible Left 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

def runEither[R, U, E, A](r: Eff[R, A])(implicit m: Aux[[_] =>> Either[E, _$11], R, U]): Eff[U, Either[E, A]]

run the disjunction effect, yielding Either[E, A]

run the disjunction effect, yielding Either[E, A]

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)