axiomatic-classes-0.1.0.0: Specify axioms for type classes and quickCheck all available instances

Index

.==Test.QuickCheck.ZoomEq
choiceTest.QuickCheck.RandomTree
conjPropTest.QuickCheck.ZoomEq
consumeTest.QuickCheck.RandomTree
degreeTest.QuickCheck.RandomTree
doShrinkTest.QuickCheck.Shrink
elementsTest.QuickCheck.RandomTree
genTest.QuickCheck.RandomTree
genericZoomEqTest.QuickCheck.ZoomEq
GZoomEqTest.QuickCheck.ZoomEq
gZoomEqTest.QuickCheck.ZoomEq
LeafTest.QuickCheck.RandomTree
liftGenTest.QuickCheck.RandomTree
make_nodeTest.QuickCheck.RandomTree
make_structTest.QuickCheck.RandomTree
MonadGenTest.QuickCheck.RandomTree
MyLeafTest.QuickCheck.RandomTree
MyTreeTest.QuickCheck.RandomTree
NodeTest.QuickCheck.RandomTree
NodeGenTest.QuickCheck.RandomTree
prop_bin_lengthTest.QuickCheck.RandomTree
prop_bin_sumTest.QuickCheck.RandomTree
prop_rand_tree_sizeTest.QuickCheck.RandomTree
prop_subtree_sizeTest.QuickCheck.RandomTree
prop_tree_shapeTest.QuickCheck.RandomTree
putInBinsTest.QuickCheck.RandomTree
quickCheckClassesTest.QuickCheck.AxiomaticClass
quickCheckClassesWithTest.QuickCheck.AxiomaticClass
quickCheckClassTestsTest.QuickCheck.AxiomaticClass
RecTest.QuickCheck.RandomTree
recForMTest.QuickCheck.RandomTree
recListFromTest.QuickCheck.RandomTree
recListFromToTest.QuickCheck.RandomTree
RecStructTest.QuickCheck.RandomTree
RecT 
1 (Type/Class)Test.QuickCheck.RandomTree
2 (Data Constructor)Test.QuickCheck.RandomTree
recursive_structTest.QuickCheck.RandomTree
recursive_struct'Test.QuickCheck.RandomTree
regressionTest.QuickCheck.Regression
rootTest.QuickCheck.RandomTree
runRecTest.QuickCheck.RandomTree
runRecTTest.QuickCheck.RandomTree
run_testsTest.QuickCheck.RandomTree
ShallowZoom 
1 (Type/Class)Test.QuickCheck.ZoomEq
2 (Data Constructor)Test.QuickCheck.ZoomEq
sizeTest.QuickCheck.RandomTree
sizedTest.QuickCheck.RandomTree
SomeSubtressTest.QuickCheck.RandomTree
substVarsTest.QuickCheck.AxiomaticClass
substVars'Test.QuickCheck.AxiomaticClass
subtreesTest.QuickCheck.RandomTree
subtree_sizeTest.QuickCheck.RandomTree
Tree 
1 (Type/Class)Test.QuickCheck.RandomTree
2 (Data Constructor)Test.QuickCheck.RandomTree
tree_fromTest.QuickCheck.RandomTree
tree_from'Test.QuickCheck.RandomTree
tree_from_auxTest.QuickCheck.RandomTree
tree_ofTest.QuickCheck.RandomTree
tryTest.QuickCheck.RandomTree
TwoSubtreesTest.QuickCheck.RandomTree
unShallowZoomTest.QuickCheck.ZoomEq
withIntTest.QuickCheck.AxiomaticClass
ZoomEqTest.QuickCheck.ZoomEq