cats.labs.test — mccraigmccraig/cats 2.2.0.100

applicative-composition clj/s

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

applicative-homomorphism clj/s

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

applicative-identity-law clj/s

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

applicative-interchange clj/s

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

bifunctor-bimap-identity clj/s

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

bifunctor-composition clj/s

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

bifunctor-first-identity clj/s

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

bifunctor-second-identity clj/s

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

first-functor-law clj/s

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

first-monad-law clj/s

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

gen-context clj/s

monadplus-associativity clj/s

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

monadzero-bind clj/s

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

monadzero-identity-element clj/s

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

monoid-identity-element clj/s

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

second-functor-law clj/s

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

second-monad-law clj/s

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

semigroup-associativity clj/s

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

third-monad-law clj/s

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