zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/zio.prelude.experimental/EitherCompose

EitherCompose

zio.prelude.experimental.EitherCompose
See theEitherCompose companion object
trait EitherCompose[=>:[_, _]] extends AssociativeCompose[=>:]

Attributes

Companion
object
Graph
Supertypes
trait AssociativeCompose[=>:]
class Object
trait Matchable
class Any

Members list

Type members

Types

type :+:[+_, +_]

Value members

Abstract methods

def fromEither[A, B, C](a2c: => A =>: C)(b2c: => B =>: C): (A :+: B) =>: C
def toLeft[A]: A =>: (A :+: Nothing)
def toRight[B]: B =>: (Nothing :+: B)

Concrete methods

def eitherCompose[A, B, C](a2c: A =>: C, b2c: B =>: C, ab2c: (A :+: B) =>: C)(implicit eqA2C: Equal[A =>: C], eqB2C: Equal[B =>: C], eqA2BC: Equal[(A :+: B) =>: C]): Boolean

Inherited methods

def associativeCompose[A, B, C, D](ab: A =>: B, bc: B =>: C, cd: C =>: D)(implicit eq: Equal[A =>: D]): Boolean

Attributes

Inherited from:
AssociativeCompose
def compose[A, B, C](bc: B =>: C, ab: A =>: B): A =>: C

Attributes

Inherited from:
AssociativeCompose
Generated with