trait ApplicationCompose[=>:[-_, +_]] extends BothCompose[=>:]

Linear Supertypes
BothCompose[=>:], AssociativeCompose[=>:], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ApplicationCompose
  2. BothCompose
  3. AssociativeCompose
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. abstract type -->:[-_, +_]
  2. abstract type :*:[+_, +_]
    Definition Classes
    BothCompose

Abstract Value Members

  1. abstract def application[A, B]: =>:[:*:[-->:[A, B], A], B]
  2. abstract def compose[A, B, C](bc: =>:[B, C], ab: =>:[A, B]): =>:[A, C]
    Definition Classes
    AssociativeCompose
  3. abstract def curry[A, B, C](f: =>:[:*:[A, B], C]): =>:[A, -->:[B, C]]
  4. abstract def fromFirst[A]: =>:[:*:[A, Any], A]
    Definition Classes
    BothCompose
  5. abstract def fromSecond[B]: =>:[:*:[Any, B], B]
    Definition Classes
    BothCompose
  6. abstract def toBoth[A, B, C](a2b: =>:[A, B])(a2c: =>:[A, C]): =>:[A, :*:[B, C]]
    Definition Classes
    BothCompose
  7. abstract def uncurry[A, B, C](g: =>:[A, -->:[B, C]]): =>:[:*:[A, B], C]

Concrete Value Members

  1. 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
  2. def associativeCompose[A, B, C, D](ab: =>:[A, B], bc: =>:[B, C], cd: =>:[C, D])(implicit eq: Equal[=>:[A, D]]): Boolean
    Definition Classes
    AssociativeCompose
  3. 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
    Definition Classes
    BothCompose