- class (Show i, Show r) => TestResultlike i r | r -> i where
- testSucceeded :: r -> Bool
- class TestResultlike i r => Testlike i r t | t -> i r, r -> i where
- runTest :: CompleteTestOptions -> t -> IO (i :~> r, IO ())
- testTypeName :: t -> TestTypeName
- type TestName = String
- type TestTypeName = String
- data Test
- = forall i r t . Testlike i r t => Test TestName t
- | TestGroup TestName [Test]
- | PlusTestOptions TestOptions Test
- testGroup :: TestName -> [Test] -> Test
- plusTestOptions :: TestOptions -> Test -> Test
- module Test.Framework.Options
- module Test.Framework.Runners.Console
- module Test.Framework.Runners.Options
- module Test.Framework.Seed
Documentation
class (Show i, Show r) => TestResultlike i r | r -> i whereSource
Something like the result of a test: works in concert with Testlike
testSucceeded :: r -> BoolSource
class TestResultlike i r => Testlike i r t | t -> i r, r -> i whereSource
Something test-like in its behaviour
runTest :: CompleteTestOptions -> t -> IO (i :~> r, IO ())Source
testTypeName :: t -> TestTypeNameSource
type TestTypeName = StringSource
The name of a type of test, such as Properties or Test Cases
Main test data type: build up a list of tests to be run with this.
forall i r t . Testlike i r t => Test TestName t | |
TestGroup TestName [Test] | |
PlusTestOptions TestOptions Test |
plusTestOptions :: TestOptions -> Test -> TestSource
module Test.Framework.Options
module Test.Framework.Seed