Packages

trait Divariant[=>:[-_, +_]] extends RightCovariant[=>:]

Self Type
Divariant[=>:]
Linear Supertypes
RightCovariant[=>:], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Divariant
  2. RightCovariant
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def leftContramap[A, B, C](f: (C) => A): (=>:[A, B]) => =>:[C, B]
  2. abstract def rightMap[A, B, C](f: (B) => C): (=>:[A, B]) => =>:[A, C]
    Definition Classes
    RightCovariant

Concrete Value Members

  1. def deriveContravariant[B]: Contravariant[[-A]=>:[A, B]]
  2. def deriveCovariant[A]: Covariant[[+B]=>:[A, B]]
    Definition Classes
    RightCovariant
  3. def dimap[A, B, C, D](f: (C) => A, g: (B) => D): (=>:[A, B]) => =>:[C, D]
  4. def dimapCoherence[A, A2, A3, B, B2, B3](ab: =>:[A, B], f: (A2) => A, g: (B) => B2)(implicit eq: Equal[=>:[A2, B2]]): Boolean
  5. def dimapCompose[A, B, A2, A3, B2, B3](ab: =>:[A, B], g: (A3) => A2, f: (A2) => A, i: (B) => B2, h: (B2) => B3)(implicit eq: Equal[=>:[A3, B3]]): Boolean
  6. def dimapIdentity[A, B, B2, B3](ab: =>:[A, B])(implicit eq: Equal[=>:[A, B]]): Boolean
  7. def leftContramapCompose[A, B, A2, A3](ab: =>:[A, B], f: (A2) => A, g: (A3) => A2)(implicit eq: Equal[=>:[A3, B]]): Boolean
  8. def leftContramapidentity[A, B](ab: =>:[A, B])(implicit eq: Equal[=>:[A, B]]): Boolean
  9. def rightMapCompose[A, B, B2, B3](ab: =>:[A, B], f: (B) => B2, g: (B2) => B3)(implicit eq: Equal[=>:[A, B3]]): Boolean
    Definition Classes
    RightCovariant
  10. def rightMapIdentity[A, B](ab: =>:[A, B])(implicit eq: Equal[=>:[A, B]]): Boolean
    Definition Classes
    RightCovariant