test-invariant-0.4.2.0: Provide common invariants to be checked with QuickCheck

Index

&>Test.Invariant
<=>Test.Invariant
<~~Test.Invariant
@~>Test.Invariant
associativeTest.Invariant
commutativeTest.Invariant
cyclesWithinTest.Invariant
deflatingTest.Invariant
deflating'Test.Invariant
distributesLeftOverTest.Invariant
distributesOverTest.Invariant
distributesRightOverTest.Invariant
idempotentTest.Invariant
inflatingTest.Invariant
inflating'Test.Invariant
invariatesOverTest.Invariant
invertsTest.Invariant
involutoryTest.Invariant
monotonicDecreasingTest.Invariant
monotonicDecreasing'Test.Invariant
monotonicIncreasingTest.Invariant
monotonicIncreasing'Test.Invariant
pointSymmetricTest.Invariant
reflectionSymmetricTest.Invariant