| 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
- newtype QuickCheckTests = QuickCheckTests Int
- newtype QuickCheckReplay = QuickCheckReplay (Maybe (QCGen, Int))
- newtype QuickCheckShowReplay = QuickCheckShowReplay Bool
- newtype QuickCheckMaxSize = QuickCheckMaxSize Int
- newtype QuickCheckMaxRatio = QuickCheckMaxRatio Int
- newtype QuickCheckVerbose = QuickCheckVerbose Bool
- module Test.QuickCheck
- newtype QC = QC Property
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
Constructors
| QuickCheckTests Int |
newtype QuickCheckReplay Source
Replay a previous test using a replay token
Constructors
| QuickCheckReplay (Maybe (QCGen, Int)) |
Instances
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
This is exposed for testing purposes and not considered as a part of the public API. You probably shouldn't need it.