QuickCheck 2 Documentation

repository·master·Indexed 21 days ago

A library for random testing of program properties that allows developers to verify code correctness by generating random inputs. Supports additional type instances via the quickcheck-instances package and provides a make-hugs script for Hugs-compatible versions.

Tokens: 120
Snippets: 0
Records: 3
Agent score: 24%

What's inside QuickCheck 2

Use quickcheck-instances for additional type support
master
If you need Arbitrary instances for types found in Haskell Platform packages, install the quickcheck-instances companion package. Note that this package introduces additional dependencies.
https://github.com/nick8325/quickcheck/blob/master/README
Install QuickCheck 2
master
To use QuickCheck 2 for random testing of program properties in your tests or REPL, add QuickCheck to your package dependencies.
https://github.com/nick8325/quickcheck/blob/master/README
Generate a Hugs-compatible version of QuickCheck
master
The make-hugs script can be used to create a version of QuickCheck compatible with Hugs. This script may also be useful for other non-GHC implementations.
https://github.com/nick8325/quickcheck/blob/master/README