úÎ*ó     (c) Boris Sukholitko 2012BSD3boriss@gmail.com experimentalNone357C0Test.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.& !"#$%& '()*    !"#$%& '()*+      !"#$%&'()*+,-./01234tests_Jj3BpeTip4u6NMuOM1aptY Test.Simple TestSimpleTLikeableisLike runTestSimpletestSimpleMainokisntislikeunlikeisRightdiagplanlocqcTestSimpleWithqcTestSimpleMaindiagenghc-prim GHC.TypesTrueIObase Data.EitherEitherQuick_HOJFK5fy35oBYApqYEqoWWTest.QuickCheck.PropertyTestableTest.QuickCheck.TestquickCheckResultMkTSTunTSTTSStateTSS tsCountertsFailed tsPlannedtsLoctsOutputTSOutputStdOutStdErr emptyStatefinishTSshowLoc>>?diagValsliftLoc$fTestableTestSimpleT$fTestableTestSimpleT0$fLikeable[][]