testing-feat: Functional enumeration for systematic and random testing

[ bsd3, library, testing ] [ Propose Tags ]

Feat (Functional Enumeration of Abstract Types) provides an enumeration as a function from natural numbers to values (similar to toEnum). This can be used both for SmallCheck-style systematic testing and QuickCheck style random testing, and hybrids of the two.

The enumerators are defined in a very boilerplate manner and there is a Template Haskell script for deriving the class instance for most types. Test.Feat contain a subset of the other modules that should be sufficient for most test usage. There are two (somewhat similar) large scale example in the tar ball: testing the Template Haskell pretty printer and testing haskell-src-exts.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1, 0.2, 0.3, 0.3.0.1, 0.4, 0.4.0.1, 0.4.0.2, 0.4.0.3, 1.0.0.0, 1.0.1.0, 1.1.0.0, 1.1.1.0, 1.1.1.1
Dependencies base (>=4.5 && <=5), containers (<1), data-memocombinators (>=0.4.2 && <0.5), mtl (>=1 && <3), QuickCheck (>2 && <3), template-haskell (>=2.4 && <2.8) [details]
License BSD-3-Clause
Copyright Jonas Duregård
Author Jonas Duregård
Maintainer jonas.duregard@gmail.com
Category Testing
Uploaded by JonasDuregard at 2012-06-11T20:04:46Z
Distributions LTSHaskell:1.1.1.1, NixOS:1.1.1.1, Stackage:1.1.1.1
Reverse Dependencies 4 direct, 33 indirect [details]
Downloads 19673 total (59 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]