testing-feat

Functional Enumeration of Algebraic Types

Version on this page:	0.4.0.2@rev:1
LTS Haskell 20.23:	1.1.1.1
Stackage Nightly 2023-05-31:	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 jonas.duregard@gmail.com

This version can be pinned in stack with:testing-feat-0.4.0.2@sha256:0168dde1e9ac0e7a1f80a33c12a6c5d2b7c5e59e4dcd060ffb8d82f100c4dd3f,2020

Module documentation for 0.4.0.2

Test
- Test.Feat

Depends on 5 packages(full list with versions):

base, mtl, QuickCheck, tagshare, template-haskell

Used by 1 package in lts-3.22(full list with versions):

language-ecmascript

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.