Name: testing-feat Version: 1.1.0.0 Synopsis: Functional Enumeration of Algebraic Types Description: 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. . The generators are provided by the size-based package. This means other libraries that implement the Sized class can use the same generator definitions. One such is the , that uses laziness to search for values and test properties. This is typically a lot faster than Feat for properties that have preconditions (logical implication), but can not be used for random selection of values. License: BSD3 License-file: LICENSE Author: Jonas Duregård Maintainer: jonas.duregard@gmail.com Homepage: https://github.com/JonasDuregard/testing-feat Copyright: Jonas Duregård Category: Testing Build-type: Simple Extra-source-files: examples/template-haskell/th.hs examples/haskell-src-exts/hse.hs examples/lambda-terms/lambdas.hs Cabal-version: >=1.6 source-repository head type: git location: https://github.com/JonasDuregard/testing-feat Library Hs-source-dirs: . Exposed-modules: Test.Feat, Test.Feat.Finite, Test.Feat.Enumerate, Test.Feat.Access Test.Feat.Driver -- Compatibility Test.Feat.Modifiers Test.Feat.Class Build-depends: base >= 4.5 && < 5, QuickCheck > 2 && < 3, size-based < 0.2, testing-type-modifiers < 0.2 if impl(ghc < 8.0) Build-depends: semigroups < 0.19