.h%6      !"#$%&'()*+,-./012345None2DQR()A type of pairs. Used in counterexamples.GThe class of properties, i.e. types which QuickCheck knows how to test.,The type of counterexamples to the property.Convert the property to a .>A type synonym for the property which comes from a particular  instance.2A property which doesn't produce a counterexample. A property. cex0 is the type of counterexamples to the property.Note that there is a 6 instance, which is useful when you want to manipulate the counterexample, e.g., to change its type. For example, when some branches of your property produce a counterexample and other branches do not, the types will not match up, but using 7& you can make the counterexample be a 8. rImplementation note: the property receives a callback to which it should pass the counterexample after shrinking. "Add a value to the counterexample. LLift an ordinary QuickCheck property combinator to one with counterexamples. See  in Test.QuickCheck. See  in Test.QuickCheck.See  in Test.QuickCheck.See  in Test.QuickCheck.See  in Test.QuickCheck.See  in Test.QuickCheck.See   in Test.QuickCheck.See   in Test.QuickCheck.See   in Test.QuickCheck.See   in Test.QuickCheck.See   in Test.QuickCheck.See  in Test.QuickCheck.See  in Test.QuickCheck.See  in Test.QuickCheck.See  in Test.QuickCheck.See  in Test.QuickCheck.See  in Test.QuickCheck.See  in Test.QuickCheck.See  in Test.QuickCheck.See  in Test.QuickCheck. See  in Test.QuickCheck.!See  in Test.QuickCheck."See  in Test.QuickCheck.#See  in Test.QuickCheck.$See  in Test.QuickCheck.%See  in Test.QuickCheck.&See  in Test.QuickCheck.'See  in Test.QuickCheck.(See  in Test.QuickCheck.)See   in Test.QuickCheck.1  !"#$%&'()*+,-./09:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~  !"#$%&'()1 0/.-,+*  !"#$%&'(),  !"#$%&'()*+,-./06604!!"#$%&'()*+      ,-./0123456789:89;89<=>?=>@=>A=>B=CD=CE=CE=CF=CG=CH=CI=CJ=CK=CL=CM=CN=CO=CP=CQ=CR=CS=CT=CU=CV=CW=CX=CY=CZ=[\=[\=]^=]^=]_=]`=]`=]a=]b=]c=]d=]e=]f=]g=]h=]h=]i=]j=]j=]k=]l=]l=]m=]n=]n=]o=]p=]p=]q=]r=]r=]s=]t=]t=]u=]u=]v=]w=]x=yz=y{=y|=y}=y~=y=y=y=y=y=y=y=y=y=y=y=y=y=y=y=y=y=y=y=y=y=y=y======================:quickcheck-with-counterexamples-1.0-4uwHuDRJg4RB2RGKrOi55MTest.QuickCheck.CounterexamplesTest.QuickCheck quickCheckquickCheckWithquickCheckResultquickCheckWithResult verboseCheckverboseCheckWithverboseCheckResultverboseCheckWithResultpolyQuickCheckpolyVerboseCheckforAll forAllShrink shrinking==>=== ioPropertyverboseonceagainwithin noShrinkingcounterexamplewhenFail whenFail' expectFailurelabelcollectclassifycovermapSize:&:TestableCounterexampleproperty PropertyFromProperty PropertyOf MkProperty unPropertytypedCounterexample onProperty$fTestable(->)$fTestablePropertyOf$fTestablePropertyOf0 $fTestableGen$fTestableProperty$fTestableBool$fTestableDiscard$fFunctorPropertyOf$fEq:&:$fOrd:&: $fShow:&: $fRead:&:baseGHC.BaseFunctorfmapMaybe'QuickCheck-2.9.2-3a8nWdLsV8cEn9LdMoftRmTest.QuickCheck.AllverboseCheckAll quickCheckAllforAllProperties monomorphicTest.QuickCheck.TeststdArgsArgsreplay maxSuccessmaxDiscardRatiomaxSizechattyResultSuccessGaveUpFailureNoExpectedFailureInsufficientCoveragelabelsreason theExceptionnumTestsoutput numShrinksnumShrinkTriesnumShrinkFinalusedSeedusedSizeTest.QuickCheck.PropertyDiscardTest.QuickCheck.ModifiersBlindgetBlindFixedgetFixed OrderedListOrdered getOrdered NonEmptyListNonEmpty getNonEmptyPositive getPositiveNonZero getNonZero NonNegativegetNonNegativeLargegetLargeSmallgetSmallShrink2 getShrink2Smart Shrinking ShrinkState shrinkInit shrinkStateTest.QuickCheck.Arbitrary infiniteList orderedListvectorcoarbitraryEnumcoarbitraryShowcoarbitraryRealcoarbitraryIntegral><genericCoarbitraryshrinkRealFracshrinkIntegral shrinkNothingarbitrarySizedBoundedIntegralarbitraryBoundedEnumarbitraryBoundedRandomarbitraryBoundedIntegralarbitrarySizedFractionalarbitrarySizedNaturalarbitrarySizedIntegral shrinkListsubtermsrecursivelyShrink genericShrink Arbitrary arbitraryshrink CoArbitrary coarbitraryTest.QuickCheck.ExceptiondiscardTest.QuickCheck.GeninfiniteListOfvectorOflistOf1listOfgrowingElementsshuffle sublistOfelements frequencyoneof suchThatMaybesuchThatsamplesample'generatechoosescaleresizesizedvariantGen