úÎ&‡     (c) Boris Sukholitko 2012BSD3boriss@gmail.com experimentalNone9;<=I0Test.Simple is implemented as monad transformer. Is used in ,   tests.Returns  if a is like bRuns O transformer. Returns whether the tests where successful and resulting output.Runs  transformer in C. Outputs results in TAP format. Exits with error on test failure.Is Bool ok?Are values different?Are values equal?Is a like b? Is a unlike b? Is  right? Outputs diagnostics message. wSets expected number of tests. Running more or less tests is considered failure. Note, that plans are composable, e.g: +(plan 1 >> ok True) >> (plan 1 >> ok True) will expect 2 tests. —Records current location to output in case of failures. Necessary caveat: failing later without updating location produces the last location recorded. Run some  monad through  QuickCheck& function. Exit with failure on error. Run some  monad through  QuickCheck-. Exit with failure on error. Equivalent to   Generates and logs (through  1) arbitrary value. Also outputs current location.&!"#$%&'()*+,-./01 2   !"#$%&'()*+,-./01 23      !"#$%&'%()*+,-./0123456789:;<(test-simple-0.1.9-G5hl51TuxOs9GdPGqXXWPZ Test.Simple TestSimpleTLikeableisLike runTestSimpletestSimpleMainokisntislikeunlikeisRightdiagplanlocqcTestSimpleWithqcTestSimpleMaindiagen$fTestableTestSimpleT$fTestableTestSimpleT0$fLikeable[][]$fFunctorTestSimpleT$fMonadTransTestSimpleT$fMonadTestSimpleT$fMonadPlusTestSimpleT$fMonadStateTestSimpleT$fMonadIOTestSimpleT$fAlternativeTestSimpleT$fApplicativeTestSimpleTghc-prim GHC.TypesTrueIObase Data.EitherEither'QuickCheck-2.9.2-AzbjWrJo3WFD60ZxKurQ3sTest.QuickCheck.PropertyTestableTest.QuickCheck.TestquickCheckResultMkTSTunTSTTSStateTSS tsCountertsFailed tsPlannedtsLoctsOutputTSOutputStdOutStdErr emptyStatefinishTSshowLoc>>?diagValsliftLoc