Test.HUnit.Tools

Utilities for HUnit unit testing.

Written by John Goerzen, [e-mail]

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 ()

qccheck

Arguments

:: Testable a

=> Args

quickcheck config

-> String

label for the property

-> a

quickcheck property

-> Test

qccheck turns the quickcheck test into an hunit test

qctest :: Testable a => String -> a -> Test

qctest is equivalent to 'qccheck stdArgs'

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.