h*       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~0.11 Safe-Inferred'7  tasty-quickcheck=Number of shrinks allowed before QuickCheck will fail a test.tasty-quickcheck-Show the test cases that QuickCheck generatestasty-quickcheckMaximum number of of discarded tests per successful test before giving up.tasty-quickcheckSize of the biggest test casestasty-quickcheck8If a test case fails unexpectedly, show the replay tokentasty-quickcheck Replay seed tasty-quickcheckNo seed tasty-quickcheckLegacy integer seed tasty-quickcheck(qcgen, intSize): holds both the seed and the size to run QuickCheck teststasty-quickcheck/Number of test cases for QuickCheck to generatetasty-quickcheck Create a  for a QuickCheck  propertytasty-quickcheckCreate a test from a list of QuickCheck properties. To be used with . E.g. =tests :: TestTree tests = testProperties "Foo" $allProperties tasty-quickcheck.Convert tasty options into QuickCheck options.This is a low-level function that was originally added for tasty-hspec but may be used by others.The returned Int is kept only for backward compatibility purposes. It has no use in tasty-quickcheck.tasty-quickcheckLike the original 1 but is reporting progress using tasty callback. !"#$%&'MNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ ()*+,-./0123456789:;<=>?@ABCDEFGHIJKL !"#$%&'MNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ ()*+,-./0123456789:;<=>?@ABCDEFGHIJKL      !"#$%&%'%(%)%*%+%,%-%.%/%0%1%2%3%4%5%6%7%8%9%:%;%<%=%>%?%@%A%B%C%D%E%F%G%H%I%J%K%L%M%N%O%P%Q%R%S%T%UVWVWVXVYVYVZV[V[V\V]V^V_V`V`VaVaVbVbVcVdVdVeVfVfVgVhVhViVjVjVkVlVlVmVnVnVoVpVpVqVrVsVtVuVuVvVwVxVyVzV{V|V}V~V~VVVV,tasty-quickcheck-0.11-IGeqpXezQKjDBLRk24EErlTest.Tasty.QuickChecktasty-quickcheckTest.QuickCheck allProperties*QuickCheck-2.15.0.1-JyXbAFb7UipIPAKrEhXkquTest.QuickCheck.ExceptiondiscardTest.QuickCheck.GenGenvariantsizedgetSizeresizescalechoose chooseAny chooseEnum chooseIntchooseBoundedIntegral chooseIntegergeneratesample'samplesuchThat suchThatMap suchThatMaybeoneof frequencyelements sublistOfshufflegrowingElementslistOflistOf1vectorOfinfiniteListOfTest.QuickCheck.Arbitrary CoArbitrary coarbitrary Arbitrary2liftArbitrary2 liftShrink2 Arbitrary1 liftArbitrary liftShrink Arbitrary arbitraryshrink arbitrary1shrink1 arbitrary2shrink2 genericShrinkrecursivelyShrinksubterms shrinkListapplyArbitrary2applyArbitrary3applyArbitrary4arbitrarySizedIntegralarbitrarySizedNaturalarbitrarySizedFractionalarbitraryBoundedIntegralarbitraryBoundedRandomarbitraryBoundedEnumarbitrarySizedBoundedIntegralarbitraryUnicodeChararbitraryASCIIChararbitraryPrintableChar shrinkNothing shrinkMap shrinkMapByshrinkIntegralshrinkBoundedEnumshrinkRealFrac shrinkDecimalgenericCoarbitrary><coarbitraryIntegralcoarbitraryRealcoarbitraryShowcoarbitraryEnumvector orderedList infiniteListTest.QuickCheck.ModifiersPrintableStringgetPrintableString UnicodeStringgetUnicodeString ASCIIStringgetASCIIString ShrinkState shrinkInit shrinkState ShrinkingSmartShrink2 getShrink2SmallgetSmallLargegetLarge NonPositivegetNonPositive NonNegativegetNonNegativeNonZero getNonZeroNegative getNegativePositive getPositive SortedListSorted getSorted InfiniteListgetInfiniteListinfiniteListInternalData NonEmptyListNonEmpty getNonEmpty OrderedListOrdered getOrderedFixedgetFixedBlindgetBlindTest.QuickCheck.FunctionFunFunctionfunctionFn3Fn2FnfunctionBoundedEnumfunctionRealFracfunctionIntegral functionShow functionVoid functionMapapplyFun applyFun2 applyFun3Test.QuickCheck.State Confidence certainty toleranceTest.QuickCheck.PropertyWitnessWitDiscardTestablepropertypropertyForAllShrinkShowProperty ioPropertyidempotentIOProperty coerceWitness castWitnessmapSize shrinking noShrinkingcounterexample printTestCasewhenFail whenFail'verboseShrinking expectFailureonceagainwithMaxSuccesswithDiscardRatiowithMaxShrinks withMaxSizewitness checkCoveragecheckCoverageWith stdConfidencelabelcollectclassifycovertabulate coverTable==>within discardAfterforAll forAllShow forAllBlind forAllShrinkforAllShrinkShowforAllShrinkBlind.&..&&.conjoin.||.disjoin====/=totalTest.QuickCheck.TestSuccessGaveUpFailureNoExpectedFailurenumTests numDiscardedlabelsclassestablesoutput numShrinksnumShrinkTriesnumShrinkFinalusedSeedusedSizereason theExceptionfailingTestCase failingLabelsfailingClasses witnesses isSuccessrecheckTest.QuickCheck.AllpolyQuickCheckpolyVerboseCheck monomorphicTest.QuickCheck.FeatureslabelledExampleslabelledExamplesWithlabelledExamplesResultlabelledExamplesWithResultQuickCheckMaxShrinksQuickCheckVerboseQuickCheckMaxRatioQuickCheckMaxSizeQuickCheckShowReplayQuickCheckReplayQuickCheckReplayNoneQuickCheckReplayLegacyQuickCheckTestsQC testPropertytestPropertiesoptionSetToArgs$fIsOptionQuickCheckTests$fIsOptionQuickCheckReplay$fIsOptionQuickCheckShowReplay$fIsOptionQuickCheckMaxSize$fIsOptionQuickCheckMaxRatio$fIsOptionQuickCheckVerbose $fIsTestQC$fIsOptionQuickCheckMaxShrinks$fNumQuickCheckMaxShrinks$fOrdQuickCheckMaxShrinks$fEqQuickCheckMaxShrinks$fRealQuickCheckMaxShrinks$fEnumQuickCheckMaxShrinks$fIntegralQuickCheckMaxShrinks$fNumQuickCheckMaxRatio$fOrdQuickCheckMaxRatio$fEqQuickCheckMaxRatio$fRealQuickCheckMaxRatio$fEnumQuickCheckMaxRatio$fIntegralQuickCheckMaxRatio$fNumQuickCheckMaxSize$fOrdQuickCheckMaxSize$fEqQuickCheckMaxSize$fRealQuickCheckMaxSize$fEnumQuickCheckMaxSize$fIntegralQuickCheckMaxSize$fNumQuickCheckTests$fOrdQuickCheckTests$fEqQuickCheckTests$fRealQuickCheckTests$fEnumQuickCheckTests$fIntegralQuickCheckTests"tasty-1.5.1-LtuttvvmDFM1HAjdDWjWJ3Test.Tasty.CoreTestTree quickCheck