falsify-0.2.0: Property-based testing with internal integrated shrinking

Index

.$Test.Falsify.Predicate
:->Test.Falsify.Generator
alwaysFailTest.Falsify.Predicate
alwaysPassTest.Falsify.Predicate
applyFunTest.Falsify.Generator
applyPermutationTest.Falsify.Generator
assertTest.Falsify.Property, Test.Falsify.Interactive, Test.Tasty.Falsify
atTest.Falsify.Predicate
between 
1 (Function)Test.Falsify.Predicate
2 (Function)Test.Falsify.Range
binaryTest.Falsify.Predicate
bindIntegralTest.Falsify.Generator
bindWithoutShortcutTest.Falsify.Generator
boolTest.Falsify.Generator
BranchTest.Falsify.Generator
bstTest.Falsify.Generator
captureLocalTreeTest.Falsify.Generator
chooseTest.Falsify.Generator
collectTest.Falsify.Property, Test.Falsify.Interactive, Test.Tasty.Falsify
constantTest.Falsify.Range
discardTest.Falsify.Property, Test.Falsify.Interactive, Test.Tasty.Falsify
DontExpectFailureTest.Tasty.Falsify
dotTest.Falsify.Predicate
drawTreeTest.Falsify.Generator
DropTest.Falsify.Generator
elem 
1 (Function)Test.Falsify.Predicate
2 (Function)Test.Falsify.Generator
enum 
1 (Function)Test.Falsify.Range
2 (Function)Test.Falsify.Generator
eqTest.Falsify.Predicate
eval 
1 (Function)Test.Falsify.Predicate
2 (Function)Test.Falsify.Range
evenTest.Falsify.Predicate
exhaustiveTest.Falsify.Generator
expectTest.Falsify.Predicate
ExpectFailure 
1 (Type/Class)Test.Tasty.Falsify
2 (Data Constructor)Test.Tasty.Falsify
expectFailureTest.Tasty.Falsify
ExprTest.Falsify.Predicate
falsifyTest.Falsify.Interactive
falsify'Test.Falsify.Interactive
firstThenTest.Falsify.Generator
flipTest.Falsify.Predicate
Fn 
1 (Type/Class)Test.Falsify.Predicate
2 (Data Constructor)Test.Falsify.Generator, Test.Falsify.Interactive, Test.Tasty.Falsify
fnTest.Falsify.Predicate
Fn2Test.Falsify.Generator, Test.Falsify.Interactive, Test.Tasty.Falsify
Fn3Test.Falsify.Generator, Test.Falsify.Interactive, Test.Tasty.Falsify
fnWithTest.Falsify.Predicate
frequencyTest.Falsify.Generator
fromProperFractionTest.Falsify.Range
fromShrinkTreeTest.Falsify.Generator
FunTest.Falsify.Generator
funTest.Falsify.Generator
FunctionTest.Falsify.Generator
functionTest.Falsify.Generator
functionMapTest.Falsify.Generator
geTest.Falsify.Predicate
GenTest.Falsify.Generator, Test.Tasty.Falsify
genTest.Falsify.Property, Test.Falsify.Interactive, Test.Tasty.Falsify
GenDefaultTest.Falsify.GenDefault
genDefaultTest.Falsify.GenDefault
genWithTest.Falsify.Property, Test.Falsify.Interactive, Test.Tasty.Falsify
getMarkTest.Falsify.Generator
gtTest.Falsify.Predicate
infoTest.Falsify.Property, Test.Falsify.Interactive, Test.Tasty.Falsify
inRangeTest.Falsify.Generator
intTest.Falsify.Generator
integralTest.Falsify.Generator
InvalidShrinkTest.Falsify.Generator
IsValidShrinkTest.Falsify.Generator
KeepTest.Falsify.Generator
labelTest.Falsify.Property, Test.Falsify.Interactive, Test.Tasty.Falsify
leTest.Falsify.Predicate
LeafTest.Falsify.Generator
listTest.Falsify.Generator
ltTest.Falsify.Predicate
MarkTest.Falsify.Generator
markTest.Falsify.Generator
Marked 
1 (Type/Class)Test.Falsify.Generator
2 (Data Constructor)Test.Falsify.Generator
matchBoolTest.Falsify.Predicate
matchEitherTest.Falsify.Predicate
neTest.Falsify.Predicate
NotVerboseTest.Tasty.Falsify
oddTest.Falsify.Predicate
onTest.Falsify.Predicate
oneofTest.Falsify.Generator
originTest.Falsify.Range
overrideMaxRatioTest.Tasty.Falsify
overrideMaxShrinksTest.Tasty.Falsify
overrideNumTestsTest.Tasty.Falsify
overrideVerboseTest.Tasty.Falsify
pairwiseTest.Falsify.Predicate
pathTest.Falsify.Generator
pathAnyTest.Falsify.Generator
PermutationTest.Falsify.Generator
permutationTest.Falsify.Generator
perturbTest.Falsify.Generator
pickTest.Falsify.Generator
pickBiasedTest.Falsify.Generator
Precision 
1 (Type/Class)Test.Falsify.Range
2 (Data Constructor)Test.Falsify.Range
PredicateTest.Falsify.Predicate
prettyExprTest.Falsify.Predicate
primTest.Falsify.Generator
primWithTest.Falsify.Generator
ProperFraction 
1 (Type/Class)Test.Falsify.Range
2 (Data Constructor)Test.Falsify.Range
properFractionTest.Falsify.Generator
PropertyTest.Falsify.Property, Test.Falsify.Interactive, Test.Tasty.Falsify
Property'Test.Falsify.Property, Test.Falsify.Interactive, Test.Tasty.Falsify
RangeTest.Falsify.Range
relatedByTest.Falsify.Predicate
sampleTest.Falsify.Interactive
satisfiesTest.Falsify.Predicate
selectAllKeptTest.Falsify.Generator
shrinkTest.Falsify.Interactive
shrink'Test.Falsify.Interactive
shrinkToNothingTest.Falsify.Generator
shrinkToOneOfTest.Falsify.Generator
ShrinkTreeTest.Falsify.Generator
shrinkWithTest.Falsify.Generator
shuffleTest.Falsify.Generator
skewedByTest.Falsify.Range
splitTest.Falsify.Predicate
StdTest.Falsify.GenDefault.Std
testFailedTest.Falsify.Property, Test.Falsify.Interactive, Test.Tasty.Falsify
testGenTest.Falsify.Property, Test.Falsify.Interactive, Test.Tasty.Falsify
testMinimumTest.Falsify.Property, Test.Falsify.Interactive, Test.Tasty.Falsify
TestOptions 
1 (Type/Class)Test.Tasty.Falsify
2 (Data Constructor)Test.Tasty.Falsify
testPropertyTest.Tasty.Falsify
testPropertyWithTest.Tasty.Falsify
testShrinkingTest.Falsify.Property, Test.Falsify.Interactive, Test.Tasty.Falsify
testShrinkingOfGenTest.Falsify.Property, Test.Falsify.Interactive, Test.Tasty.Falsify
toShrinkTreeTest.Falsify.Generator
towards 
1 (Function)Test.Falsify.Predicate
2 (Function)Test.Falsify.Range
transparentTest.Falsify.Predicate
TreeTest.Falsify.Generator
treeTest.Falsify.Generator
unaryTest.Falsify.Predicate
unmarkTest.Falsify.Generator
unViaEnumTest.Falsify.GenDefault
unViaGenericTest.Falsify.GenDefault
unViaIntegralTest.Falsify.GenDefault
unViaListTest.Falsify.GenDefault
unViaStringTest.Falsify.GenDefault
unViaTagTest.Falsify.GenDefault
ValidShrinkTest.Falsify.Generator
Verbose 
1 (Type/Class)Test.Tasty.Falsify
2 (Data Constructor)Test.Tasty.Falsify
ViaEnum 
1 (Type/Class)Test.Falsify.GenDefault
2 (Data Constructor)Test.Falsify.GenDefault
ViaGeneric 
1 (Type/Class)Test.Falsify.GenDefault
2 (Data Constructor)Test.Falsify.GenDefault
ViaIntegral 
1 (Type/Class)Test.Falsify.GenDefault
2 (Data Constructor)Test.Falsify.GenDefault
ViaList 
1 (Type/Class)Test.Falsify.GenDefault
2 (Data Constructor)Test.Falsify.GenDefault
ViaString 
1 (Type/Class)Test.Falsify.GenDefault
2 (Data Constructor)Test.Falsify.GenDefault
ViaTag 
1 (Type/Class)Test.Falsify.GenDefault
2 (Data Constructor)Test.Falsify.GenDefault
withOriginTest.Falsify.Range
withoutShrinkingTest.Falsify.Generator
WordN 
1 (Type/Class)Test.Falsify.Generator
2 (Data Constructor)Test.Falsify.Generator
wordNTest.Falsify.Generator