testpack-1.0.2: Test Utililty Pack for HUnit and QuickCheckContentsIndex
Test.HUnit.Tools
Portabilityportable
Stabilityprovisional
MaintainerJohn Goerzen <jgoerzen@complete.org>
Description

Utilities for HUnit unit testing.

Written by John Goerzen, jgoerzen@complete.org

Synopsis
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 => Config -> String -> a -> Test
qctest :: Testable a => String -> a -> Test
qc2hu :: Testable a => Int -> String -> a -> Test
qc2huVerbose :: 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 ()
qccheck
:: Testable a
=> Configquickcheck config
-> Stringlabel for the property
-> aquickcheck property
-> Test
qccheck turns the quickcheck test into an hunit test
qctest :: Testable a => String -> a -> Test
qctest is equivalent to 'qccheck defaultConfig'
qc2hu :: Testable a => Int -> String -> a -> Test

Convert QuickCheck tests to HUnit, with a configurable maximum test count, and running counter on the screen for long-running tests. 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]
qc2huVerbose :: Testable a => Int -> String -> a -> Test
Like qc2hu, but show the test itself for each one.
tl :: String -> [Test] -> Test
Label the tests list. See example under runVerboseTests.
Produced by Haddock version 2.5.0