CartesianLaws
laws
CartesianTests
discipline
CategoryLaws
laws
CategoryTests
discipline
ChoiceLaws
laws
ChoiceTests
discipline
CoflatMapLaws
laws
CoflatMapTests
discipline
ComonadLaws
laws
ComonadTests
discipline
ComposeLaws
laws
ComposeTests
discipline
ContravariantLaws
laws
ContravariantTests
discipline
cartesian
CartesianTests
cartesianAssociativity
CartesianLaws
category
CategoryTests
categoryLeftIdentity
CategoryLaws
categoryRightIdentity
CategoryLaws
cats
root
choice
ChoiceTests
choiceCompositionDistributivity
ChoiceLaws
coflatMap
CoflatMapTests
coflatMapAssociativity
CoflatMapLaws
coflatMapIdentity
CoflatMapLaws
coflattenCoherence
CoflatMapLaws
coflattenThroughMap
CoflatMapLaws
cokleisliArbitrary
arbitrary
cokleisliAssociativity
CoflatMapLaws
cokleisliLeftIdentity
ComonadLaws
cokleisliRightIdentity
ComonadLaws
comonad
ComonadTests
comonadLeftIdentity
ComonadLaws
comonadRightIdentity
ComonadLaws
compose
ComposeTests
composeAssociativity
ComposeLaws
constArbitrary
arbitrary
contravariant
ContravariantTests
contravariantComposition
ContravariantLaws
contravariantIdentity
ContravariantLaws
coproductArbitrary
arbitrary
covariantComposition
FunctorLaws
covariantIdentity
FunctorLaws