@hackage testing-feat0.1

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).