gencheck: A testing framework inspired by QuickCheck and SmallCheck

[ bsd3, library, testing ] [ Propose Tags ]

This framework provides functionality for testing Haskell functions against properties, similar to QuickCheck, but allowing different test data generation strategies for different structures, and even within the same structure using composition strategies. Reporting, test case scheduling and data generation modules can be assembled to customize the test program based on the situation.

Test data generation is based on combinatorial theory and uses explicit enumeration of regular polynomial types, combined with selection strategies to build data generators. Generators can be composed or combined in parallel to create composite strategies for data sampling.


Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 0.1, 0.1.1
Dependencies base (>=3 && <4.6), combinat (>=0.2 && <0.2.5), containers (>=, ieee754 (>=0.7), memoize (>=0.3), random (>, template-haskell (>=2), transformers (>=0.2) [details]
License BSD-3-Clause
Author Gordon J. Uszkay, Jacques Carette
Revised Revision 1 made by Bodigrim at 2022-09-04T18:10:04Z
Category Testing
Home page
Source repo head: git clone
Uploaded by JacquesCarette at 2012-06-19T17:31:11Z
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1903 total (8 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]