EitherInterpretation

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def EitherApplicative[E](implicit s: Semigroup[E]): Applicative[[β$33$]Either[E, β$33$]]

Definition Classes
EitherInterpretation
final def asInstanceOf[T0]: T0

Definition Classes
Any
def attemptEither[R, E, A](effect: Eff[R, A])(implicit member: /=[[β$12$]Either[E, β$12$], R]): Eff[R, Either[E, A]]

catch possible left values
catch possible left values

Definition Classes
EitherInterpretation
def catchLeft[R, E, A](effect: Eff[R, A])(handle: (E) ⇒ Eff[R, A])(implicit member: /=[[β$13$]Either[E, β$13$], R]): Eff[R, A]

catch and handle a possible left value
catch and handle a possible left value

Definition Classes
EitherInterpretation
def catchLeftCombine[R, E, A](effect: Eff[R, A])(handle: (E) ⇒ Eff[R, A])(implicit member: /=[[β$15$]Either[E, β$15$], R], s: Semigroup[E]): Eff[R, A]

catch and handle a possible left value.
catch and handle a possible left value. The value is the combination of all failures in case of an applicative

Definition Classes
EitherInterpretation
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def localEither[R, E, A](e: Eff[R, A])(modify: (E) ⇒ E)(implicit m: /=[[β$30$]Either[E, β$30$], R]): Eff[R, A]

Update the error value, the stack of the Eff computation stays the same
Update the error value, the stack of the Eff computation stays the same

Definition Classes
EitherInterpretation
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def runEither[R, U, E, A](effect: Eff[R, A])(implicit m: Aux[[β$8$]Either[E, β$8$], R, U]): Eff[U, Either[E, A]]

run the Either effect, yielding E Either A
run the Either effect, yielding E Either A

Definition Classes
EitherInterpretation
def runEitherCatchLeft[R, U, E, A](r: Eff[R, A])(handle: (E) ⇒ Eff[U, A])(implicit m: Aux[[β$14$]Either[E, β$14$], R, U]): Eff[U, A]

run the Either effect, handling E (with effects) and yielding A
run the Either effect, handling E (with effects) and yielding A

Definition Classes
EitherInterpretation
def runEitherCombine[R, U, E, A](effect: Eff[R, A])(implicit m: Aux[[β$9$]Either[E, β$9$], R, U], s: Semigroup[E]): Eff[U, Either[E, A]]

run the Either effect, yielding E Either A and combine all Es
run the Either effect, yielding E Either A and combine all Es

Definition Classes
EitherInterpretation
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def translateEither[R, U, E1, E2, A](r: Eff[R, A], getter: (E1) ⇒ E2)(implicit sr: Aux[[β$27$]Either[E1, β$27$], R, U], br: |=[[β$28$]Either[E2, β$28$], 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)

Definition Classes
EitherInterpretation
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def zoomEither[SR, BR, U1, U2, E1, E2, A](r: Eff[SR, A], getter: (E1) ⇒ E2)(implicit sr: Aux[[β$21$]Either[E1, β$21$], SR, U1], br: Aux[[β$22$]Either[E2, β$22$], BR, U2], into: IntoPoly[U1, U2]): Eff[BR, A]

Modify the type of the read value
Modify the type of the read value
This changes the stack of the Eff computation

Definition Classes
EitherInterpretation

Related Docs: trait EitherInterpretation | package eff

object EitherInterpretation extends EitherInterpretation

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def EitherApplicative[E](implicit s: Semigroup[E]): Applicative[[β$33$]Either[E, β$33$]]

final def asInstanceOf[T0]: T0

def attemptEither[R, E, A](effect: Eff[R, A])(implicit member: /=[[β$12$]Either[E, β$12$], R]): Eff[R, Either[E, A]]

def catchLeft[R, E, A](effect: Eff[R, A])(handle: (E) ⇒ Eff[R, A])(implicit member: /=[[β$13$]Either[E, β$13$], R]): Eff[R, A]

def catchLeftCombine[R, E, A](effect: Eff[R, A])(handle: (E) ⇒ Eff[R, A])(implicit member: /=[[β$15$]Either[E, β$15$], R], s: Semigroup[E]): Eff[R, A]

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def localEither[R, E, A](e: Eff[R, A])(modify: (E) ⇒ E)(implicit m: /=[[β$30$]Either[E, β$30$], R]): Eff[R, A]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def runEither[R, U, E, A](effect: Eff[R, A])(implicit m: Aux[[β$8$]Either[E, β$8$], R, U]): Eff[U, Either[E, A]]

def runEitherCatchLeft[R, U, E, A](r: Eff[R, A])(handle: (E) ⇒ Eff[U, A])(implicit m: Aux[[β$14$]Either[E, β$14$], R, U]): Eff[U, A]

def runEitherCombine[R, U, E, A](effect: Eff[R, A])(implicit m: Aux[[β$9$]Either[E, β$9$], R, U], s: Semigroup[E]): Eff[U, Either[E, A]]

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

def translateEither[R, U, E1, E2, A](r: Eff[R, A], getter: (E1) ⇒ E2)(implicit sr: Aux[[β$27$]Either[E1, β$27$], R, U], br: |=[[β$28$]Either[E2, β$28$], U]): Eff[U, A]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def zoomEither[SR, BR, U1, U2, E1, E2, A](r: Eff[SR, A], getter: (E1) ⇒ E2)(implicit sr: Aux[[β$21$]Either[E1, β$21$], SR, U1], br: Aux[[β$22$]Either[E2, β$22$], BR, U2], into: IntoPoly[U1, U2]): Eff[BR, A]

Inherited from EitherInterpretation

Inherited from AnyRef

Inherited from Any

Ungrouped