Cats Api Documentation

Version: 2.2.0

cats.labs.test

applicative-composition

(applicative-composition {:keys [ctx gen appf appg eq], :or {eq =}})

applicative-homomorphism

(applicative-homomorphism {:keys [ctx gen f eq], :or {eq =}})

applicative-identity-law

(applicative-identity-law {:keys [ctx gen eq], :or {eq =}})

applicative-interchange

(applicative-interchange {:keys [ctx gen appf eq], :or {eq =}})

bifunctor-bimap-identity

(bifunctor-bimap-identity {:keys [gen eq], :or {eq =}})

bifunctor-composition

(bifunctor-composition {:keys [gen f g eq], :or {eq =}})

bifunctor-first-identity

(bifunctor-first-identity {:keys [gen eq], :or {eq =}})

bifunctor-second-identity

(bifunctor-second-identity {:keys [gen eq], :or {eq =}})

first-functor-law

(first-functor-law {:keys [gen eq], :or {eq =}})

first-monad-law

(first-monad-law {:keys [ctx mf gen eq], :or {gen gen/any, eq =}})

monadplus-associativity

(monadplus-associativity {:keys [ctx gen eq], :or {eq =}})

monadzero-bind

(monadzero-bind {:keys [ctx gen zero eq], :or {zero (m/mzero ctx), eq =}})

monadzero-identity-element

(monadzero-identity-element {:keys [ctx gen eq], :or {eq =}})

monoid-identity-element

(monoid-identity-element {:keys [ctx gen empty eq], :or {empty (m/mempty ctx), eq =}})

second-functor-law

(second-functor-law {:keys [gen f g eq], :or {eq =}})

second-monad-law

(second-monad-law {:keys [ctx eq], :or {eq =}})

semigroup-associativity

(semigroup-associativity {:keys [ctx gen eq], :or {eq =}})

third-monad-law

(third-monad-law {:keys [ctx f g eq], :or {eq =}})