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

BothCompose

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

Attributes

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

Members list

Type members

Types

type :*:[+_, +_]

Value members

Abstract methods

def fromFirst[A]: (A :*: Any) =>: A
def fromSecond[B]: (Any :*: B) =>: B
def toBoth[A, B, C](a2b: A =>: B)(a2c: A =>: C): A =>: (B :*: C)

Concrete methods

def bothCompose[A, B, C](a2b: A =>: B, a2c: A =>: C, a2bc: A =>: (B :*: C))(implicit eqA2B: Equal[A =>: B], eqA2C: Equal[A =>: 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