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.


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 dateFri Sep 7 06:54:00 UTC 2012
Uploaded byJonasDuregard
DistributionsNixOS:0.4.0.2
Downloads4898 total (676 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees