úÎœø  portable provisional$John Goerzen <jgoerzen@complete.org> Safe-Infered  portable provisional$John Goerzen <jgoerzen@complete.org> Safe-InferedSCompare 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> Safe-Infered@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 . quickcheck config label for the property quickcheck property          testpack-2.1.2Test.QuickCheck.ToolsTest.HUnit.ToolsTest.QuickCheck.Instances@=?@?= assertRaisesmapassertEqualqccheckrunVerbTestTextqctestqc2hurunVerboseTeststl$fCoArbitraryMap$fArbitraryMap