CommutativeGroupLaws

laws

CommutativeGroupTests

discipline

CommutativeMonoidLaws

laws

CommutativeMonoidTests

discipline

CommutativeSemigroupLaws

laws

CommutativeSemigroupTests

discipline

cats

root

catsLawsIsEqToProp

discipline

collect0

MonoidLaws

combineAll

MonoidLaws

combineAllOption

SemigroupLaws

commutative

CommutativeSemigroupLaws

commutativeGroup

CommutativeGroupTests

commutativeMonoid

CommutativeMonoidTests

commutativeSemigroup

CommutativeSemigroupTests

compare

OrderLaws

consistentInverse

GroupLaws