úÎ;zF      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEportable experimentallibraries@haskell.org4F GHI !"#$%&JK'()*+LM,  !"#$%&'()*+,)*('+!"#&$%  ,   !"#$%&'()*+9non-portable (uses Control.Exception, Control.Concurrent) experimentallibraries@haskell.org,-./0123number of tests to run. 4!time limit for test, in seconds.  If zero, no time limit.  Note: only GHC supports time limits. 56N7Run 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 9: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) ,-./0123456789:78612345,0/.-:9,0/.--./01234523456789:portable experimentallibraries@haskell.org;<=>?;<=>?;<=>?;<=>?portable experimentallibraries@haskell.orgOP@QRASTBUVCWXDYZE[\@ABCDEEDCBA@@ABCDEportable deprecatedlibraries@haskell.org@ABCDEportable deprecatedlibraries@haskell.org;<=>?9non-portable (uses Control.Exception, Control.Concurrent) deprecatedlibraries@haskell.org,-./0123456789:portable deprecatedlibraries@haskell.org,  !"#$%&'()*+]       !"#$%&'()*+,-./01234567889:;<=>?@ABCDEFGHIJKLMNOPQRQSSTTUUVVWWXXYYZQuickCheck-1.1.0.0Test.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 isTotalOrderOrdGAMMAOrdBETAOrdALPHAGAMMABETAALPHAPropnothingresultquickverbosetestsdone OrdGAMMA_OrdBETA_ OrdALPHA_GAMMA_BETA_ALPHA_Poly