Name: QuickCheck Version: 2.5 Cabal-Version: >= 1.6 Build-type: Simple License: BSD3 License-file: LICENSE Extra-source-files: README Copyright: 2000-2012 Koen Claessen, 2006-2008 Björn Bringert, 2009-2012 Nick Smallbone Author: Koen Claessen Maintainer: QuickCheck developers Bug-reports: mailto:quickcheck@projects.haskell.org Tested-with: GHC >=6.8, Hugs Homepage: http://code.haskell.org/QuickCheck Category: Testing Synopsis: Automatic testing of Haskell programs Description: QuickCheck is a library for random testing of program properties. . The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases. . Specifications are expressed in Haskell, using combinators defined in the QuickCheck library. QuickCheck provides combinators to define properties, observe the distribution of test data, and define test data generators. source-repository head type: darcs location: http://code.haskell.org/QuickCheck/devel source-repository this type: darcs location: http://code.haskell.org/QuickCheck/stable tag: 2.4.2 flag base3 Description: Choose the new smaller, split-up base package. flag base4 Description: Choose the even newer base package with extensible exceptions. flag templateHaskell Description: Build Test.QuickCheck.All, which uses Template Haskell. library -- Choose which library versions to use. if flag(base4) Build-depends: base >= 4 && < 5, random else if flag(base3) Build-depends: base >= 3 && < 4, random else Build-depends: base < 3 -- On old versions of GHC use the ghc package to catch ctrl-C. if impl(ghc >= 6.7) && impl(ghc < 6.13) Build-depends: ghc -- We want to use extensible-exceptions even if linking against base-3. if impl(ghc >= 6.9) Build-depends: extensible-exceptions -- Modules that are always built. Exposed-Modules: Test.QuickCheck, Test.QuickCheck.Arbitrary, Test.QuickCheck.Gen, Test.QuickCheck.Monadic, Test.QuickCheck.Modifiers, Test.QuickCheck.Property, Test.QuickCheck.Test, Test.QuickCheck.Text, Test.QuickCheck.Poly, Test.QuickCheck.State Extensions: CPP -- Choose which optional features to build based on which compiler -- we're using. It would be nice to use flags for this but Cabal's -- dependency resolution isn't good enough. if impl(ghc) Exposed-Modules: Test.QuickCheck.Function if flag(templateHaskell) && impl(ghc >= 6.12) Build-depends: template-haskell >= 2.4 Exposed-Modules: Test.QuickCheck.All -- GHC < 7.0 doesn't cope with multiple LANGUAGE pragmas in the same -- file, I think... if impl(ghc < 7) Extensions: GeneralizedNewtypeDeriving, MultiParamTypeClasses, Rank2Types, TypeOperators else -- If your Haskell compiler can cope without some of these, please -- send a message to the QuickCheck mailing list! cpp-options: -DNO_TIMEOUT -DNO_NEWTYPE_DERIVING if !impl(hugs) cpp-options: -DNO_ST_MONAD -DNO_MULTI_PARAM_TYPE_CLASSES Other-Modules: Test.QuickCheck.Exception