The QuickCheck package

[Tags: bsd3, library]

A library for testing Haskell programs automatically. The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases. Specifications are expressed in Haskell, using combinators defined in the QuickCheck library. QuickCheck provides combinators to define properties, observe the distribution of test data, and define test data generators.


Properties

Versions1.0, 1.1.0.0, 1.2.0.0, 1.2.0.1, 2.1, 2.1.0.1, 2.1.0.2, 2.1.0.3, 2.1.1, 2.1.1.1, 2.1.2, 2.2, 2.3, 2.3.0.1, 2.3.0.2, 2.4, 2.4.0.1, 2.4.1, 2.4.1.1, 2.4.2, 2.5, 2.5.1, 2.5.1.1, 2.6, 2.7, 2.7.1, 2.7.2, 2.7.3
Dependenciesbase
LicenseBSD3
AuthorKoen Classen and John Hughes
Maintainerlibraries@haskell.org
CategoryTesting
Home pagehttp://www.math.chalmers.se/~rjmh/QuickCheck/
Upload dateThu Nov 2 14:21:18 UTC 2006
Uploaded byRossPaterson
DistributionsDebian:2.6, Fedora:2.6, FreeBSD:2.6, NixOS:2.7.3
Downloads51325 total (13879 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees