A simple driver that runs the test in the IO monad and prints the results.
Modulesmallcheck-1.2.2Haskell2010
Test.SmallCheck.Drivers
You should only need this module if you wish to create your own way to run SmallCheck tests
Synopsis
- value smallCheck
- value smallCheckM
- value smallCheckWithHook
- method test
- value ppFailure
- data PropertyFailure
- data PropertySuccess
- type Argument
- type Reason
- data TestQuality
- Packagesmallcheck-1.2.2
- Exports10
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceDrivers.hs
Use this if:
You need to run a test in a monad different from IO
You need to analyse the results rather than just print them
Like smallCheckM, but allows to specify a monadic hook that gets executed after each test is run.
Useful for applications that want to report progress information to the user.
Instances3Eq, Show, Pretty
Eq PropertyFailureDefined in smallcheck-1.2.2 · Test.SmallCheck.Property.ResultShow PropertyFailureDefined in smallcheck-1.2.2 · Test.SmallCheck.Property.ResultPretty PropertyFailureDefined in smallcheck-1.2.2 · Test.SmallCheck.Property.Result
Instances3Eq, Show, Pretty
Eq PropertySuccessDefined in smallcheck-1.2.2 · Test.SmallCheck.Property.ResultShow PropertySuccessDefined in smallcheck-1.2.2 · Test.SmallCheck.Property.ResultPretty PropertySuccessDefined in smallcheck-1.2.2 · Test.SmallCheck.Property.Result
An explanation for the test outcome.
Instances4Enum, Eq, Ord, Show
Enum TestQualityDefined in smallcheck-1.2.2 · Test.SmallCheck.PropertyEq TestQualityDefined in smallcheck-1.2.2 · Test.SmallCheck.PropertyOrd TestQualityDefined in smallcheck-1.2.2 · Test.SmallCheck.PropertyShow TestQualityDefined in smallcheck-1.2.2 · Test.SmallCheck.Property