| Portability | portable |
|---|---|
| Stability | provisional |
| Maintainer | John Goerzen <jgoerzen@complete.org> |
| Safe Haskell | None |
Test.HUnit.Tools
Description
Utilities for HUnit unit testing.
Written by John Goerzen, jgoerzen@complete.org
- assertRaises :: (Show a, Exception e, Show e, Eq e) => String -> e -> IO a -> IO ()
- mapassertEqual :: (Show b, Eq b) => String -> (a -> b) -> [(a, b)] -> [Test]
- runVerbTestText :: PutText st -> Test -> IO (Counts, st)
- runVerboseTests :: Test -> IO (Counts, Int)
- qccheck :: Testable a => Args -> String -> a -> Test
- qctest :: Testable a => String -> a -> Test
- qc2hu :: Testable a => Int -> String -> a -> Test
- tl :: String -> [Test] -> Test
Documentation
assertRaises :: (Show a, Exception e, Show e, Eq e) => String -> e -> IO a -> IO ()
Asserts that a specific exception is raised by a given action.
mapassertEqual :: (Show b, Eq b) => String -> (a -> b) -> [(a, b)] -> [Test]
runVerbTestText :: PutText st -> Test -> IO (Counts, st)
Like runTestText, but with more verbose output.
runVerboseTests :: Test -> IO (Counts, Int)
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 ()
Arguments
| :: Testable a | |
| => Args | quickcheck config |
| -> String | label for the property |
| -> a | quickcheck property |
| -> Test |
qccheck turns the quickcheck test into an hunit test
qc2hu :: Testable a => Int -> String -> a -> Test
Convert 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
allt = [q "Int -> Integer" prop_int_to_integer,
q "Integer -> Int (safe bounds)" prop_integer_to_int_pass]
tl :: String -> [Test] -> Test
Label the tests list. See example under runVerboseTests.