CategoryLaws
laws
CategoryTests
discipline
ChoiceLaws
laws
ChoiceTests
discipline
CoflatMapLaws
laws
CoflatMapTests
discipline
ComonadLaws
laws
ComonadTests
discipline
ComposeLaws
laws
ComposeTests
discipline
ContravariantLaws
laws
category
CategoryTests
categoryLeftIdentity
CategoryLaws
categoryRightIdentity
CategoryLaws
cats
root
choice
ChoiceTests
choiceCompositionDistributivity
ChoiceLaws
coflatMap
CoflatMapTests
coflatMapAssociativity
CoflatMapLaws
coflatMapIdentity
ComonadLaws
coflattenCoherence
ComonadLaws
coflattenThroughMap
ComonadLaws
cokleisliA
ArbitraryK
cokleisliArbitrary
arbitrary
cokleisliAssociativity
CoflatMapLaws
cokleisliE
ArbitraryK
cokleisliLeftIdentity
ComonadLaws
cokleisliRightIdentity
ComonadLaws
comonad
ComonadTests
comonadLeftIdentity
ComonadLaws
comonadRightIdentity
ComonadLaws
compose
ComposeTests
composeAssociativity
ComposeLaws
constA
ArbitraryK
EqK
constArbitrary
arbitrary
contravariantComposition
ContravariantLaws
contravariantIdentity
ContravariantLaws
covariantComposition
FunctorLaws
covariantIdentity
FunctorLaws