zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/zio.prelude.laws/ContravariantLaws

ContravariantLaws

zio.prelude.laws.ContravariantLaws
object ContravariantLaws extends Contravariant[[F[_]] =>> ContravariantDeriveEqual[F], Equal]

Attributes

Graph
Supertypes
trait Contravariant[[F[_]] =>> ContravariantDeriveEqual[F], Equal, Any]
class Object
trait Matchable
class Any
Self type

Members list

Value members

Inherited methods

def +[CapsF1 <: ([x[_]] =>> ContravariantDeriveEqual[x]), Caps1 <: (Equal), R1](that: Contravariant[CapsF1, Caps1, R1]): Contravariant[CapsF1, Caps1, R1]

Attributes

Inherited from:
Contravariant

Concrete fields

lazy val compositionLaw: Contravariant[[F[_]] =>> ContravariantDeriveEqual[F], Equal]

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

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

Attributes

lazy val identityLaw: Contravariant[[F[_]] =>> ContravariantDeriveEqual[F], Equal]

Contramapping with the identity function must not change the structure.

Contramapping with the identity function must not change the structure.

Attributes

lazy val laws: Contravariant[[F[_]] =>> ContravariantDeriveEqual[F], Equal]

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

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

Attributes

Generated with