fantasy.laws — c4605/fantasy 0.2.1

alt-associativity clj/s

(alt-associativity a b c)

alt-distributivity clj/s

(alt-distributivity a b f)

applicative-homomorphism clj/s

(applicative-homomorphism x f of)

applicative-identity clj/s

(applicative-identity v of)

applicative-interchange clj/s

(applicative-interchange y u of)

apply-composition clj/s

(apply-composition v u a)

bifunctor-composition clj/s

(bifunctor-composition p f g h i)

bifunctor-identity clj/s

(bifunctor-identity a)

chain-associativity clj/s

(chain-associativity m f g)

chain-rec-equivalence clj/s

(chain-rec-equivalence chain-rec p d n x)

chain-rec-stacksafe clj/s

(chain-rec-stacksafe chain-rec of)

extend-associativity clj/s

(extend-associativity w g f)

foldable clj/s

(foldable u f x)

functor-composition clj/s

(functor-composition a f g)

functor-identity clj/s

(functor-identity a)

monad-left-identity clj/s

(monad-left-identity a f of)

monad-right-identity clj/s

(monad-right-identity m of)

monoid-left-identity clj/s

(monoid-left-identity m type-rep)

monoid-right-identity clj/s

(monoid-right-identity m type-rep)

plus-annihilation clj/s

(plus-annihilation type-rep f)

plus-left-identity clj/s

(plus-left-identity x type-rep)

plus-right-identity clj/s

(plus-right-identity x type-rep)

semigroup-associativity clj/s

(semigroup-associativity a b c)

setoid-reflexivity clj/s

(setoid-reflexivity a)

setoid-symmetry clj/s

(setoid-symmetry a b)

setoid-transitivity clj/s

(setoid-transitivity a b c)

traversable-composition clj/s

(traversable-composition u type-rep-f type-rep-g)

traversable-identity clj/s

(traversable-identity u type-rep-f)

traversable-naturality clj/s

(traversable-naturality t u type-rep-f type-rep-g)