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

DisjunctionEffect

org.specs2.control.eff.DisjunctionEffect
See theDisjunctionEffect companion object
trait DisjunctionEffect extends DisjunctionCreation, DisjunctionInterpretation

Effect for computation which can fail

Attributes

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

Members list

Type members

Inherited types

type ThrowableOr[A] = Either[Throwable, A]

Attributes

Inherited from:
DisjunctionCreation
type _ThrowableOr[R] = Member[ThrowableOr, R]

Attributes

Inherited from:
DisjunctionCreation
type _throwableOr[R] = MemberIn[ThrowableOr, R]

Attributes

Inherited from:
DisjunctionCreation

Value members

Inherited 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

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

Attributes

Inherited from:
DisjunctionCreation
def left[R, E, A](e: E)(implicit member: MemberIn[[_] =>> Either[E, _$3], R]): Eff[R, A]

create a failed value

create a failed value

Attributes

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

Attributes

Inherited from:
DisjunctionCreation
def right[R, E, A](a: A)(implicit member: MemberIn[[_] =>> Either[E, _$5], R]): Eff[R, A]

create a correct value

create a correct value

Attributes

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

Attributes

Inherited from:
DisjunctionInterpretation
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

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
Generated with