Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module allows to use QuickCheck properties in tasty.
- testProperty :: Testable a => TestName -> a -> 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
newtype QuickCheckTests Source #
Number of test cases for QuickCheck to generate
newtype QuickCheckShowReplay Source #
If a test case fails unexpectedly, show the replay token
newtype QuickCheckMaxSize Source #
Size of the biggest test cases
newtype QuickCheckMaxRatio Source #
Maximum number of of discarded tests per successful test before giving up.
newtype QuickCheckVerbose Source #
Show the test cases that QuickCheck generates
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).