core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
core/org.atnos.eff.syntax/EitherEffectOps

EitherEffectOps

org.atnos.eff.syntax.EitherEffectOps
final class EitherEffectOps[R, A](e: Eff[R, A]) extends AnyVal

Attributes

Source:
either.scala
Graph
Supertypes
class AnyVal
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def attemptEither[E](implicit m: MemberInOut[[_] =>> Either[E, _$4], R]): Eff[R, Either[E, A]]

Attributes

Source:
either.scala
def catchLeft[E](handle: E => Eff[R, A])(implicit member: MemberInOut[[_] =>> Either[E, _$5], R]): Eff[R, A]

Attributes

Source:
either.scala
def catchLeftCombine[E](handle: E => Eff[R, A])(implicit member: MemberInOut[[_] =>> Either[E, _$7], R], s: Semigroup[E]): Eff[R, A]

Attributes

Source:
either.scala
def localEither[E](modify: E => E)(implicit m: MemberInOut[[_] =>> Either[E, _$12], R]): Eff[R, A]

Attributes

Source:
either.scala
def runEither[E](implicit m: Member[[_] =>> Either[E, _$1], R]): Eff[Out, Either[E, A]]

Attributes

Source:
either.scala
def runEitherCatchLeft[E, U](handle: E => Eff[U, A])(implicit member: Aux[[_] =>> Either[E, _$6], R, U]): Eff[U, A]

Attributes

Source:
either.scala
def runEitherCombine[E, U](implicit m: Aux[[_] =>> Either[E, _$3], R, U], s: Semigroup[E]): Eff[U, Either[E, A]]

Attributes

Source:
either.scala
def runEitherU[E, U](implicit m: Aux[[_] =>> Either[E, _$2], R, U]): Eff[U, Either[E, A]]

Attributes

Source:
either.scala
def translateEither[U, C, B](getter: C => B)(implicit sr: Aux[[_] =>> Either[C, _$10], R, U], br: MemberIn[[_] =>> Either[B, _$11], U]): Eff[U, A]

Attributes

Source:
either.scala
def zoomEither[BR, U1, U2, C, B](getter: C => B)(implicit m1: Aux[[_] =>> Either[C, _$8], R, U1], m2: Aux[[_] =>> Either[B, _$9], BR, U2], into: IntoPoly[U1, U2]): Eff[BR, A]

Attributes

Source:
either.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL