úÎ"ÕµF      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEportable experimentallibraries@haskell.org Safe-InferredIF GHIJ !"#$%&KL'()*+MNOPQRSTUVWXYZ[\]^_`ab,  !"#$%&'()*+,)*('+!"#&$%  ;F  GHIJ !"#$%&KL'()*+MNOPQRSTUVWXYZ[\]^_`ab9non-portable (uses Control.Exception, Control.Concurrent) experimentallibraries@haskell.orgNone3number of tests to run. 4!time limit for test, in seconds.  If zero, no time limit.  Note: only GHC supports time limits. 7Run the test. / Here we use the same random number each time, ! so we get reproducable results! 8=Prints a one line summary of various tests with common theme :1Look out behind you! These can be misused badly. E However, in the context of a batch tester, can also be very useful. (Examples of use of bottom and isBottom:  {- test for abort -} ! prop_head2 = isBottom (head [])  {- test for strictness -} % prop_head3 = isBottom (head bottom) ,-./0123456cd789:,-./0123456789:78612345,0/.-:9 ,0/.-123456cd789:portable experimentallibraries@haskell.org Safe-Inferred;<=>?;<=>?;<=>?;<=>?portable experimentallibraries@haskell.org Safe-Inferredef@ghAijBklCmnDopEqrstuvw@ABCDEEDCBA@ef@ghAijBklCmnDopEqrstuvwportable deprecatedlibraries@haskell.org Safe-Inferred@ABCDEportable deprecatedlibraries@haskell.org Safe-Inferred;<=>?9non-portable (uses Control.Exception, Control.Concurrent) deprecatedlibraries@haskell.orgNone,-./0123456789:portable deprecatedlibraries@haskell.org Safe-Inferred,  !"#$%&'()*+x       !"#$%&'()*+,-./01234567889:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefgRhiijjkkllmmnnoopqrstuQuickCheck-1.2.0.1Test.QuickCheckTest.QuickCheck.BatchTest.QuickCheck.UtilsTest.QuickCheck.PolyDebug.QuickCheck.PolyDebug.QuickCheck.UtilsDebug.QuickCheck.BatchDebug.QuickCheckConfig configMaxTest configMaxFail configSize configEveryTestablepropertyPropertyResultokstamp arguments Arbitrary arbitrary coarbitraryGensizedresizerandpromotevariantgeneratechooseelementsvectoroneof frequencytwothreefourevaluateforAll==>labelclassifytrivialcollect defaultConfigtest quickCheck verboseCheckcheck TestResult TestAborted TestFailed TestExaustedTestOk TestOptions no_of_testslength_of_tests debug_testsdefOptrunrunTestsbottomisBottomisAssociativeBy isAssociativeisCommutableBy isCommutable isTotalOrderOrdGAMMAOrdBETAOrdALPHAGAMMABETAALPHAPropfractionnothingresultquickverbosetestsdone$fTestable(->)$fTestableProperty$fTestableResult$fTestableBool $fTestable()$fArbitrary(->) $fArbitrary[]$fArbitraryEither$fArbitraryMaybe$fArbitrary(,,,)$fArbitrary(,,)$fArbitrary(,)$fArbitraryDouble$fArbitraryFloat$fArbitraryInteger$fArbitraryInt$fArbitraryBool $fArbitrary() $fMonadGen $fFunctorGenbatch OrdGAMMA_OrdBETA_ OrdALPHA_GAMMA_BETA_ALPHA_Poly prop_OrdPOLY $fOrdPoly$fEqPoly$fArbitraryPoly $fShowPoly