Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- type Spec = SpecWith ()
- type SpecWith a = SpecM a ()
- type SpecM a b = TestDefM '[] a b
- type TestDef a b = TestDefM a b ()
- newtype TestDefM a b c = TestDefM {
- unTestDefM :: RWST TestRunSettings (TestForest a b) () IO c
- execTestDefM :: Settings -> TestDefM a b c -> IO (TestForest a b)
- runTestDefM :: Settings -> TestDefM a b c -> IO (c, TestForest a b)
- toTestRunSettings :: Settings -> TestRunSettings
- filterTestForest :: Maybe Text -> SpecDefForest a b c -> SpecDefForest a b c
- randomiseTestForest :: MonadRandom m => SpecDefForest a b c -> m (SpecDefForest a b c)
Documentation
newtype TestDefM a b c Source #
The test definition monad
This type has three parameters:
a
: The type of the result ofaroundAll
b
: The type of the result ofaround
c
: The result
In practice, all of these three parameters should be ()
at the top level.
TestDefM | |
|
Instances
execTestDefM :: Settings -> TestDefM a b c -> IO (TestForest a b) Source #
runTestDefM :: Settings -> TestDefM a b c -> IO (c, TestForest a b) Source #
filterTestForest :: Maybe Text -> SpecDefForest a b c -> SpecDefForest a b c Source #
randomiseTestForest :: MonadRandom m => SpecDefForest a b c -> m (SpecDefForest a b c) Source #