core/org.atnos.eff/either

either

object either extends EitherCreation with EitherInterpretation with EitherImplicits
Source:
all.scala
class Object
trait Matchable
class Any
either.type

Type members

Inherited types

type _ThrowableEither[R] = Member[ThrowableEither, R]
Inherited from:
EitherCreation
Source:
EitherEffect.scala
type _throwableEither[R] = MemberIn[ThrowableEither, R]
Inherited from:
EitherCreation
Source:
EitherEffect.scala

Value members

Inherited methods

def EitherApplicative[E](implicit s: Semigroup[E]): Applicative[[_] =>> Either[E, _$36]]
def attemptEither[R, E, A](effect: Eff[R, A])(implicit member: MemberInOut[[_] =>> Either[E, _$12], R]): Eff[R, Either[E, A]]

catch possible left values

catch possible left values

Inherited from:
EitherInterpretation
Source:
EitherEffect.scala
def catchLeft[R, E, A](effect: Eff[R, A])(handle: E => Eff[R, A])(implicit member: MemberInOut[[_] =>> Either[E, _$13], R]): Eff[R, A]

catch and handle a possible left value

catch and handle a possible left value

Inherited from:
EitherInterpretation
Source:
EitherEffect.scala
def catchLeftCombine[R, E, A](effect: Eff[R, A])(handle: E => Eff[R, A])(implicit member: MemberInOut[[_] =>> Either[E, _$16], R], s: Semigroup[E]): Eff[R, A]

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

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

Inherited from:
EitherInterpretation
Source:
EitherEffect.scala
def catchNonFatalThrowable[R, A](a: => A)(implicit member: MemberIn[ThrowableEither, R]): Eff[R, A]

create an Either effect from a value possibly throwing a Throwable

create an Either effect from a value possibly throwing a Throwable

Inherited from:
EitherCreation
Source:
EitherEffect.scala
final def errorTranslateNat[E1, E2](map: E2 => E1): FunctionK[[_] =>> Either[E2, _$41], [_] =>> Either[E1, _$42]]
Inherited from:
EitherImplicits
Source:
EitherEffect.scala
def fromCatchNonFatal[R, E, A](a: => A)(onThrowable: Throwable => E)(implicit member: MemberIn[[_] =>> Either[E, _$7], R]): Eff[R, A]

create an Either effect from a value possibly throwing an exception

create an Either effect from a value possibly throwing an exception

Inherited from:
EitherCreation
Source:
EitherEffect.scala
def fromEither[R, E, A](Either: 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

Inherited from:
EitherCreation
Source:
EitherEffect.scala
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

Inherited from:
EitherCreation
Source:
EitherEffect.scala
def localEither[R, E, A](e: Eff[R, A])(modify: E => E)(implicit m: MemberInOut[[_] =>> Either[E, _$33], 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

Inherited from:
EitherInterpretation
Source:
EitherEffect.scala
def optionEither[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

Inherited from:
EitherCreation
Source:
EitherEffect.scala
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

Inherited from:
EitherCreation
Source:
EitherEffect.scala
def runEither[R, U, E, A](effect: Eff[R, A])(implicit m: Aux[[_] =>> 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

Inherited from:
EitherInterpretation
Source:
EitherEffect.scala
def runEitherCatchLeft[R, U, E, A](r: Eff[R, A])(handle: E => Eff[U, A])(implicit m: Aux[[_] =>> 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

Inherited from:
EitherInterpretation
Source:
EitherEffect.scala
def runEitherCombine[R, U, E, A](effect: Eff[R, A])(implicit m: Aux[[_] =>> 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

Inherited from:
EitherInterpretation
Source:
EitherEffect.scala
def translateEither[R, U, E1, E2, A](r: Eff[R, A], getter: E1 => E2)(implicit sr: Aux[[_] =>> Either[E1, _$30], R, U], br: MemberIn[[_] =>> Either[E2, _$31], 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)

Inherited from:
EitherInterpretation
Source:
EitherEffect.scala
def zoomEither[SR, BR, U1, U2, E1, E2, A](r: Eff[SR, A], getter: E1 => E2)(implicit sr: Aux[[_] =>> Either[E1, _$24], SR, U1], br: Aux[[_] =>> Either[E2, _$25], 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

Inherited from:
EitherInterpretation
Source:
EitherEffect.scala

Implicits

Inherited implicits

final implicit def errorTranslate[R, E1, E2](implicit m: MemberIn[[_] =>> Either[E1, _$39], R], map: E2 => E1): MemberIn[[_] =>> Either[E2, _$40], R]
Inherited from:
EitherImplicits
Source:
EitherEffect.scala