Laws that must be obeyed by any Applicative
.
Laws that must be obeyed by any Apply
.
Laws that must be obeyed by any cats.arrow.Arrow
.
Laws that must be obeyed by any Bifunctor
.
Laws that must be obeyed by any Bimonad
.
Laws that must be obeyed by any Bimonad
.
For more information, see definition 4.1 from this paper: http://arxiv.org/pdf/0710.1163v3.pdf
Laws that must be obeyed by any cats.Cartesian
.
Laws that must be obeyed by any cats.arrow.Category
.
Laws that must be obeyed by any cats.arrow.Choice
.
Laws that must be obeyed by any CoflatMap
.
Laws that must be obeyed by any Comonad
.
Laws that must be obeyed by any cats.arrow.Compose
.
Laws that must be obeyed by any cats.functor.Contravariant
.
Laws that must be obeyed by any FlatMap
.
Laws that must be obeyed by any Functor
.
Laws that must be obeyed by any cats.functor.Invariant
.
Laws that must be obeyed by any cats.InvariantMonoidal
.
Represents two values of the same type that are expected to be equal.
Laws that must be obeyed by any MonadCombine
.
Laws that must be obeyed by any MonadFilter
.
Laws that must be obeyed by any Monad
.
Laws that must be obeyed by any cats.MonoidK
.
Laws that must be obeyed by any cats.functor.Profunctor
.
Laws that must be obeyed by any cats.SemigroupK
.
Laws that must be obeyed by any cats.arrow.Split
.
Laws that must be obeyed by any cats.functor.Strong
.
Check for Java Serializability.
Check for Java Serializability.
This law is only applicable on the JVM, but is something we want to be sure to enforce. Therefore, we use bricks.Platform to do a runtime check rather than create a separate jvm-laws project.