The testing-feat package
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 is a large scale example in the tar ball (testing the Template Haskell pretty printer).
Properties
| Versions | 0.1, 0.2, 0.3, 0.3.0.1, 0.4 |
|---|---|
| Dependencies | base (≥4.5 & ≤5), containers (0.*), data-memocombinators (≥0.4.2 & <0.5), mtl (≥1 & <3), QuickCheck (>2 & <3), template-haskell (≥2.4 & <2.8) |
| License | BSD3 |
| Copyright | Jonas Duregård |
| Author | Jonas Duregård |
| Maintainer | jonas.duregard@gmail.com |
| Category | Testing |
| Upload date | Wed Jun 6 22:58:08 UTC 2012 |
| Uploaded by | JonasDuregard |
| Built on | ghc-7.4 |
Modules
Downloads
- testing-feat-0.1.tar.gz (Cabal source package)
- package description (included in the package)