.$     Safe9;[ Tweak how tests are run, with .gNumber of seconds before each test times out. If you want to do this on a per-test basis, try &Arguments to use with QuickCheck testsA series of tests, to run with Something which can be testedgNote both Bools and Properties can be tested, but only Properties show the values that weren't equal^For both unit tests and property tests, if you want to see the outputs of failed tests use 0. If you just want to test for equality, use .$For example, the outputs of running:  microspec $ do describe "baddies" $ do it "isn't 1 ==" $ 0 == (1 :: Int) it "isn't 1 ===" $ 0 === (1 :: Int) it "isn't always 1 ==" $ x -> x == (1 :: Int) it "isn't always 1 ===" $ x -> x === (1 :: Int) are:  isn't 1 == - *** Failed! Falsifiable (after 1 test) isn't 1 === - *** Failed! Falsifiable (after 1 test): | 0 /= 1 isn't always 1 == - *** Failed! Falsifiable (after 1 test): | 0 isn't always 1 === - *** Failed! Falsifiable (after 1 test): | 0 | 0 /= 1 Describe a test, e.g.: >describe "reverse 'foo' is 'oof'" $ reverse "foo" === "oof"/Run your spec. Put this at the top level, e.g.: =main = microspec $ do describe "plus 1" $ 3 + 1 == 4 with  #Describe a test as unwritten, e.g.: $describe "meaning of life" $ pending  An alias for . Usually used inside a  block:  describe "replicate" $ do it "doubles with 2" $ replicate 2 'x' === "xx" it "creates a list of the right size" $ \(Positive n) -> length (replicate n 'x') == n 7Make a test case from a QuickCheck function. Alias for .<Note that you don't need to use this to create a test, e.g.: Mdescribe "reverse preserves length" $ \l -> length (reverse l) == length l ^Default arguments. Calling "microspec" is the same as calling "microspecWith defaultMArgs". )Hspec compatibility. Equivalent to using $ !"# $% &'( )*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~    !"# $% &'(       !"#$%&&'()*+,-.-/-0-1-2-3-4-5-6-7-8-9-:-;-<-=>?>@>A>B>C>DEFEGEHEIEJEKELEMENEOEOEPEQERESETEUEVEWEXEYEZE[E\E]E^E_E`EaEbEcEdefghijklmnopqrstuvwxyz{|}~(microspec-0.1.0.0-8lNJZH2kFZy7uE4anBsJZ4Test.MicrospecTest.QuickCheck.PropertywithinMArgs_mArgs_timeoutSecs _mArgs_qcArgs Microspec MTestabledescribe microspec microspecWithpendingitprop defaultMArgsshouldBe$fMonadMicrospec$fApplicativeMicrospec$fFunctorMicrospec$fShowTestTree$fMTestable(->)$fMTestableMicrospec$fMTestablePending$fMTestableTestTree$fMTestableBool$fMTestableProperty $fShowMArgs $fReadMArgs'QuickCheck-2.9.1-ADKJfTsJVEWJp7VC229wVi===ghc-prim GHC.Classes==propertyTestTree TestBranchTestLeafPending runTestWith addTestTreebuildTestTreesinRedinGreeninYellowTest.QuickCheck.MonadicrunSTGen monadicST monadicIOmonadic'monadicmonitorforAllMwppickrunpreassertstop PropertyM MkPropertyM unPropertyMTest.QuickCheck.AllverboseCheckAll quickCheckAllforAllProperties monomorphicpolyVerboseCheckpolyQuickCheckTest.QuickCheck.TestverboseCheckWithResultverboseCheckResultverboseCheckWith verboseCheckquickCheckWithResultquickCheckResultquickCheckWith quickCheckstdArgsArgsreplay maxSuccessmaxDiscardRatiomaxSizechattyResultSuccessGaveUpFailureNoExpectedFailureInsufficientCoveragelabelsreason theExceptionnumTestsoutput numShrinksnumShrinkTriesnumShrinkFinalusedSeedusedSizedisjoin.||.conjoin.&&..&. forAllShrinkforAll==>coverclassifycollectlabelagainonce expectFailureverbose whenFail'whenFail printTestCasecounterexample noShrinking shrinkingmapSize ioPropertyPropertyTestableDiscardTest.QuickCheck.ModifiersBlindgetBlindFixedgetFixed OrderedListOrdered getOrdered NonEmptyListNonEmpty getNonEmptyPositive getPositiveNonZero getNonZero NonNegativegetNonNegativeLargegetLargeSmallgetSmallShrink2 getShrink2Smart Shrinking ShrinkState shrinkInit shrinkStateTest.QuickCheck.Arbitrary infiniteList orderedListvectorcoarbitraryEnumcoarbitraryShowcoarbitraryRealcoarbitraryIntegral><genericCoarbitraryshrinkRealFracshrinkRealFracToIntegershrinkIntegral shrinkNothingarbitrarySizedBoundedIntegralarbitraryBoundedEnumarbitraryBoundedRandomarbitraryBoundedIntegralarbitrarySizedFractionalarbitrarySizedNaturalarbitrarySizedIntegral shrinkListsubtermsrecursivelyShrink genericShrink Arbitrary arbitraryshrink CoArbitrary coarbitraryTest.QuickCheck.GeninfiniteListOfvectorOflistOf1listOfgrowingElementsshuffle sublistOfelements frequencyoneof suchThatMaybesuchThatsamplesample'generatechoosescaleresizesizedvariantGenTest.QuickCheck.Exceptiondiscard