úÎ T NoneKMaximum number of of discarded tests per successful test before giving up. Size of the biggest test cases ,Replay a previous test using a replay token 0Number of test cases for QuickCheck to generate  Create a Test for a QuickCheck   property   s !"#$%&'()*+,-./0123 456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxy     z       !"#$%&'()*+,-./012345656575758595:5;5<5=5>5?5?5@5A5A5B5C5C5D5D5E5E5F5F5G5H5IJKJLJMJNJOJPJQJRJSJTJUJVJWJXJYJZJ[J\J]J^J_`a`b`c`d`e`f`g`h`i`j`k`l`m`n`o`pqrqsqtuvwtasty-quickcheck-0.3Test.Tasty.QuickCheckQuickCheckMaxRatioQuickCheckMaxSizeQuickCheckReplayQuickCheckTests testPropertyQuickCheck-2.6Test.QuickCheck.PropertyTestableQC $fIsTestQC$fIsOptionQuickCheckMaxRatio$fIsOptionQuickCheckMaxSize$fIsOptionQuickCheckReplay$fIsOptionQuickCheckTestsTest.QuickCheck.TestoutputlabelsnumTestsSuccessGaveUp interruptedreasonusedSizeusedSeed numShrinksFailureNoExpectedFailuredisjoin.||.conjoin.&&..&. forAllShrinkforAllwithin==>coverclassifycollectlabelonce expectFailure whenFail'whenFail printTestCase shrinkingmapSizeProperty exhaustivepropertyPropTest.QuickCheck.ModifiersBlindFixed getOrderedOrdered OrderedList getNonEmptyNonEmpty NonEmptyList getPositivePositive getNonZeroNonZerogetNonNegative NonNegativeShrink2Smart Shrinking shrinkState shrinkInit ShrinkStateTest.QuickCheck.Arbitrary orderedListvectorcoarbitraryEnumcoarbitraryShowcoarbitraryRealcoarbitraryIntegral><shrinkRealFracshrinkIntegral shrinkNothingarbitrarySizedBoundedIntegralarbitraryBoundedEnumarbitraryBoundedRandomarbitraryBoundedIntegralarbitrarySizedFractionalarbitrarySizedIntegralshrink arbitrary Arbitrary coarbitrary CoArbitraryTest.QuickCheck.GenvectorOflistOf1listOfgrowingElementselements frequencyoneof suchThatMaybesuchThatsamplesample'promotechooseresizesizedvariantTest.QuickCheck.TextrangesMkStrStrTest.QuickCheck.Exceptiondiscard