o

zio.prelude.laws

ContravariantLaws

object ContravariantLaws extends test.laws.LawfulF.Contravariant[ContravariantDeriveEqual, Equal]

Linear Supertypes
test.laws.ZLawfulF.Contravariant[ContravariantDeriveEqual, Equal, Any], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ContravariantLaws
  2. Contravariant
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. def +[CapsF1[x[-_]] <: ContravariantDeriveEqual[x[_]], Caps1[x] <: Equal[x], R1 <: Any](that: test.laws.ZLawfulF.Contravariant[CapsF1, Caps1, R1]): test.laws.ZLawfulF.Contravariant[CapsF1, Caps1, R1]
    Definition Classes
    Contravariant
  2. lazy val compositionLaw: test.laws.LawsF.Contravariant[ContravariantDeriveEqual, Equal]

    Contramapping by f followed by g must be the same as contramapping with the composition of f and g.

  3. lazy val identityLaw: test.laws.LawsF.Contravariant[ContravariantDeriveEqual, Equal]

    Contramapping with the identity function must not change the structure.

  4. lazy val laws: test.laws.LawsF.Contravariant[ContravariantDeriveEqual, Equal]

    The set of all laws that instances of Contravariant must satisfy.

    The set of all laws that instances of Contravariant must satisfy.

    Definition Classes
    ContravariantLaws → Contravariant