Index
| .&&. | Test.SDP.Arbitrary |
| .&. | Test.SDP.Arbitrary |
| .||. | Test.SDP.Arbitrary |
| =/= | Test.SDP.Arbitrary |
| === | Test.SDP.Arbitrary |
| ==> | Test.SDP.Arbitrary |
| >< | Test.SDP.Arbitrary |
| again | Test.SDP.Arbitrary |
| allProperties | Test.SDP.Arbitrary |
| AnyBorder | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| AnyChunks | Test.SDP.Arbitrary |
| applyArbitrary2 | Test.SDP.Arbitrary |
| applyArbitrary3 | Test.SDP.Arbitrary |
| applyArbitrary4 | Test.SDP.Arbitrary |
| applyFun | Test.SDP.Arbitrary |
| applyFun2 | Test.SDP.Arbitrary |
| applyFun3 | Test.SDP.Arbitrary |
| Arbitrary | Test.SDP.Arbitrary |
| arbitrary | Test.SDP.Arbitrary |
| Arbitrary1 | Test.SDP.Arbitrary |
| arbitrary1 | Test.SDP.Arbitrary |
| Arbitrary2 | Test.SDP.Arbitrary |
| arbitrary2 | Test.SDP.Arbitrary |
| arbitraryASCIIChar | Test.SDP.Arbitrary |
| arbitraryBoundedEnum | Test.SDP.Arbitrary |
| arbitraryBoundedIntegral | Test.SDP.Arbitrary |
| arbitraryBoundedRandom | Test.SDP.Arbitrary |
| arbitraryPrintableChar | Test.SDP.Arbitrary |
| arbitrarySizedBoundedIntegral | Test.SDP.Arbitrary |
| arbitrarySizedFractional | Test.SDP.Arbitrary |
| arbitrarySizedIntegral | Test.SDP.Arbitrary |
| arbitrarySizedNatural | Test.SDP.Arbitrary |
| arbitraryUnicodeChar | Test.SDP.Arbitrary |
| Args | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| ASCIIString | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| assocIndexedTest | Test.SDP.Indexed, Test.SDP |
| basicIndexedTest | Test.SDP.Indexed, Test.SDP |
| basicIndexTest | Test.SDP.Index |
| basicLinearTest | Test.SDP.Linear, Test.SDP |
| basicSetTest | Test.SDP.Set, Test.SDP |
| basicSplitTest | Test.SDP.Split, Test.SDP |
| Blind | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| certainty | Test.SDP.Arbitrary |
| chatty | Test.SDP.Arbitrary |
| checkCoverage | Test.SDP.Arbitrary |
| checkCoverageWith | Test.SDP.Arbitrary |
| choose | Test.SDP.Arbitrary |
| chooseAny | Test.SDP.Arbitrary |
| chooseBoundedIntegral | Test.SDP.Arbitrary |
| chooseEnum | Test.SDP.Arbitrary |
| chooseInt | Test.SDP.Arbitrary |
| chooseInteger | Test.SDP.Arbitrary |
| classes | Test.SDP.Arbitrary |
| classify | Test.SDP.Arbitrary |
| CoArbitrary | Test.SDP.Arbitrary |
| coarbitrary | Test.SDP.Arbitrary |
| coarbitraryEnum | Test.SDP.Arbitrary |
| coarbitraryIntegral | Test.SDP.Arbitrary |
| coarbitraryReal | Test.SDP.Arbitrary |
| coarbitraryShow | Test.SDP.Arbitrary |
| collect | Test.SDP.Arbitrary |
| concatTest | Test.SDP.Linear, Test.SDP |
| Confidence | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| conjoin | Test.SDP.Arbitrary |
| constructionLinearTest | Test.SDP.Linear, Test.SDP |
| counterexample | Test.SDP.Arbitrary |
| cover | Test.SDP.Arbitrary |
| coverTable | Test.SDP.Arbitrary |
| deconstructionLinearTest | Test.SDP.Linear, Test.SDP |
| diffSetTest | Test.SDP.Set, Test.SDP |
| Discard | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| discard | Test.SDP.Arbitrary |
| disjoin | Test.SDP.Arbitrary |
| dumbSizeTest | Test.SDP.Index |
| elements | Test.SDP.Arbitrary |
| elemSetTest | Test.SDP.Set, Test.SDP |
| eqTest | Test.SDP.Eq, Test.SDP |
| estimateTest | Test.SDP.Estimate, Test.SDP |
| expectFailure | Test.SDP.Arbitrary |
| failingClasses | Test.SDP.Arbitrary |
| failingLabels | Test.SDP.Arbitrary |
| failingTestCase | Test.SDP.Arbitrary |
| Failure | Test.SDP.Arbitrary |
| Fixed | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| Fn | Test.SDP.Arbitrary |
| Fn2 | Test.SDP.Arbitrary |
| Fn3 | Test.SDP.Arbitrary |
| forAll | Test.SDP.Arbitrary |
| forAllBlind | Test.SDP.Arbitrary |
| forAllProperties | Test.SDP.Arbitrary |
| forAllShow | Test.SDP.Arbitrary |
| forAllShrink | Test.SDP.Arbitrary |
| forAllShrinkBlind | Test.SDP.Arbitrary |
| forAllShrinkShow | Test.SDP.Arbitrary |
| frequency | Test.SDP.Arbitrary |
| Fun | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| Function | Test.SDP.Arbitrary |
| function | Test.SDP.Arbitrary |
| functionBoundedEnum | Test.SDP.Arbitrary |
| functionIntegral | Test.SDP.Arbitrary |
| functionMap | Test.SDP.Arbitrary |
| functionRealFrac | Test.SDP.Arbitrary |
| functionShow | Test.SDP.Arbitrary |
| functionVoid | Test.SDP.Arbitrary |
| GaveUp | Test.SDP.Arbitrary |
| Gen | Test.SDP.Arbitrary |
| generate | Test.SDP.Arbitrary |
| genericCoarbitrary | Test.SDP.Arbitrary |
| genericShrink | Test.SDP.Arbitrary |
| getASCIIString | Test.SDP.Arbitrary |
| getBlind | Test.SDP.Arbitrary |
| getFixed | Test.SDP.Arbitrary |
| getInfiniteList | Test.SDP.Arbitrary |
| getLarge | Test.SDP.Arbitrary |
| getNegative | Test.SDP.Arbitrary |
| getNonEmpty | Test.SDP.Arbitrary |
| getNonNegative | Test.SDP.Arbitrary |
| getNonPositive | Test.SDP.Arbitrary |
| getNonZero | Test.SDP.Arbitrary |
| getOrdered | Test.SDP.Arbitrary |
| getPositive | Test.SDP.Arbitrary |
| getPrintableString | Test.SDP.Arbitrary |
| getShrink2 | Test.SDP.Arbitrary |
| getSize | Test.SDP.Arbitrary |
| getSmall | Test.SDP.Arbitrary |
| getSorted | Test.SDP.Arbitrary |
| getUnicodeString | Test.SDP.Arbitrary |
| growingElements | Test.SDP.Arbitrary |
| idempotentIOProperty | Test.SDP.Arbitrary |
| inBoundsTest | Test.SDP.Index |
| indexedTest | Test.SDP.Indexed, Test.SDP |
| indexTest | Test.SDP.Index |
| InfiniteList | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| infiniteList | Test.SDP.Arbitrary |
| infiniteListInternalData | Test.SDP.Arbitrary |
| infiniteListOf | Test.SDP.Arbitrary |
| insdelSetTest | Test.SDP.Set, Test.SDP |
| ioProperty | Test.SDP.Arbitrary |
| isSuccess | Test.SDP.Arbitrary |
| label | Test.SDP.Arbitrary |
| labelledExamples | Test.SDP.Arbitrary |
| labelledExamplesResult | Test.SDP.Arbitrary |
| labelledExamplesWith | Test.SDP.Arbitrary |
| labelledExamplesWithResult | Test.SDP.Arbitrary |
| labels | Test.SDP.Arbitrary |
| Large | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| lexicographicOrdTest | Test.SDP.Ord, Test.SDP |
| liftArbitrary | Test.SDP.Arbitrary |
| liftArbitrary2 | Test.SDP.Arbitrary |
| liftShrink | Test.SDP.Arbitrary |
| liftShrink2 | Test.SDP.Arbitrary |
| linearA | Test.SDP.Gen, Test.SDP.Sort, Test.SDP |
| linearLargeA | Test.SDP.Gen, Test.SDP.Sort, Test.SDP |
| linearTest | Test.SDP.Linear, Test.SDP |
| listOf | Test.SDP.Arbitrary |
| listOf1 | Test.SDP.Arbitrary |
| Long | |
| 1 (Type/Class) | Test.SDP.Gen, Test.SDP.Sort, Test.SDP |
| 2 (Data Constructor) | Test.SDP.Gen, Test.SDP.Sort, Test.SDP |
| lookupSetTest | Test.SDP.Set, Test.SDP |
| mapSize | Test.SDP.Arbitrary |
| maxDiscardRatio | Test.SDP.Arbitrary |
| maxShrinks | Test.SDP.Arbitrary |
| maxSize | Test.SDP.Arbitrary |
| maxSuccess | Test.SDP.Arbitrary |
| Medium | |
| 1 (Type/Class) | Test.SDP.Gen, Test.SDP.Sort, Test.SDP |
| 2 (Data Constructor) | Test.SDP.Gen, Test.SDP.Sort, Test.SDP |
| monomorphic | Test.SDP.Arbitrary |
| Negative | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| nextTest | Test.SDP.Index |
| NoExpectedFailure | Test.SDP.Arbitrary |
| NonEmpty | Test.SDP.Arbitrary |
| NonEmptyList | Test.SDP.Arbitrary |
| NonNegative | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| NonPositive | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| NonZero | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| noShrinking | Test.SDP.Arbitrary |
| numDiscarded | Test.SDP.Arbitrary |
| numShrinkFinal | Test.SDP.Arbitrary |
| numShrinks | Test.SDP.Arbitrary |
| numShrinkTries | Test.SDP.Arbitrary |
| numTests | Test.SDP.Arbitrary |
| once | Test.SDP.Arbitrary |
| oneof | Test.SDP.Arbitrary |
| orderA | Test.SDP.Gen, Test.SDP.Sort, Test.SDP |
| Ordered | Test.SDP.Arbitrary |
| OrderedList | Test.SDP.Arbitrary |
| orderedList | Test.SDP.Arbitrary |
| ordTest | Test.SDP.Ord, Test.SDP |
| output | Test.SDP.Arbitrary |
| polyQuickCheck | Test.SDP.Arbitrary |
| polyVerboseCheck | Test.SDP.Arbitrary |
| Positive | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| prevTest | Test.SDP.Index |
| PrintableString | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| printTestCase | Test.SDP.Arbitrary |
| Property | Test.SDP.Arbitrary |
| property | Test.SDP.Arbitrary |
| propertyForAllShrinkShow | Test.SDP.Arbitrary |
| quickCheck | Test.SDP.Arbitrary |
| quickCheckAll | Test.SDP.Arbitrary |
| quickCheckResult | Test.SDP.Arbitrary |
| quickCheckWith | Test.SDP.Arbitrary |
| quickCheckWithResult | Test.SDP.Arbitrary |
| rangeTest | Test.SDP.Index |
| readIndexedTest | Test.SDP.Indexed, Test.SDP |
| reason | Test.SDP.Arbitrary |
| recursivelyShrink | Test.SDP.Arbitrary |
| replay | Test.SDP.Arbitrary |
| replicateTest | Test.SDP.Linear, Test.SDP |
| resize | Test.SDP.Arbitrary |
| Result | Test.SDP.Arbitrary |
| reverseTest | Test.SDP.Linear, Test.SDP |
| sample | Test.SDP.Arbitrary |
| sample' | Test.SDP.Arbitrary |
| SArray# | Test.SDP.Arbitrary |
| SBytes# | Test.SDP.Arbitrary |
| scale | Test.SDP.Arbitrary |
| setTest | Test.SDP.Set, Test.SDP |
| shapeTest | Test.SDP.Index |
| Short | |
| 1 (Type/Class) | Test.SDP.Gen, Test.SDP.Sort, Test.SDP |
| 2 (Data Constructor) | Test.SDP.Gen, Test.SDP.Sort, Test.SDP |
| shrink | Test.SDP.Arbitrary |
| shrink1 | Test.SDP.Arbitrary |
| Shrink2 | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| shrink2 | Test.SDP.Arbitrary |
| shrinkDecimal | Test.SDP.Arbitrary |
| Shrinking | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| shrinking | Test.SDP.Arbitrary |
| shrinkInit | Test.SDP.Arbitrary |
| shrinkIntegral | Test.SDP.Arbitrary |
| shrinkList | Test.SDP.Arbitrary |
| shrinkMap | Test.SDP.Arbitrary |
| shrinkMapBy | Test.SDP.Arbitrary |
| shrinkNothing | Test.SDP.Arbitrary |
| shrinkRealFrac | Test.SDP.Arbitrary |
| ShrinkState | Test.SDP.Arbitrary |
| shrinkState | Test.SDP.Arbitrary |
| shuffle | Test.SDP.Arbitrary |
| sized | Test.SDP.Arbitrary |
| Small | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| Smart | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| Sorted | Test.SDP.Arbitrary |
| SortedList | Test.SDP.Arbitrary |
| sortTest | Test.SDP.Sort, Test.SDP |
| splitTest | Test.SDP.Split, Test.SDP |
| stdArgs | Test.SDP.Arbitrary |
| stdConfidence | Test.SDP.Arbitrary |
| sublistOf | Test.SDP.Arbitrary |
| subterms | Test.SDP.Arbitrary |
| Success | Test.SDP.Arbitrary |
| suchThat | Test.SDP.Arbitrary |
| suchThatMap | Test.SDP.Arbitrary |
| suchThatMaybe | Test.SDP.Arbitrary |
| tables | Test.SDP.Arbitrary |
| tabulate | Test.SDP.Arbitrary |
| Testable | Test.SDP.Arbitrary |
| TestEq | Test.SDP.Eq, Test.SDP |
| TestEstimate | Test.SDP.Estimate, Test.SDP |
| TestIndex | Test.SDP.Index |
| TestIndexed | Test.SDP.Indexed, Test.SDP |
| TestIndexed1 | Test.SDP.Indexed, Test.SDP |
| TestIndexed2 | Test.SDP.Indexed, Test.SDP |
| TestLinear | Test.SDP.Linear, Test.SDP |
| TestLinear1 | Test.SDP.Linear, Test.SDP |
| TestLinear2 | Test.SDP.Linear, Test.SDP |
| TestOrd | Test.SDP.Ord, Test.SDP |
| TestSet | Test.SDP.Set, Test.SDP |
| TestSet1 | Test.SDP.Set, Test.SDP |
| TestShape | Test.SDP.Index |
| TestSplit | Test.SDP.Split, Test.SDP |
| TestSplit1 | Test.SDP.Split, Test.SDP |
| TestSplit2 | Test.SDP.Split, Test.SDP |
| theException | Test.SDP.Arbitrary |
| tolerance | Test.SDP.Arbitrary |
| total | Test.SDP.Arbitrary |
| UnicodeString | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| unintSetTest | Test.SDP.Set, Test.SDP |
| usedSeed | Test.SDP.Arbitrary |
| usedSize | Test.SDP.Arbitrary |
| variant | Test.SDP.Arbitrary |
| vector | Test.SDP.Arbitrary |
| vectorOf | Test.SDP.Arbitrary |
| verbose | Test.SDP.Arbitrary |
| verboseCheck | Test.SDP.Arbitrary |
| verboseCheckAll | Test.SDP.Arbitrary |
| verboseCheckResult | Test.SDP.Arbitrary |
| verboseCheckWith | Test.SDP.Arbitrary |
| verboseCheckWithResult | Test.SDP.Arbitrary |
| verboseShrinking | Test.SDP.Arbitrary |
| whenFail | Test.SDP.Arbitrary |
| whenFail' | Test.SDP.Arbitrary |
| whileSplitTest | Test.SDP.Split, Test.SDP |
| within | Test.SDP.Arbitrary |
| withMaxSuccess | Test.SDP.Arbitrary |