either
API
Generated with
either/org.atnos.eff/org.atnos.eff.syntax/either/eitherExtension

eitherExtension

org.atnos.eff.syntax.either.eitherExtension
object eitherExtension

Attributes

Source
either.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Extensions

Extensions

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Source
either.scala
Generated with