scalaz
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
scalaz/org.atnos.eff.addon.scalaz/either

either

org.atnos.eff.addon.scalaz.either
See theeither companion object
trait either

Attributes

Companion:
object
Source:
either.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object all.type
object either.type

Members list

Concise view

Value members

Concrete methods

def catchLeftCombine[R, E, A](r: Eff[R, A])(handle: E => Eff[R, A])(implicit member: MemberInOut[[_] =>> Either[E, _$6], 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

Attributes

Source:
either.scala
def fromDisjunction[R, E, A](ea: E \/ A)(implicit member: MemberIn[[_] =>> Either[E, _$1], R]): Eff[R, A]

Attributes

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

Attributes

Source:
either.scala
def runDisjunctionCombine[R, U, E, A](r: Eff[R, A])(implicit m: Aux[[_] =>> Either[E, _$4], R, U], s: Semigroup[E]): Eff[U, 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

Attributes

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