The testing-feat package

[Tags: bsd3, library]

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


Properties

Versions0.1, 0.2, 0.3, 0.3.0.1, 0.4, 0.4.0.1, 0.4.0.2
Dependenciesbase (>=4.5 && <=5), mtl (>=1 && <3), QuickCheck (>2 && <3), tagshare (<0.1), template-haskell (>=2.5 && <2.9)
LicenseBSD3
CopyrightJonas Duregård
AuthorJonas Duregård
Maintainerjonas.duregard@gmail.com
CategoryTesting
Upload dateTue Dec 11 10:55:13 UTC 2012
Uploaded byJonasDuregard
DistributionsNixOS:0.4.0.1
Downloads1139 total (828 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees