QuickCheck

What it does

Additional dependencies

The package metadata lists base >=4.14 and <5 and containers as library dependencies.checked 5 Oct 2026

Companion package

The quickcheck-instances companion package provides instances for types in Haskell Platform packages and adds dependencies.checked 11 Oct 2026

Compatibility

The repository includes a make-hugs script for a Hugs-compatible version, which may also be useful for other non-GHC implementations.checked 11 Oct 2026

Compiler support

The package metadata lists GHC versions from 8.10 up to but not including 9.15, and Hugs, as tested environments.checked 11 Oct 2026

How it works

Programmers specify properties that functions should satisfy, and QuickCheck tests them against randomly generated cases.checked 11 Oct 2026

Hugs compatibility

The repository includes a make-hugs script for creating a Hugs-compatible version, which may also be useful for other non-GHC implementations.checked 5 Oct 2026

License

The package metadata identifies the license as BSD3.checked 11 Oct 2026

Maintainer

The package metadata names Nick Smallbone as maintainer.checked 11 Oct 2026

Monadic testing

The monadic property testing library is provided in the Test.QuickCheck.Monadic module.checked 11 Oct 2026

Optional feature

The Template Haskell flag builds Test.QuickCheck.All and is enabled by default.checked 5 Oct 2026

Property tools

QuickCheck provides combinators to define properties, observe test data distributions, and define test data generators.checked 11 Oct 2026

Purpose

QuickCheck is a Haskell library for random testing of program properties.checked 11 Oct 2026

Support route

The package metadata directs bug reports to the project's GitHub issues page.checked 5 Oct 2026

Test data

QuickCheck provides combinators to define properties, observe test data distributions, and define test data generators.checked 5 Oct 2026

Use

The README says to add QuickCheck to package dependencies to use it in tests or a REPL.checked 5 Oct 2026