Packages

trait Zivariant[Z[-_, +_, +_]] extends AnyRef

Abstract over type constructor with 3 parameters: on first as contravariant and on second and third as covariant.

Self Type
Zivariant[Z]
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Zivariant
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def zimap[R, E, A, R1, E1, A1](r: (R1) => R, e: (E) => E1, a: (A) => A1): (Z[R, E, A]) => Z[R1, E1, A1]

Concrete Value Members

  1. def bimap[R, E, A, E1, A1](e: (E) => E1, a: (A) => A1): (Z[R, E, A]) => Z[R, E1, A1]
  2. def contramap[R, E, A, R1](r: (R1) => R): (Z[R, E, A]) => Z[R1, E, A]
  3. def deriveContravariant[E, A]: Contravariant[[-R]Z[R, E, A]]
  4. def deriveCovariant[R, E]: Covariant[[+A]Z[R, E, A]]
  5. def deriveDivariant[E]: Divariant[[-R, +A]Z[R, E, A]]
  6. def deriveFailureCovariant[R, A]: Covariant[[+E]Type[Z[R, E, A]]]
  7. def dimap[R, E, A, RR, AA](r: (RR) => R, a: (A) => AA): (Z[R, E, A]) => Z[RR, E, AA]
  8. def map[R, E, A, A1](a: (A) => A1): (Z[R, E, A]) => Z[R, E, A1]
  9. def mapLeft[R, E, A, E1](e: (E) => E1): (Z[R, E, A]) => Z[R, E1, A]
  10. def zimapCoherentWithMapAndContramap[R, E, A, R1, E1, A1](rea: Z[R, E, A], r: (R1) => R, e: (E) => E1, a: (A) => A1)(implicit eq: Equal[Z[R1, E1, A1]]): Boolean
  11. def zimapComposition[R, E, A, R1, R2, E1, E2, A1, A2](rea: Z[R, E, A], r2: (R2) => R1, r1: (R1) => R, e1: (E) => E1, e2: (E1) => E2, a1: (A) => A1, a2: (A1) => A2)(implicit eq: Equal[Z[R2, E2, A2]]): Boolean
  12. def zimapIdentity[R, E, A](rea: Z[R, E, A])(implicit eq: Equal[Z[R, E, A]]): Boolean