!b TG      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None3FSTL7quickcheck-with-counterexamples)A type of pairs. Used in counterexamples.quickcheck-with-counterexamplesGThe class of properties, i.e. types which QuickCheck knows how to test.quickcheck-with-counterexamples,The type of counterexamples to the property.quickcheck-with-counterexamplesConvert the property to a .quickcheck-with-counterexamples>A type synonym for the property which comes from a particular  instance.quickcheck-with-counterexamples2A property which doesn't produce a counterexample.quickcheck-with-counterexamples A property. cex0 is the type of counterexamples to the property.Note that there is a  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 & you can make the counterexample be a .quickcheck-with-counterexamplesrImplementation note: the property receives a callback to which it should pass the counterexample after shrinking.quickcheck-with-counterexamples"Add a value to the counterexample.quickcheck-with-counterexamplesLLift an ordinary QuickCheck property combinator to one with counterexamples.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee   in Test.QuickCheck.quickcheck-with-counterexamplesSee   in Test.QuickCheck.quickcheck-with-counterexamplesSee   in Test.QuickCheck.quickcheck-with-counterexamplesSee   in Test.QuickCheck.quickcheck-with-counterexamplesSee   in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee  in Test.QuickCheck.quickcheck-with-counterexamplesSee   in Test.QuickCheck.quickcheck-with-counterexamplesSee ! in Test.QuickCheck.quickcheck-with-counterexamplesSee " in Test.QuickCheck.quickcheck-with-counterexamplesSee # in Test.QuickCheck.quickcheck-with-counterexamplesSee $ in Test.QuickCheck.quickcheck-with-counterexamplesSee % in Test.QuickCheck.quickcheck-with-counterexamplesSee & in Test.QuickCheck.quickcheck-with-counterexamplesSee ' in Test.QuickCheck.quickcheck-with-counterexamplesSee ( in Test.QuickCheck.quickcheck-with-counterexamplesSee ) in Test.QuickCheck.quickcheck-with-counterexamplesSee * in Test.QuickCheck.quickcheck-with-counterexamplesSee + in Test.QuickCheck.quickcheck-with-counterexamplesSee , in Test.QuickCheck.quickcheck-with-counterexamplesSee - in Test.QuickCheck.quickcheck-with-counterexamplesSee . in Test.QuickCheck.quickcheck-with-counterexamplesSee / in Test.QuickCheck. "! #$%'&+*)(,-./012345687:9=<;@?>CBAFEDJIHGMLKPONSRQVUTYXW\[Z^]`_cbafedihglkjmnopqrstuvwxyz{|}~ "! #$%'&+*)(,-./012345687:9=<;@?>CBAFEDJIHGMLKPONSRQVUTYXW\[Z^]`_cbafedihglkjmnopqrstuvwxyz{|}~6604401201301401501607807907:07;07<07=07>07?07?07@07A07B07C07D07E07F07G07H07I07J07K07L07M07N07O07P07Q07R07S07T0UV0UW0UX0UY0UY0Z[0Z\0Z]0Z]0^_0^`0^a0^b0^c0^d0^e0^f0^g0^h0^i0^j0^k0^l0^l0mn0mo0mo0mp0mq0mq0mr0ms0mt0mu0mv0mw0mx0my0mz0mz0m{0m|0m|0m}0m~0m~0m0m0m0m0m0m0m0m0m0m0m0m0m0m0m0m0m0m0m0m0m0m0m0m0m0m0m0m0000000000000000000000000000000000000000000000000000000000000000000000      !"#$%&'()*+,-./:quickcheck-with-counterexamples-1.1-Bi0NAY8AS7xEV58fbsEByWTest.QuickCheck.CounterexamplesTest.QuickCheck quickCheckquickCheckWithquickCheckResultquickCheckWithResult verboseCheckverboseCheckWithverboseCheckResultverboseCheckWithResultlabelledExampleslabelledExamplesWithlabelledExamplesResultlabelledExamplesWithResultpolyQuickCheckpolyVerboseCheckforAll forAllShrink forAllShowforAllShrinkShow forAllBlindforAllShrinkBlind shrinking==>====/= ioPropertyidempotentIOPropertyverboseverboseShrinkingonceagainwithin noShrinkingcounterexamplewhenFail whenFail' expectFailurelabelcollectclassifycovertabulate coverTables checkCoveragecheckCoverageWithmapSize&QuickCheck-2.12-AhkXZlhonSnA7wr8rS3XFlTest.QuickCheck.AllverboseCheckAll quickCheckAll allPropertiesforAllProperties monomorphicTest.QuickCheck.TeststdArgs maxShrinkschattymaxSizemaxDiscardRatio maxSuccessreplayArgsfailingClasses failingLabelsfailingTestCase theExceptionreasonusedSizeusedSeednumShrinkFinalnumShrinkTries numShrinksoutputtablesclasseslabels numDiscardednumTestsNoExpectedFailureFailureGaveUpSuccessResultTest.QuickCheck.Propertytotal stdConfidencewithMaxSuccessDiscardTest.QuickCheck.State tolerance certainty ConfidenceTest.QuickCheck.Function applyFun3 applyFun2applyFun functionMap functionShowfunctionIntegralfunctionRealFracfunctionBoundedEnumFnFn2Fn3functionFunctionFunTest.QuickCheck.ModifiersgetBlindBlindgetFixedFixed getOrderedOrdered OrderedList getNonEmptyNonEmpty NonEmptyListinfiniteListInternalDatagetInfiniteList InfiniteList getPositivePositive getNonZeroNonZerogetNonNegative NonNegativegetLargeLargegetSmallSmall getShrink2Shrink2Smart Shrinking shrinkState shrinkInit ShrinkStategetASCIIString ASCIIStringgetUnicodeString UnicodeStringgetPrintableStringPrintableStringTest.QuickCheck.Arbitrary infiniteList orderedListvectorcoarbitraryEnumcoarbitraryShowcoarbitraryRealcoarbitraryIntegral><genericCoarbitraryshrinkRealFracshrinkIntegral shrinkMapBy shrinkMap shrinkNothingarbitraryPrintableChararbitraryASCIIChararbitraryUnicodeChararbitrarySizedBoundedIntegralarbitraryBoundedEnumarbitraryBoundedRandomarbitraryBoundedIntegralarbitrarySizedFractionalarbitrarySizedNaturalarbitrarySizedIntegralapplyArbitrary4applyArbitrary3applyArbitrary2 shrinkListsubtermsrecursivelyShrink genericShrinkshrink2 arbitrary2shrink1 arbitrary1shrink arbitrary Arbitrary liftShrink liftArbitrary Arbitrary1 liftShrink2liftArbitrary2 Arbitrary2 coarbitrary CoArbitraryTest.QuickCheck.GeninfiniteListOfvectorOflistOf1listOfgrowingElementsshuffle sublistOfelements frequencyoneof suchThatMaybe suchThatMapsuchThatsamplesample'generatechoosescaleresizegetSizesizedvariantGenTest.QuickCheck.Exceptiondiscard:&:TestableCounterexampleproperty PropertyFromProperty PropertyOf MkProperty unPropertytypedCounterexample onProperty$fTestablePropertyOf$fTestablePropertyOf0 $fTestableGen$fTestableProperty$fTestableBool$fTestableDiscard$fTestable(->)$fFunctorPropertyOf$fEq:&:$fOrd:&: $fShow:&: $fRead:&:baseGHC.BaseFunctorfmapMaybe