Packages

implicit class DivariantOps[=>:[-_, +_], A, B] extends AnyRef

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DivariantOps
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new DivariantOps(f: => =>:[A, B])

Value Members

  1. def dimap[C, D](g: (C) => A, h: (B) => D)(implicit divariant: Divariant[=>:]): =>:[C, D]
  2. def leftMap[C](ca: (C) => A)(implicit divariant: Divariant[=>:]): =>:[C, B]
  3. def rightMap[C](bc: (B) => C)(implicit divariant: Divariant[=>:]): =>:[A, C]