Packages

implicit class ZivariantOps[Z[-_, +_, +_], R, E, A] extends AnyRef

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

Instance Constructors

  1. new ZivariantOps(f: => Z[R, E, A])

Value Members

  1. def bimap[E1, A1](e: (E) => E1, a: (A) => A1)(implicit zivariant: Zivariant[Z]): Z[R, E1, A1]
  2. def contramap[R1](r: (R1) => R)(implicit zivariant: Zivariant[Z]): Z[R1, E, A]
  3. def dimap[RR, AA](r: (RR) => R, a: (A) => AA)(implicit zivariant: Zivariant[Z]): Z[RR, E, AA]
  4. def map[A1](a: (A) => A1)(implicit zivariant: Zivariant[Z]): Z[R, E, A1]
  5. def mapLeft[E1](e: (E) => E1)(implicit zivariant: Zivariant[Z]): Z[R, E1, A]
  6. def zimap[R1, E1, A1](r: (R1) => R, e: (E) => E1, a: (A) => A1)(implicit zivariant: Zivariant[Z]): Z[R1, E1, A1]