Packages

trait Bicovariant[<=>[+_, +_]] extends RightCovariant[<=>]

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

Abstract Value Members

  1. abstract def bimap[A, B, AA, BB](f: (A) => AA, g: (B) => BB): (<=>[A, B]) => <=>[AA, BB]

Concrete Value Members

  1. def bimapCoherence[A, A2, A3, B, B2, B3](ab: <=>[A, B], f: (A) => A2, g: (B) => B2)(implicit eq: Equal[<=>[A2, B2]]): Boolean
  2. def bimapCompose[A, B, A2, A3, B2, B3](ab: <=>[A, B], g: (A2) => A3, f: (A) => A2, i: (B) => B2, h: (B2) => B3)(implicit eq: Equal[<=>[A3, B3]]): Boolean
  3. def bimapIdentity[A, B, B2, B3](ab: <=>[A, B])(implicit eq: Equal[<=>[A, B]]): Boolean
  4. def deriveCovariant[A]: Covariant[[+B]<=>[A, B]]
    Definition Classes
    RightCovariant
  5. def deriveFailureCovariant[A]: Covariant[[+E]Type[<=>[E, A]]]
  6. def leftMap[A, B, AA](f: (A) => AA): (<=>[A, B]) => <=>[AA, B]
  7. def leftMapCompose[A, B, A2, A3](ab: <=>[A, B], f: (A) => A2, g: (A2) => A3)(implicit eq: Equal[<=>[A3, B]]): Boolean
  8. def leftMapIdentity[A, B](ab: <=>[A, B])(implicit eq: Equal[<=>[A, B]]): Boolean
  9. def rightMap[A, B, BB](g: (B) => BB): (<=>[A, B]) => <=>[A, BB]
    Definition Classes
    Bicovariant → RightCovariant
  10. def rightMapCompose[A, B, B2, B3](ab: <=>[A, B], f: (B) => B2, g: (B2) => B3)(implicit eq: Equal[<=>[A, B3]]): Boolean
    Definition Classes
    RightCovariant
  11. def rightMapIdentity[A, B](ab: <=>[A, B])(implicit eq: Equal[<=>[A, B]]): Boolean
    Definition Classes
    RightCovariant