HTF-0.7.1.0: The Haskell Test Framework

Test.Framework.TestManager

Documentation

type TestID = String Source

type Assertion = IO ()Source

data Test Source

Instances

TestableHTF Test

data TestSuite Source

Instances

TestableHTF TestSuite

type Filter = FlatTest -> Bool Source

data FlatTest Source

Constructors

FlatTest TestSort TestID (Maybe Location) Assertion

data TestSort Source

Constructors

UnitTest
QuickCheckTest
BlackBoxTest

Instances

Eq TestSort
Read TestSort
Show TestSort

class TestableHTF t Source

Instances

TestableHTF TestSuite
TestableHTF Test
TestableHTF t => TestableHTF [t]

makeQuickCheckTest :: TestID -> Location -> Assertion -> Test Source

makeUnitTest :: TestID -> Location -> IO a -> Test Source

makeBlackBoxTest :: TestID -> Assertion -> Test Source

makeTestSuite :: TestID -> [Test] -> TestSuite Source

makeAnonTestSuite :: [Test] -> TestSuite Source

addToTestSuite :: TestSuite -> [Test] -> TestSuite Source

testSuiteAsTest :: TestSuite -> Test Source

runTest :: TestableHTF t => t -> IO ExitCode Source

runTestWithArgs :: TestableHTF t => [String] -> t -> IO ExitCode Source

runTestWithFilter :: TestableHTF t => Filter -> t -> IO ExitCode Source