laws

kernel BandTests BoundedSemilatticeTests CommutativeGroupTests CommutativeMonoidTests CommutativeSemigroupTests EqTests GroupTests HashTests MonoidTests OrderTests PartialOrderTests SemigroupTests SemilatticeTests

leftIdentity

MonoidLaws

leftInverse

GroupLaws

lhs

IsEq

lt

PartialOrderLaws