!fW      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None4HUVOg8quickcheck-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-counterexamplesSee .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-counterexampleswAdd a value to the counterexample. The value is not printed as part of the counterexample; if you want it to be, use  as well.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 0 in Test.QuickCheck. #"! $%&(',+*)-./0123456798;:>=<A@?DCBGFEKJIHNMLQPOTSRWVUZYX]\[`_^cbafedhgjimlkponsrqvutwxyz{|}~ #"! $%&(',+*)-./0123456798;:>=<A@?DCBGFEKJIHNMLQPOTSRWVUZYX]\[`_^cbafedhgjimlkponsrqvutwxyz{|}~66044 12312412512612718918:18;18<18=18>18?18@18A18A18B18C18D18E18F18G18H18I18J18K18L18M18N18O18P18Q18R18S18T18U18V1WX1WY1WZ1W[1W[1\]1\^1\_1\_1`a1`b1`c1`d1`e1`f1`g1`h1`i1`j1`k1`l1`m1`n1`n1op1oq1oq1or1os1os1ot1ou1ov1ow1ox1oy1oz1o{1o|1o|1o}1o~1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o1o11111111111111111111111111111111111111111111111111111111111111111111111      !"#$%&'()*+,-./0:quickcheck-with-counterexamples-1.2-1CJclK9dZP18RWAGdWlSEVTest.QuickCheck.CounterexamplesTest.QuickCheckpropertyForAllShrinkShow quickCheckquickCheckWithquickCheckResultquickCheckWithResult verboseCheckverboseCheckWithverboseCheckResultverboseCheckWithResultlabelledExampleslabelledExamplesWithlabelledExamplesResultlabelledExamplesWithResultpolyQuickCheckpolyVerboseCheckforAll forAllShrink forAllShowforAllShrinkShow forAllBlindforAllShrinkBlind shrinking==>====/= ioPropertyidempotentIOPropertyverboseverboseShrinkingonceagainwithin noShrinkingcounterexamplewhenFail whenFail' expectFailurelabelcollectclassifycovertabulate coverTables checkCoveragecheckCoverageWithmapSize&QuickCheck-2.13-KVtIwpwojcuAOqIb5qV4ZmTest.QuickCheck.AllverboseCheckAll quickCheckAll allPropertiesforAllProperties monomorphicTest.QuickCheck.TeststdArgs isSuccess 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 getSortedSorted SortedList getPositivePositive getNegativeNegative getNonZeroNonZerogetNonNegative NonNegativegetNonPositive NonPositivegetLargeLargegetSmallSmall getShrink2Shrink2Smart Shrinking shrinkState shrinkInit ShrinkStategetASCIIString ASCIIStringgetUnicodeString UnicodeStringgetPrintableStringPrintableStringTest.QuickCheck.Arbitrary infiniteList orderedListvectorcoarbitraryEnumcoarbitraryShowcoarbitraryRealcoarbitraryIntegral><genericCoarbitrary shrinkDecimalshrinkRealFracshrinkIntegral 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 $fTestable->$fTestablePropertyOf0 $fTestableGen$fTestableProperty$fTestableBool$fTestableMaybe $fTestable()$fTestableDiscard$fFunctorPropertyOf$fEq:&:$fOrd:&: $fShow:&: $fRead:&:baseGHC.BaseFunctorfmap GHC.MaybeMaybe