checkers-0.4.5: Check properties on standard classes and data structures.

Index

.&.Test.QuickCheck.Checkers
=-=Test.QuickCheck.Checkers
>****<Test.QuickCheck.Instances.Tuple, Test.QuickCheck.Instances
>***<Test.QuickCheck.Instances.Tuple, Test.QuickCheck.Instances
>**<Test.QuickCheck.Instances.Tuple, Test.QuickCheck.Instances
>*<Test.QuickCheck.Instances.Tuple, Test.QuickCheck.Instances
alternativeTest.QuickCheck.Classes
antiSymmetricTest.QuickCheck.Checkers
anyListTest.QuickCheck.Instances.List, Test.QuickCheck.Instances
applicativeTest.QuickCheck.Classes
applicativeMorphismTest.QuickCheck.Classes
arbitrarySatisfyingTest.QuickCheck.Checkers
arbsTest.QuickCheck.Checkers
arrowTest.QuickCheck.Classes
arrowChoiceTest.QuickCheck.Classes
BinopTest.QuickCheck.Checkers
BinRelTest.QuickCheck.Checkers
bothIdTest.QuickCheck.Checkers
bottomTest.QuickCheck.Bottoms
braceTest.QuickCheck.Instances.Char, Test.QuickCheck.Instances
bracketTest.QuickCheck.Instances.Char, Test.QuickCheck.Instances
checkBatchTest.QuickCheck.Checkers
commutesTest.QuickCheck.Checkers
decreasingTest.QuickCheck.Instances.List, Test.QuickCheck.Instances
decreasingInfTest.QuickCheck.Instances.List, Test.QuickCheck.Instances
delayTest.QuickCheck.Later
delayForeverTest.QuickCheck.Later
endoMonoidDTest.QuickCheck.Checkers
eqTest.QuickCheck.Checkers
eqModelsTest.QuickCheck.Checkers
EqPropTest.QuickCheck.Checkers
FracTTest.QuickCheck.Checkers
functorTest.QuickCheck.Classes
functorMonoidTest.QuickCheck.Classes
functorMorphismTest.QuickCheck.Classes
genRTest.QuickCheck.Checkers
gensTest.QuickCheck.Checkers
greaterThanTest.QuickCheck.Instances.Ord, Test.QuickCheck.Instances
homomorphismTest.QuickCheck.Checkers
idemElemTest.QuickCheck.Checkers
idempotentTest.QuickCheck.Checkers
idempotent2Test.QuickCheck.Checkers
increasingTest.QuickCheck.Instances.List, Test.QuickCheck.Instances
increasingInfTest.QuickCheck.Instances.List, Test.QuickCheck.Instances
infiniteCompTest.QuickCheck.Bottoms
infiniteListTest.QuickCheck.Instances.List, Test.QuickCheck.Instances
inverseTest.QuickCheck.Checkers
inverseLTest.QuickCheck.Checkers
involutionTest.QuickCheck.Checkers
isAssocTest.QuickCheck.Checkers
isAssociativeTest.QuickCheck.Utils
isAssociativeByTest.QuickCheck.Utils
isAssocTimesTest.QuickCheck.Later
isCommutTest.QuickCheck.Checkers
isCommutableTest.QuickCheck.Utils
isCommutableByTest.QuickCheck.Utils
isCommutTimesTest.QuickCheck.Later
isTotalOrderTest.QuickCheck.Utils
leftIdTest.QuickCheck.Checkers
lessThanTest.QuickCheck.Instances.Ord, Test.QuickCheck.Instances
lowerAlphaTest.QuickCheck.Instances.Char, Test.QuickCheck.Instances
maybeGenTest.QuickCheck.Instances.Maybe, Test.QuickCheck.Instances
meqTest.QuickCheck.Checkers
meq1Test.QuickCheck.Checkers
meq2Test.QuickCheck.Checkers
meq3Test.QuickCheck.Checkers
meq4Test.QuickCheck.Checkers
meq5Test.QuickCheck.Checkers
ModelTest.QuickCheck.Checkers
modelTest.QuickCheck.Checkers
Model1Test.QuickCheck.Checkers
model1Test.QuickCheck.Checkers
monadTest.QuickCheck.Classes
monadApplicativeTest.QuickCheck.Classes
monadFunctorTest.QuickCheck.Classes
monadMorphismTest.QuickCheck.Classes
monadOrTest.QuickCheck.Classes
monadPlusTest.QuickCheck.Classes
monoidTest.QuickCheck.Classes
MonoidDTest.QuickCheck.Checkers
monoidDTest.QuickCheck.Checkers
monoidMorphismTest.QuickCheck.Classes
negativeTest.QuickCheck.Instances.Num, Test.QuickCheck.Instances
newlineTest.QuickCheck.Instances.Char, Test.QuickCheck.Instances
nondecreasingTest.QuickCheck.Instances.List, Test.QuickCheck.Instances
nondecreasingInfTest.QuickCheck.Instances.List, Test.QuickCheck.Instances
nonEmptyTest.QuickCheck.Instances.List, Test.QuickCheck.Instances
nonincreasingTest.QuickCheck.Instances.List, Test.QuickCheck.Instances
nonincreasingInfTest.QuickCheck.Instances.List, Test.QuickCheck.Instances
nonNegativeTest.QuickCheck.Instances.Num, Test.QuickCheck.Instances
nonPositiveTest.QuickCheck.Instances.Num, Test.QuickCheck.Instances
nonSpaceTest.QuickCheck.Instances.Char, Test.QuickCheck.Instances
nonZeroTest.QuickCheck.Instances.Num, Test.QuickCheck.Instances
nonZero_Test.QuickCheck.Instances.Num, Test.QuickCheck.Instances
notEqualToTest.QuickCheck.Instances.Eq, Test.QuickCheck.Instances
notOneofTest.QuickCheck.Instances.Eq, Test.QuickCheck.Instances
numericTest.QuickCheck.Instances.Char, Test.QuickCheck.Instances
NumTTest.QuickCheck.Checkers
operatorTest.QuickCheck.Instances.Char, Test.QuickCheck.Instances
ordTest.QuickCheck.Classes
ordMorphismTest.QuickCheck.Classes
ordRelTest.QuickCheck.Classes
OrdTTest.QuickCheck.Checkers
parenthesisTest.QuickCheck.Instances.Char, Test.QuickCheck.Instances
positiveTest.QuickCheck.Instances.Num, Test.QuickCheck.Instances
quickBatchTest.QuickCheck.Checkers
reflexiveTest.QuickCheck.Checkers
rightIdTest.QuickCheck.Checkers
semanticApplicativeTest.QuickCheck.Classes
semanticFunctorTest.QuickCheck.Classes
semanticMonadTest.QuickCheck.Classes
semanticMonoidTest.QuickCheck.Classes
semanticOrdTest.QuickCheck.Classes
setLengthTest.QuickCheck.Instances.List, Test.QuickCheck.Instances
spaceTest.QuickCheck.Instances.Char, Test.QuickCheck.Instances
symmetricTest.QuickCheck.Checkers
TTest.QuickCheck.Checkers
TestTest.QuickCheck.Checkers
TestBatchTest.QuickCheck.Checkers
transitiveTest.QuickCheck.Checkers
traversableTest.QuickCheck.Classes
unbatchTest.QuickCheck.Checkers
UnopTest.QuickCheck.Checkers
upperAlphaTest.QuickCheck.Instances.Char, Test.QuickCheck.Instances
verboseBatchTest.QuickCheck.Checkers
whitespaceTest.QuickCheck.Instances.Char, Test.QuickCheck.Instances