úÎ(j  portable provisional$John Goerzen <jgoerzen@complete.org> Safe-Inferred  portable provisional$John Goerzen <jgoerzen@complete.org> Safe-InferredSCompare two values. If same, the test passes. If different, the result indicates ?what was expected and what was received as part of the error. Like ', but with args in a different order. portable provisional$John Goerzen <jgoerzen@complete.org>None@Asserts that a specific exception is raised by a given action. 5qccheck turns the quickcheck test into an hunit test Like  runTestText!, but with more verbose output. qctest is equivalent to 'qccheck stdArgs' KConvert QuickCheck tests to HUnit, with a configurable maximum test count. Often used like this: -q :: QC.Testable a => String -> a -> HU.Test q = qc2hu 250  0allt = [q "Int -> Integer" prop_int_to_integer, C q "Integer -> Int (safe bounds)" prop_integer_to_int_pass] Run verbose tests. Example: test1 = TestCase ("x" @=? "x")  %alltests = [TestLabel "test1" test1, ' tl "TestNum" TestNum.allt, ' tl "TestMap" TestMap.allt, ) tl "TestTime" TestTime.allt]  .main = do runVerboseTests (TestList alltests)  return () )Label the tests list. See example under . ZTests a property, using test arguments, produces a test result, and prints the results to  . quickcheck config label for the property quickcheck property          testpack-2.1.2.2Test.QuickCheck.ToolsTest.HUnit.ToolsTest.QuickCheck.Instances@=?@?= assertRaisesmapassertEqualqccheckrunVerbTestTextqctestqc2hurunVerboseTeststl$fCoArbitraryMap$fArbitraryMaplocalquickCheckWithResultbaseGHC.IO.Handle.FDstdout