cats-docs
2.9.0
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
cats-docs/cats.laws/ContravariantMonoidalLaws

ContravariantMonoidalLaws

cats.laws.ContravariantMonoidalLaws
See theContravariantMonoidalLaws companion object
trait ContravariantMonoidalLaws[F[_]] extends ContravariantSemigroupalLaws[F]

Laws that must hold for any cats.ContravariantMonoidal.

Attributes

Companion:
object
Source:
ContravariantMonoidalLaws.scala
Graph
Supertypes
trait InvariantLaws[F]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

Inherited methods

def contravariantComposition[A, B, C](fa: F[A], f: B => A, g: C => B): IsEq[F[C]]

Attributes

Inherited from:
ContravariantLaws
Source:
ContravariantLaws.scala
def contravariantIdentity[A](fa: F[A]): IsEq[F[A]]

Attributes

Inherited from:
ContravariantLaws
Source:
ContravariantLaws.scala
def delta[A](a: A): (A, A)
def invariantComposition[A, B, C](fa: F[A], f1: A => B, f2: B => A, g1: B => C, g2: C => B): IsEq[F[C]]

Attributes

Inherited from:
InvariantLaws
Source:
InvariantLaws.scala
def invariantIdentity[A](fa: F[A]): IsEq[F[A]]

Attributes

Inherited from:
InvariantLaws
Source:
InvariantLaws.scala
def semigroupalAssociativity[A, B, C](fa: F[A], fb: F[B], fc: F[C]): (F[(A, (B, C))], F[((A, B), C)])

Attributes

Inherited from:
SemigroupalLaws
Source:
SemigroupalLaws.scala

Implicits

Implicits

Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL