úÎ ¨ãNone0Number of test cases for QuickCheck to generate  Create a Test for a SmallCheck  property m  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopq                   ! " # $ % & ' ( ) * + , - .  / 01 01 02 02 03 04 05 06 07 08 09 0: 0: 0; 0< 0< 0= 0> 0> 0? 0? 0@ 0@ 0A 0A 0B 0C 0D EF EG EH EI EJ EK EL EM EN EO EP EQ ER ES ET EU EV EW EX EY EZ [\ [] [^ [_ [` [a [b [c [d [e [f [g [h [i [j [k lm ln lo pqrtasty-quickcheck-0.2Test.Tasty.QuickCheckSCTestableQuickCheckTests testPropertyQC $fIsTestQC$fIsOptionQuickCheckTestsQuickCheck-2.6Test.QuickCheck.TestoutputlabelsnumTestsSuccessGaveUp interruptedreasonusedSizeusedSeed numShrinksFailureNoExpectedFailureTest.QuickCheck.Propertydisjoin.||.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