props-0.1: Properties of functions and relations, perhaps for use with quickcheck

Index

antisymmetricTest.Properties
antisymmetricByTest.Properties
associativeTest.Properties
associativeByTest.Properties
eqByTest.Properties
equalizesTest.Properties
fixesTest.Properties
fixesByTest.Properties
idempotentTest.Properties
idempotentByTest.Properties
identityTest.Properties
identityByTest.Properties
increasingTest.Properties
increasingByTest.Properties
invertsTest.Properties
invertsByTest.Properties
involutiveTest.Properties
involutiveByTest.Properties
leByTest.Properties
leftIdTest.Properties
leftIdByTest.Properties
leqByTest.Properties
monoidalTest.Properties
monoidalByTest.Properties
nonDecreasingTest.Properties
nonDecreasingByTest.Properties
rightIdTest.Properties
rightIdByTest.Properties
symmetricTest.Properties
symmetricByTest.Properties