The testing-feat package

[Tags: bsd3, library]

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.


Properties

Versions0.1, 0.2, 0.3, 0.3.0.1, 0.4, 0.4.0.1, 0.4.0.2
Dependenciesbase (>=4.5 && <=4.8), mtl (>=1 && <3), QuickCheck (>2 && <3), tagshare (<0.1), template-haskell (>=2.5 && <2.10)
LicenseBSD3
CopyrightJonas Duregård
AuthorJonas Duregård
Maintainerjonas.duregard@gmail.com
CategoryTesting
Upload dateTue Apr 15 08:59:08 UTC 2014
Uploaded byJonasDuregard
DistributionsNixOS:0.4.0.2
Downloads5042 total (610 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees