The gencheck package

[ Tags: 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.


Versions 0.1, 0.1.1
Dependencies base (>=3 && <5), combinat (>=0.2), containers (>=, ieee754 (>=0.7), memoize (>=0.3), random (>, template-haskell (>=2), transformers (>=0.2) [details]
License BSD3
Author Gordon J. Uszkay, Jacques Carette
Category Testing
Home page
Source repository head: git clone
Uploaded Tue Jun 19 14:42:27 UTC 2012 by JacquesCarette
Distributions NixOS:0.1.1
Downloads 839 total (164 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-24 [all 7 reports]
Hackage Matrix CI


  • Test
    • Test.GenCheck
      • Base
        • Test.GenCheck.Base.Base
        • Test.GenCheck.Base.Datum
        • Test.GenCheck.Base.LabelledPartition
        • Test.GenCheck.Base.Verdict
      • Generator
        • Test.GenCheck.Generator.BaseEnum
        • Test.GenCheck.Generator.BaseGens
        • Test.GenCheck.Generator.EnumStrat
        • Test.GenCheck.Generator.Enumeration
        • Test.GenCheck.Generator.Generator
        • Test.GenCheck.Generator.StructureGens
        • Test.GenCheck.Generator.Substitution
      • System
        • Test.GenCheck.System.Result
        • Test.GenCheck.System.SimpleCheck
        • Test.GenCheck.System.TestSuite


Maintainer's Corner

For package maintainers and hackage trustees