testing-feat

Functional Enumeration of Algebraic Types

Version on this page:0.4.0.2@rev:1
LTS Haskell 23.1:1.1.1.1
Stackage Nightly 2024-12-26:1.1.1.1
Latest on Hackage:1.1.1.1

See all snapshots testing-feat appears in

BSD-3-Clause licensed by Jonas Duregård
Maintained by [email protected]
This version can be pinned in stack with:testing-feat-0.4.0.2@sha256:0168dde1e9ac0e7a1f80a33c12a6c5d2b7c5e59e4dcd060ffb8d82f100c4dd3f,2020
Used by 1 package in nightly-2015-10-30(full list with versions):

Feat (Functional Enumeration of Algebraic 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.