specs2-common
API
Generated with
specs2-common/org.specs2/org.specs2.control/org.specs2.control.eff/DisjunctionInterpretation

DisjunctionInterpretation

org.specs2.control.eff.DisjunctionInterpretation
See theDisjunctionInterpretation companion object
trait DisjunctionInterpretation

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object DisjunctionEffect.type
object all.type
object disjunction.type

Members list

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

Attributes

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

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]

Attributes

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

Generated with