202 lines
6.2 KiB
Plaintext
202 lines
6.2 KiB
Plaintext
Name: QuickCheck
|
|
Version: 2.12.6.1
|
|
x-revision: 3
|
|
Cabal-Version: >= 1.8
|
|
Build-type: Simple
|
|
License: BSD3
|
|
License-file: LICENSE
|
|
Copyright: 2000-2018 Koen Claessen, 2006-2008 Björn Bringert, 2009-2018 Nick Smallbone
|
|
Author: Koen Claessen <koen@chalmers.se>
|
|
Maintainer: Nick Smallbone <nick@smallbone.se>
|
|
Bug-reports: https://github.com/nick8325/quickcheck/issues
|
|
Tested-with: GHC >= 7.0
|
|
Homepage: https://github.com/nick8325/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 provided by
|
|
QuickCheck. QuickCheck provides combinators to define properties, observe the
|
|
distribution of test data, and define test data generators.
|
|
.
|
|
Most of QuickCheck's functionality is exported by the main "Test.QuickCheck"
|
|
module. The main exception is the monadic property testing library in
|
|
"Test.QuickCheck.Monadic".
|
|
.
|
|
If you are new to QuickCheck, you can try looking at the following resources:
|
|
.
|
|
* The <http://www.cse.chalmers.se/~rjmh/QuickCheck/manual.html official QuickCheck manual>.
|
|
It's a bit out-of-date in some details and doesn't cover newer QuickCheck features,
|
|
but is still full of good advice.
|
|
* <https://begriffs.com/posts/2017-01-14-design-use-quickcheck.html>,
|
|
a detailed tutorial written by a user of QuickCheck.
|
|
.
|
|
The <http://hackage.haskell.org/package/quickcheck-instances quickcheck-instances>
|
|
companion package provides instances for types in Haskell Platform packages
|
|
at the cost of additional dependencies.
|
|
|
|
extra-source-files:
|
|
README
|
|
changelog
|
|
examples/Heap.hs
|
|
examples/Heap_Program.hs
|
|
examples/Heap_ProgramAlgebraic.hs
|
|
examples/Lambda.hs
|
|
examples/Merge.hs
|
|
examples/Set.hs
|
|
examples/Simple.hs
|
|
|
|
source-repository head
|
|
type: git
|
|
location: https://github.com/nick8325/quickcheck
|
|
|
|
source-repository this
|
|
type: git
|
|
location: https://github.com/nick8325/quickcheck
|
|
tag: 2.12.6.1
|
|
|
|
flag templateHaskell
|
|
Description: Build Test.QuickCheck.All, which uses Template Haskell.
|
|
Default: True
|
|
|
|
library
|
|
-- System.Random is explicitly Trustworthy
|
|
build-depends: random >=1.0.1.0 && <1.2
|
|
|
|
-- Monad(fail)
|
|
build-depends: base <4.13
|
|
|
|
Build-depends: base >=4.3 && <5, random, containers, erf >= 2
|
|
|
|
-- Modules that are always built.
|
|
Exposed-Modules:
|
|
Test.QuickCheck,
|
|
Test.QuickCheck.Arbitrary,
|
|
Test.QuickCheck.Gen,
|
|
Test.QuickCheck.Gen.Unsafe,
|
|
Test.QuickCheck.Monadic,
|
|
Test.QuickCheck.Modifiers,
|
|
Test.QuickCheck.Property,
|
|
Test.QuickCheck.Test,
|
|
Test.QuickCheck.Text,
|
|
Test.QuickCheck.Poly,
|
|
Test.QuickCheck.State,
|
|
Test.QuickCheck.Random,
|
|
Test.QuickCheck.Exception,
|
|
Test.QuickCheck.Features
|
|
|
|
-- GHC-specific modules.
|
|
if impl(ghc)
|
|
Exposed-Modules: Test.QuickCheck.Function
|
|
Build-depends: transformers >= 0.3, deepseq >= 1.3.0.0 && < 1.5
|
|
else
|
|
cpp-options: -DNO_TRANSFORMERS -DNO_DEEPSEQ
|
|
|
|
if impl(ghc) && flag(templateHaskell)
|
|
Build-depends: template-haskell >= 2.4
|
|
Other-Extensions: TemplateHaskell
|
|
Exposed-Modules: Test.QuickCheck.All
|
|
else
|
|
cpp-options: -DNO_TEMPLATE_HASKELL
|
|
|
|
if !impl(ghc >= 7.4)
|
|
cpp-options: -DNO_CTYPES_CONSTRUCTORS -DNO_FOREIGN_C_USECONDS
|
|
|
|
-- The new generics appeared in GHC 7.2...
|
|
if impl(ghc < 7.2)
|
|
cpp-options: -DNO_GENERICS
|
|
-- ...but in 7.2-7.4 it lives in the ghc-prim package.
|
|
if impl(ghc >= 7.2) && impl(ghc < 7.6)
|
|
Build-depends: ghc-prim
|
|
|
|
-- Safe Haskell appeared in GHC 7.2, but GHC.Generics isn't safe until 7.4.
|
|
if impl (ghc < 7.4)
|
|
cpp-options: -DNO_SAFE_HASKELL
|
|
|
|
-- Use tf-random on newer GHCs.
|
|
if impl(ghc)
|
|
Build-depends: tf-random >= 0.4
|
|
else
|
|
cpp-options: -DNO_TF_RANDOM
|
|
|
|
if !impl(ghc >= 7.6)
|
|
cpp-options: -DNO_POLYKINDS
|
|
|
|
if !impl(ghc >= 8.0)
|
|
cpp-options: -DNO_MONADFAIL
|
|
|
|
-- Switch off most optional features on non-GHC systems.
|
|
if !impl(ghc)
|
|
-- 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 -DNO_GENERICS -DNO_TEMPLATE_HASKELL -DNO_SAFE_HASKELL -DNO_TYPEABLE
|
|
if !impl(hugs) && !impl(uhc)
|
|
cpp-options: -DNO_ST_MONAD -DNO_MULTI_PARAM_TYPE_CLASSES
|
|
|
|
-- LANGUAGE pragmas don't have any effect in Hugs.
|
|
if impl(hugs)
|
|
Extensions: CPP
|
|
|
|
if impl(uhc)
|
|
-- Cabal under UHC needs pointing out all the dependencies of the
|
|
-- random package.
|
|
Build-depends: old-time, old-locale
|
|
-- Plus some bits of the standard library are missing.
|
|
cpp-options: -DNO_FIXED -DNO_EXCEPTIONS
|
|
|
|
Test-Suite test-quickcheck
|
|
type: exitcode-stdio-1.0
|
|
hs-source-dirs:
|
|
examples
|
|
main-is: Heap.hs
|
|
build-depends: base, QuickCheck
|
|
if !flag(templateHaskell)
|
|
Buildable: False
|
|
|
|
Test-Suite test-quickcheck-gcoarbitrary
|
|
type: exitcode-stdio-1.0
|
|
hs-source-dirs: tests
|
|
main-is: GCoArbitraryExample.hs
|
|
build-depends: base, QuickCheck
|
|
if !impl(ghc >= 7.2)
|
|
buildable: False
|
|
if impl(ghc >= 7.2) && impl(ghc < 7.6)
|
|
build-depends: ghc-prim
|
|
|
|
Test-Suite test-quickcheck-generators
|
|
type: exitcode-stdio-1.0
|
|
hs-source-dirs: tests
|
|
main-is: Generators.hs
|
|
build-depends: base, QuickCheck
|
|
if !flag(templateHaskell)
|
|
Buildable: False
|
|
|
|
Test-Suite test-quickcheck-gshrink
|
|
type: exitcode-stdio-1.0
|
|
hs-source-dirs: tests
|
|
main-is: GShrinkExample.hs
|
|
build-depends: base, QuickCheck
|
|
if !impl(ghc >= 7.2)
|
|
buildable: False
|
|
if impl(ghc >= 7.2) && impl(ghc < 7.6)
|
|
build-depends: ghc-prim
|
|
|
|
Test-Suite test-quickcheck-terminal
|
|
type: exitcode-stdio-1.0
|
|
hs-source-dirs: tests
|
|
main-is: Terminal.hs
|
|
build-depends: base, process, deepseq >= 1.3.0.0 && < 1.5, QuickCheck
|
|
if !impl(ghc >= 7.10)
|
|
buildable: False
|
|
|
|
Test-Suite test-quickcheck-monadfix
|
|
type: exitcode-stdio-1.0
|
|
hs-source-dirs: tests
|
|
main-is: MonadFix.hs
|
|
build-depends: base, QuickCheck
|
|
if !impl(ghc >= 7.10)
|
|
buildable: False
|