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.ArrowChoice
.
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.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 CommutativeApply
.
Reference: "Causal Commutative Arrows", Journal of Functional Programming Figure 4.
Laws that must be obeyed by any CommutativeFlatMap
.
Laws that must be obeyed by any CommutativeMonad
.
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.Contravariant
.
Laws that must hold for any cats.ContravariantMonoidal
.
Laws that are expected for any cats.ContravariantSemigroupal
.
Laws that must be obeyed by any Defer
.
Laws that must be obeyed by any FlatMap
.
Laws that must be obeyed by any Functor
.
Laws that must be obeyed by any cats.Invariant
.
Laws that must be obeyed by any cats.InvariantMonoidal
.
Laws that are expected for any cats.InvariantSemigroupal
.
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.NonEmptyParallel
.
Laws that must be obeyed by any cats.Parallel
.
Laws that must be obeyed by any cats.functor.Profunctor
.
Laws that must be obeyed by any Representable
functor.
Laws that must be obeyed by any cats.SemigroupK
.
Laws that must be obeyed by any cats.Semigroupal
.
Laws that must be obeyed by any cats.functor.Strong
.
Laws that must be obeyed by any cats.functor.Strong
.
See: E. Rivas, M. Jaskelioff Notions of Computation as Monoids, Chapter 7 See: Haskell Data.Profunctor.Strong