cats.laws.InvariantLaws
See theInvariantLaws companion object
Laws that must be obeyed by any cats.Invariant
.
Attributes
- Companion
- object
- Source
- InvariantLaws.scala
- Graph
-
- Supertypes
- Known subtypes
-
trait ContravariantLaws[F]trait ContravariantSemigroupalLaws[F]trait ContravariantMonoidalLaws[F]trait FunctorLaws[F]trait ApplyLaws[F]trait ApplicativeLaws[F]trait CommutativeApplicativeLaws[F]trait CommutativeMonadLaws[F]trait MonadLaws[F]trait BimonadLaws[F]trait NonEmptyAlternativeLaws[F]trait AlternativeLaws[F]trait CommutativeApplyLaws[F]trait CommutativeFlatMapLaws[F]trait FlatMapLaws[F]trait CoflatMapLaws[F]trait ComonadLaws[F]trait DistributiveLaws[F]trait TraverseLaws[F]trait NonEmptyTraverseLaws[F]trait InvariantSemigroupalLaws[F]trait InvariantMonoidalLaws[F]
Members list
In this article