packages feed

testing-feat-0.3.0.1: testing-feat.cabal

Name:                testing-feat
Version:             0.3.0.1
Synopsis:            Functional Enumeration of Abstract Types
Description:         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.
                                          
License:             BSD3
License-file:        LICENSE
Author:              Jonas Duregård
Maintainer:          jonas.duregard@gmail.com
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.2

Library
  Hs-source-dirs:       .
  Exposed-modules:
    Test.Feat, 
    Test.Feat.Access,
    Test.Feat.Class,
    Test.Feat.Class.Override,
    Test.Feat.Enumerate,
    Test.Feat.Modifiers 

  
  Build-depends: 
    base >= 4.5 && <= 5,
    template-haskell >= 2.5 && < 2.9,
    mtl >= 1 && < 3,
    QuickCheck > 2 && < 3,
    tagshare<0.1
    
  Other-modules:
    Test.Feat.Internals.Derive
    Test.Feat.Internals.Tag
    Test.Feat.Internals.Newtypes