Test.Framework.TestManager

Documentation

type TestID = String

type Assertion = IO ()

data Test

Instances

TestableHTF Test

data TestSuite

Instances

TestableHTF TestSuite

type Filter = FlatTest -> Bool

data FlatTest

Constructors

FlatTest

Fields

ft_sort :: TestSort

ft_id :: TestID

ft_loc :: Maybe Location

ft_runnable :: TestConfig -> Bool

ft_action :: Assertion

data TestSort

Constructors

UnitTest

QuickCheckTest

BlackBoxTest

BenchmarkTest

Instances

Eq TestSort

Read TestSort

Show TestSort

class TestableHTF t

Instances

TestableHTF TestSuite

TestableHTF Test

TestableHTF t => TestableHTF [t]

TestableHTF (IO a)

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

makeBenchmarkTest :: TestID -> Location -> (TestConfig -> Bool, Assertion) -> Test

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

makeBlackBoxTest :: TestID -> Assertion -> Test

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

makeAnonTestSuite :: [Test] -> TestSuite

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

testSuiteAsTest :: TestSuite -> Test

parseTestArgs :: [String] -> Either String TestOptions

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

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

runTestWithOptions :: TestableHTF t => TestOptions -> t -> IO ExitCode