cats.laws.ContravariantSemigroupalLaws
See theContravariantSemigroupalLaws companion object
trait ContravariantSemigroupalLaws[F[_]] extends ContravariantLaws[F], SemigroupalLaws[F]
Laws that are expected for any cats.ContravariantSemigroupal.
Attributes
- Companion
- object
- Source
- ContravariantSemigroupalLaws.scala
- Graph
-
- Supertypes
-
trait SemigroupalLaws[F]trait ContravariantLaws[F]trait InvariantLaws[F]class Objecttrait Matchableclass Any
- Known subtypes
-
trait ContravariantMonoidalLaws[F]
Members list
In this article