fitspec-0.4.5: refining property sets for testing Haskell programs

Index

***Test.FitSpec.Utils
+|Test.FitSpec.Derive, Test.FitSpec
...Test.FitSpec.Utils
==>Test.FitSpec.Derive, Test.FitSpec
><Test.FitSpec.Derive, Test.FitSpec
aboveTest.FitSpec.PrettyPrint
addWeightTest.FitSpec.Derive, Test.FitSpec
Args 
1 (Type/Class)Test.FitSpec.Report, Test.FitSpec.Main, Test.FitSpec
2 (Data Constructor)Test.FitSpec.Report, Test.FitSpec.Main, Test.FitSpec
argsTest.FitSpec.Report, Test.FitSpec.Main, Test.FitSpec
Bag 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
bagConsTest.FitSpec.Derive, Test.FitSpec
bagsOfTest.FitSpec.Derive, Test.FitSpec
besideTest.FitSpec.PrettyPrint
BindingsTest.FitSpec.Report, Test.FitSpec.Main, Test.FitSpec
checkTest.FitSpec.Derive, Test.FitSpec
checkForTest.FitSpec.Derive, Test.FitSpec
checkResultTest.FitSpec.Derive, Test.FitSpec
checkResultForTest.FitSpec.Derive, Test.FitSpec
cleftTest.FitSpec.Engine
cnKilledTest.FitSpec.Engine
cnSurvivorsTest.FitSpec.Engine
columnsTest.FitSpec.PrettyPrint
completeTest.FitSpec.Engine
compositionsTest.FitSpec.Utils
concatMapTTest.FitSpec.Derive, Test.FitSpec
concatTTest.FitSpec.Derive, Test.FitSpec
Conjecture 
1 (Type/Class)Test.FitSpec.Engine
2 (Data Constructor)Test.FitSpec.Engine
conjecturesTest.FitSpec.Engine
cons0Test.FitSpec.Derive, Test.FitSpec
cons1Test.FitSpec.Derive, Test.FitSpec
cons10Test.FitSpec.Derive, Test.FitSpec
cons11Test.FitSpec.Derive, Test.FitSpec
cons12Test.FitSpec.Derive, Test.FitSpec
cons2Test.FitSpec.Derive, Test.FitSpec
cons3Test.FitSpec.Derive, Test.FitSpec
cons4Test.FitSpec.Derive, Test.FitSpec
cons5Test.FitSpec.Derive, Test.FitSpec
cons6Test.FitSpec.Derive, Test.FitSpec
cons7Test.FitSpec.Derive, Test.FitSpec
cons8Test.FitSpec.Derive, Test.FitSpec
cons9Test.FitSpec.Derive, Test.FitSpec
containedTest.FitSpec.Utils
containsTest.FitSpec.Utils
countTest.FitSpec.Utils
counterExampleTest.FitSpec.Derive, Test.FitSpec
counterExamplesTest.FitSpec.Derive, Test.FitSpec
crightTest.FitSpec.Engine
cscoreTest.FitSpec.Engine
defaultMainTest.FitSpec.Main, Test.FitSpec
DefinitionTest.FitSpec.Report, Test.FitSpec.Main, Test.FitSpec
delayTest.FitSpec.Derive, Test.FitSpec
deleteTTest.FitSpec.Derive, Test.FitSpec
deriveListableTest.FitSpec.Derive, Test.FitSpec
deriveListableCascadingTest.FitSpec.Derive, Test.FitSpec
deriveMutableTest.FitSpec.Derive, Test.FitSpec
deriveMutableCascadingTest.FitSpec.Derive, Test.FitSpec
deriveMutableCascadingETest.FitSpec.Derive, Test.FitSpec
deriveMutableETest.FitSpec.Derive, Test.FitSpec
existsTest.FitSpec.Derive, Test.FitSpec
extraTest.FitSpec.Report, Test.FitSpec.Main, Test.FitSpec
failsTest.FitSpec.Derive, Test.FitSpec
filterNonCanonTest.FitSpec.Engine
filterTTest.FitSpec.Derive, Test.FitSpec
filterUTest.FitSpec.Utils
fixargsTest.FitSpec.Report, Test.FitSpec.Main, Test.FitSpec
getArgsTest.FitSpec.Main, Test.FitSpec
getArgsWithTest.FitSpec.Main, Test.FitSpec
getResultsTest.FitSpec.Engine
getResultsExtraTest.FitSpec.Engine
getResultsExtraTimeoutTest.FitSpec.Engine
headToUpperTest.FitSpec.PrettyPrint
holdsTest.FitSpec.Derive, Test.FitSpec
impliedTest.FitSpec.Engine
Int1 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
Int2 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
Int3 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
Int4 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
isEqTest.FitSpec.Engine
isImTest.FitSpec.Engine
lastTimeoutTest.FitSpec.Utils
listTest.FitSpec.Derive, Test.FitSpec
ListableTest.FitSpec.Derive, Test.FitSpec
listIntegralTest.FitSpec.Derive, Test.FitSpec
listsOfTest.FitSpec.Derive, Test.FitSpec
listsOfLengthTest.FitSpec.Derive, Test.FitSpec
mainWithTest.FitSpec.Main, Test.FitSpec
Map 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
mapConsTest.FitSpec.Derive, Test.FitSpec
mapTTest.FitSpec.Derive, Test.FitSpec
maxTestsTest.FitSpec.Engine
minimalTest.FitSpec.Engine
MutableTest.FitSpec.Mutable, Test.FitSpec.Derive, Test.FitSpec
MutantSTest.FitSpec.ShowMutable, Test.FitSpec.Derive
mutantSTest.FitSpec.ShowMutable, Test.FitSpec.Derive, Test.FitSpec
mutantsTest.FitSpec.Mutable, Test.FitSpec.Derive, Test.FitSpec
mutantSEqTest.FitSpec.ShowMutable, Test.FitSpec.Derive, Test.FitSpec
mutantsExhaustedTest.FitSpec.Engine
mutantSTupleTest.FitSpec.ShowMutable, Test.FitSpec.Derive
mutiersTest.FitSpec.Mutable, Test.FitSpec.Derive, Test.FitSpec
mutiersEqTest.FitSpec.Mutable, Test.FitSpec.Derive, Test.FitSpec
namesTest.FitSpec.Report, Test.FitSpec.Main, Test.FitSpec
Nat 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
Nat1 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
Nat2 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
Nat3 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
Nat4 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
Nat5 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
Nat6 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
Nat7 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
NestedTupleTest.FitSpec.Report, Test.FitSpec.Main, Test.FitSpec
nKilledTest.FitSpec.Engine
nMutantsTest.FitSpec.Report, Test.FitSpec.Main, Test.FitSpec
NoDup 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
noDupListConsTest.FitSpec.Derive, Test.FitSpec
noDupListsOfTest.FitSpec.Derive, Test.FitSpec
normalizeTTest.FitSpec.Derive, Test.FitSpec
nSurvivorsTest.FitSpec.Engine
nTestsTest.FitSpec.Report, Test.FitSpec.Main, Test.FitSpec
ofWeightTest.FitSpec.Derive, Test.FitSpec
product3WithTest.FitSpec.Derive, Test.FitSpec
productMaybeWithTest.FitSpec.Derive, Test.FitSpec
productsTest.FitSpec.Derive, Test.FitSpec
productWithTest.FitSpec.Derive, Test.FitSpec
propertiesCETest.FitSpec.Engine
propertiesHoldTest.FitSpec.Engine
propertiesNTestsTest.FitSpec.Engine
propertiesTestsExhaustedTest.FitSpec.Engine
propertiesToMapTest.FitSpec.Engine
PropertyTest.FitSpec.Engine, Test.FitSpec.Report, Test.FitSpec.Main, Test.FitSpec
propertyTest.FitSpec.Engine, Test.FitSpec
reduceImplicationsTest.FitSpec.Engine
reportTest.FitSpec.Report, Test.FitSpec.Main, Test.FitSpec
reportWithTest.FitSpec.Report, Test.FitSpec.Main, Test.FitSpec
reportWithExtraTest.FitSpec.Report, Test.FitSpec.Main, Test.FitSpec
resetTest.FitSpec.Derive, Test.FitSpec
Result 
1 (Type/Class)Test.FitSpec.Engine
2 (Data Constructor)Test.FitSpec.Engine
ResultsTest.FitSpec.Engine
resultsTest.FitSpec.Derive, Test.FitSpec
rowsTest.FitSpec.Report, Test.FitSpec.Main, Test.FitSpec
scoreTest.FitSpec.Engine
Set 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
setConsTest.FitSpec.Derive, Test.FitSpec
setsTest.FitSpec.Engine
setsOfTest.FitSpec.Derive, Test.FitSpec
showEachTest.FitSpec.PrettyPrint
ShowMutableTest.FitSpec.ShowMutable, Test.FitSpec.Derive, Test.FitSpec
ShowMutantAsTest.FitSpec.Report, Test.FitSpec.Main, Test.FitSpec
showMutantAsTest.FitSpec.Report, Test.FitSpec.Main, Test.FitSpec
showMutantAsTupleTest.FitSpec.ShowMutable, Test.FitSpec.Derive, Test.FitSpec
showMutantBindingsTest.FitSpec.ShowMutable, Test.FitSpec.Derive, Test.FitSpec
showMutantDefinitionTest.FitSpec.ShowMutable, Test.FitSpec.Derive, Test.FitSpec
showMutantNestedTest.FitSpec.ShowMutable, Test.FitSpec.Derive, Test.FitSpec
showQuantityTest.FitSpec.PrettyPrint
showTupleTest.FitSpec.PrettyPrint
smallestSurvivorTest.FitSpec.Engine
sortAndGroupFstBySndTest.FitSpec.Utils
sortAndGroupOnTest.FitSpec.Utils
sortGroupAndCollapseTest.FitSpec.Utils
sortOnTest.FitSpec.Utils
subsetsTest.FitSpec.Utils
suchThatTest.FitSpec.Derive, Test.FitSpec
survivorsTest.FitSpec.Engine
tableTest.FitSpec.PrettyPrint
takeWhileIncreasingTest.FitSpec.Utils
takeWhileIncreasingOnTest.FitSpec.Utils
TestableTest.FitSpec.Derive, Test.FitSpec
tiersTest.FitSpec.Derive, Test.FitSpec
tiersFractionalTest.FitSpec.Derive, Test.FitSpec
timeoutTest.FitSpec.Report, Test.FitSpec.Main, Test.FitSpec
totalMutantsTest.FitSpec.Engine
toTiersTest.FitSpec.Derive, Test.FitSpec
TupleTest.FitSpec.Report, Test.FitSpec.Main, Test.FitSpec
UInt1Test.FitSpec.TestTypes, Test.FitSpec
UInt2Test.FitSpec.TestTypes, Test.FitSpec
UInt3Test.FitSpec.TestTypes, Test.FitSpec
UInt4Test.FitSpec.TestTypes, Test.FitSpec
uncurry3Test.FitSpec.Utils
unInt1Test.FitSpec.TestTypes, Test.FitSpec
unInt2Test.FitSpec.TestTypes, Test.FitSpec
unInt3Test.FitSpec.TestTypes, Test.FitSpec
unInt4Test.FitSpec.TestTypes, Test.FitSpec
unNatTest.FitSpec.TestTypes, Test.FitSpec
unNat1Test.FitSpec.TestTypes, Test.FitSpec
unNat2Test.FitSpec.TestTypes, Test.FitSpec
unNat3Test.FitSpec.TestTypes, Test.FitSpec
unNat4Test.FitSpec.TestTypes, Test.FitSpec
unNat5Test.FitSpec.TestTypes, Test.FitSpec
unNat6Test.FitSpec.TestTypes, Test.FitSpec
unNat7Test.FitSpec.TestTypes, Test.FitSpec
unWord1Test.FitSpec.TestTypes, Test.FitSpec
unWord2Test.FitSpec.TestTypes, Test.FitSpec
unWord3Test.FitSpec.TestTypes, Test.FitSpec
unWord4Test.FitSpec.TestTypes, Test.FitSpec
unXTest.FitSpec.TestTypes, Test.FitSpec
unXsTest.FitSpec.TestTypes, Test.FitSpec
verboseTest.FitSpec.Report, Test.FitSpec.Main, Test.FitSpec
witnessTest.FitSpec.Derive, Test.FitSpec
witnessesTest.FitSpec.Derive, Test.FitSpec
Word1 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
Word2 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
Word3 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
Word4 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
X 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
Xs 
1 (Data Constructor)Test.FitSpec.TestTypes, Test.FitSpec
2 (Type/Class)Test.FitSpec.TestTypes, Test.FitSpec
\/Test.FitSpec.Derive, Test.FitSpec
\\//Test.FitSpec.Derive, Test.FitSpec