$k:1non-portable (uses Control.Concurrent, GHC.Conc ) experimentalshelarcy <shelarcy@gmail.com> Trustworthy$Test case for parallel batch driver )Maximum number of successful test values A name or description for test ARun a list of QuickCheck properties in parallel chunks, and test  to a depth of d5 (first argument). Parallel Chunks is Haskell thread E that can run truly simultaneously (on separate physical processors)  at any given time. Compile your application with  '-threaded' and run with the SMP runtime's  '-N4'D (or however many OS threads you want to donate), for best results.  ! import Test.QuickCheck.Parallel   pRun 1000 ! [ ("sort1", pDet prop_sort1) # , ("sort2", pDet prop_sort2) ] with SMP runtime's '-N[n]' flag will run n threads over the property  list, to depth 1000. (see  for more details.)  Variant of 2. Run a list of QuickCheck properties in parallel  chunks, using all Processors.  Variant of 2. Run a list of QuickCheck properties in parallel  chunks, using n1 Haskell threads (first argument), and test to a  depth of d2 (second argument). Compile your application with   '-threaded' and run with the SMP runtime's '-N4' (or however many OS 0 threads you want to donate), for best results.  ! import Test.QuickCheck.Parallel  # do n <- getArgs >>= readIO . head 6 pRunWithNum n 1000 [ ("sort1", pDet prop_sort1) ]  Will run n0 threads over the property list, to depth 1000. If you want to specify n by using '-N[n]' or  ,  use  instead of this function. ;Wrap a property, and run it on a deterministic set of data ?Wrap a property, and run it on a non-deterministic set of data    !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~     !"#$$%&'()*+,-./01232425262728292:2;2<2=2>2?2@2A2B2C2D2E2F2G2H2I2J2K2LMNMNMOMOMPMQMRMSMTMUMVMWMWMXMYMYMZM[M[M\M\M]M]M^M^M_M`Mabcbdbebfbgbhbibjbkblbmbnbobpbqbrbsbtbubvbwxyxzx{x|x}x~xxxxxxxxxxxpqc-0.8Test.QuickCheck.ParallelTestDepthNamepRunpRunAllProcessors pRunWithNumpDetpNonbase GHC.Conc.SyncgetNumCapabilitiessetNumCapabilitiesModeNonDetDet pRunInternalmycheckmytestsQuickCheck-2.6Test.QuickCheck.TestverboseCheckWithResultverboseCheckResultverboseCheckWith verboseCheckquickCheckWithResultquickCheckResultquickCheckWith quickCheckstdArgschattymaxSizemaxDiscardRatio maxSuccessreplayArgsoutputlabelsnumTestsSuccessGaveUp interruptedreasonusedSizeusedSeed numShrinksFailureNoExpectedFailureResultTest.QuickCheck.Propertydisjoin.||.conjoin.&&..&. forAllShrinkforAllwithin==>coverclassifycollectlabelonce expectFailureverbose whenFail'whenFail printTestCase shrinkingmapSizeProperty exhaustivepropertyTestablePropTest.QuickCheck.ModifiersBlindFixed getOrderedOrdered OrderedList getNonEmptyNonEmpty NonEmptyList getPositivePositive getNonZeroNonZerogetNonNegative NonNegativeShrink2Smart Shrinking shrinkState shrinkInit ShrinkStateTest.QuickCheck.Arbitrary orderedListvectorcoarbitraryEnumcoarbitraryShowcoarbitraryRealcoarbitraryIntegral><shrinkRealFracshrinkIntegral shrinkNothingarbitrarySizedBoundedIntegralarbitraryBoundedEnumarbitraryBoundedRandomarbitraryBoundedIntegralarbitrarySizedFractionalarbitrarySizedIntegralshrink arbitrary Arbitrary coarbitrary CoArbitraryTest.QuickCheck.GenvectorOflistOf1listOfgrowingElementselements frequencyoneof suchThatMaybesuchThatsamplesample'promotechooseresizesizedvariantGenTest.QuickCheck.TextrangesMkStrStrTest.QuickCheck.Exceptiondiscard