testing-feat: Functional Enumeration of Abstract Types
Feat (Functional Enumeration of Abstract Types) provides
enumerations as functions from natural numbers to values
(similar to toEnum but for any algebraic data type). This
can be used for SmallCheck-style systematic testing,
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 some small and large example in the tar ball. Builds with haskell-platform-2012-2.0.0 and with ghc-7.6.1.
Modules
[Index]
Downloads
- testing-feat-0.4.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
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), mtl (>=1 && <3), QuickCheck (>2 && <3), tagshare (<0.1), template-haskell (>=2.5 && <2.9) [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-12-11T10:55:13Z |
| Distributions | LTSHaskell:1.1.1.1, NixOS:1.1.1.1, Stackage:1.1.1.1 |
| Reverse Dependencies | 4 direct, 33 indirect [details] |
| Downloads | 20221 total (16 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] |