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

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

Type Members

  1. abstract type :*:[+_, +_]

Abstract Value Members

  1. abstract def compose[A, B, C](bc: =>:[B, C], ab: =>:[A, B]): =>:[A, C]
    Definition Classes
    AssociativeCompose
  2. abstract def fromFirst[A]: =>:[:*:[A, Any], A]
  3. abstract def fromSecond[B]: =>:[:*:[Any, B], B]
  4. abstract def toBoth[A, B, C](a2b: =>:[A, B])(a2c: =>:[A, C]): =>:[A, :*:[B, C]]

Concrete Value Members

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