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

Linear Supertypes
AssociativeCompose[=>:], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. EitherCompose
  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 fromEither[A, B, C](a2c: => =>:[A, C])(b2c: => =>:[B, C]): =>:[:+:[A, B], C]
  3. abstract def toLeft[A]: =>:[A, :+:[A, Nothing]]
  4. abstract def toRight[B]: =>:[B, :+:[Nothing, B]]

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 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