Test.Util.Framework

Test.Util.Framework is a super-module that re-exports other modules pertaining to TDD, so that they can be imported under a single module.

HUnit's Test type is renamed to HTest, and test-framework's to TTest. The same renaming scheme, with the addition that Q is prepended for QuickCheck, has been applied to the following names:

• Test
• assert
• State
• test

Result is renamed to SingleResult; reason in this module cannot be renamed, so it is unfortunately not exported.

Unfortunately, Haskell's design makes it inconvenient to rename classes. In this module, Testable is not re-exported from any module.

QuickCheck-2.6's new Test.QuickCheck.Test.interrupted is not exported under a name that does not conflict with Test.QuickCheck.Property.interrupted, from either modules (Test.QuickCheck.Test and Test.QuickCheck), since its existence would depend on the version of QuickCheck.

Documentation

module Test.HUnit

module Test.QuickCheck

module Test.QuickCheck.All

module Test.QuickCheck.Arbitrary

module Test.QuickCheck.Function

module Test.QuickCheck.Gen

module Test.QuickCheck.Modifiers

module Test.QuickCheck.Monadic

module Test.QuickCheck.Poly

module Test.QuickCheck.Property

module Test.QuickCheck.State

module Test.QuickCheck.Test

module Test.QuickCheck.Text

module Test.Framework

module Test.Framework.Providers.HUnit

module Test.Framework.Providers.QuickCheck2

type HTest = Test

Alias for Test.

type TTest = Test

Alias for Test.

qAssert :: Monad m => Bool -> PropertyM m ()

Alias for assert.

type QState = State

Alias for State.

qTest :: QState -> (StdGen -> Int -> Prop) -> IO Result

Alias for test.

type SingleResult = Result

Alias for Result.