| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Tasty.QuickCheck
Contents
Description
This module allows to use QuickCheck properties in tasty.
- testProperty :: Testable a => TestName -> a -> TestTree
- testProperties :: TestName -> [(String, Property)] -> TestTree
- newtype QuickCheckTests = QuickCheckTests Int
- newtype QuickCheckReplay = QuickCheckReplay (Maybe Int)
- newtype QuickCheckShowReplay = QuickCheckShowReplay Bool
- newtype QuickCheckMaxSize = QuickCheckMaxSize Int
- newtype QuickCheckMaxRatio = QuickCheckMaxRatio Int
- newtype QuickCheckVerbose = QuickCheckVerbose Bool
- module Test.QuickCheck
- newtype QC = QC Property
- optionSetToArgs :: OptionSet -> IO (Int, Args)
Documentation
testProperty :: Testable a => TestName -> a -> TestTree Source #
Create a Test for a QuickCheck Testable property
testProperties :: TestName -> [(String, Property)] -> TestTree Source #
Create a test from a list of QuickCheck properties. To be used
with allProperties. E.g.
tests :: TestTree tests = testProperties "Foo" $allProperties
newtype QuickCheckTests Source #
Number of test cases for QuickCheck to generate
Constructors
| QuickCheckTests Int |
newtype QuickCheckShowReplay Source #
If a test case fails unexpectedly, show the replay token
Constructors
| QuickCheckShowReplay Bool |
Instances
newtype QuickCheckMaxRatio Source #
Maximum number of of discarded tests per successful test before giving up.
Constructors
| QuickCheckMaxRatio Int |
newtype QuickCheckVerbose Source #
Show the test cases that QuickCheck generates
Constructors
| QuickCheckVerbose Bool |
Instances
module Test.QuickCheck
Internal
If you are building a test suite, you don't need these functions.
They may be used by other tasty add-on packages (such as tasty-hspec).