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

ApplicationCompose

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

Attributes

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

Members list

Type members

Types

type -->:[-_, +_]

Inherited types

type :*:[+_, +_]

Attributes

Inherited from:
BothCompose

Value members

Abstract methods

def application[A, B]: ((A -->: B) :*: A) =>: B
def curry[A, B, C](f: (A :*: B) =>: C): A =>: (B -->: C)
def uncurry[A, B, C](g: A =>: (B -->: C)): (A :*: B) =>: C

Concrete methods

def applicationCompose[A, B, C](f: (A :*: B) =>: C, g: A =>: (B -->: C))(implicit eqF: Equal[(A :*: B) =>: C], eqG: 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 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

Attributes

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

Attributes

Inherited from:
AssociativeCompose
def fromFirst[A]: (A :*: Any) =>: A

Attributes

Inherited from:
BothCompose
def fromSecond[B]: (Any :*: B) =>: B

Attributes

Inherited from:
BothCompose
def toBoth[A, B, C](a2b: A =>: B)(a2c: A =>: C): A =>: (B :*: C)

Attributes

Inherited from:
BothCompose
Generated with