LowerBoundedLaws
laws
LowerBoundedTests
discipline
laws
kernel
BandTests
BoundedSemilatticeTests
CommutativeGroupTests
CommutativeMonoidTests
CommutativeSemigroupTests
EqTests
GroupTests
HashTests
LowerBoundedTests
MonoidTests
OrderTests
PartialOrderTests
SemigroupTests
SemilatticeTests
UpperBoundedTests
leftIdentity
MonoidLaws
leftInverse
GroupLaws
lhs
IsEq
lowerBounded
LowerBoundedTests
lt
PartialOrderLaws