A simple driver that runs the test in the IO monad and prints the results.
Modulesmallcheck-1.2.1.1Haskell2010
Test.SmallCheck.Drivers
You should only need this module if you wish to create your own way to run SmallCheck tests
- 5 types
- 4 values
- Packagesmallcheck-1.2.1.1
- 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.1.1 · Test.SmallCheck.Property.ResultShow PropertyFailureDefined in smallcheck-1.2.1.1 · Test.SmallCheck.Property.ResultPretty PropertyFailureDefined in smallcheck-1.2.1.1 · Test.SmallCheck.Property.Result
Instances3Eq, Show, Pretty
Eq PropertySuccessDefined in smallcheck-1.2.1.1 · Test.SmallCheck.Property.ResultShow PropertySuccessDefined in smallcheck-1.2.1.1 · Test.SmallCheck.Property.ResultPretty PropertySuccessDefined in smallcheck-1.2.1.1 · Test.SmallCheck.Property.Result
An explanation for the test outcome.
Instances4Enum, Eq, Ord, Show
Enum TestQualityDefined in smallcheck-1.2.1.1 · Test.SmallCheck.PropertyEq TestQualityDefined in smallcheck-1.2.1.1 · Test.SmallCheck.PropertyOrd TestQualityDefined in smallcheck-1.2.1.1 · Test.SmallCheck.PropertyShow TestQualityDefined in smallcheck-1.2.1.1 · Test.SmallCheck.Property