Safe Haskell | None |
---|
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.
- 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
- type TTest = Test
- qAssert :: Monad m => Bool -> PropertyM m ()
- type QState = State
- qTest :: QState -> (StdGen -> Int -> Prop) -> IO Result
- type SingleResult = Result
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
type SingleResult = ResultSource
Alias for Result
.