EqLaws

PartialOrderLaws

BandLaws BoundedSemilatticeLaws CommutativeGroupLaws CommutativeMonoidLaws CommutativeSemigroupLaws EqLaws GroupLaws HashLaws LowerBoundedLaws MonoidLaws OrderLaws PartialOrderLaws SemigroupLaws SemilatticeLaws UpperBoundedLaws BandTests BoundedSemilatticeTests CommutativeGroupTests CommutativeMonoidTests CommutativeSemigroupTests EqTests GroupTests HashTests LowerBoundedTests MonoidTests OrderTests PartialOrderTests SemigroupTests SemilatticeTests UpperBoundedTests