quickcheck-monoid-subclasses-0.3.0.4: Testing monoid subclass instances with QuickCheck
Contents
Index
Index
cancellativeLaws
Test.QuickCheck.Classes.Semigroup.Cancellative
commutativeLaws
Test.QuickCheck.Classes.Semigroup.Cancellative
distributiveGCDMonoidLaws
Test.QuickCheck.Classes.Monoid.GCD
distributiveLCMMonoidLaws
Test.QuickCheck.Classes.Monoid.LCM
factorialLaws
Test.QuickCheck.Classes.Semigroup.Factorial
factorialMonoidLaws
Test.QuickCheck.Classes.Monoid.Factorial
gcdMonoidLaws
Test.QuickCheck.Classes.Monoid.GCD
lcmMonoidLaws
Test.QuickCheck.Classes.Monoid.LCM
leftCancellativeLaws
Test.QuickCheck.Classes.Semigroup.Cancellative
leftDistributiveGCDMonoidLaws
Test.QuickCheck.Classes.Monoid.GCD
leftGCDMonoidLaws
Test.QuickCheck.Classes.Monoid.GCD
leftReductiveLaws
Test.QuickCheck.Classes.Semigroup.Cancellative
monoidNullLaws
Test.QuickCheck.Classes.Monoid.Null
monusLaws
Test.QuickCheck.Classes.Monoid.Monus
overlappingGCDMonoidLaws
Test.QuickCheck.Classes.Monoid.GCD
,
Test.QuickCheck.Classes.Monoid.Monus
positiveMonoidLaws
Test.QuickCheck.Classes.Monoid.Null
reductiveLaws
Test.QuickCheck.Classes.Semigroup.Cancellative
rightCancellativeLaws
Test.QuickCheck.Classes.Semigroup.Cancellative
rightDistributiveGCDMonoidLaws
Test.QuickCheck.Classes.Monoid.GCD
rightGCDMonoidLaws
Test.QuickCheck.Classes.Monoid.GCD
rightReductiveLaws
Test.QuickCheck.Classes.Semigroup.Cancellative
stableFactorialLaws
Test.QuickCheck.Classes.Semigroup.Factorial