@hackage testing-feat0.2

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.