Skip to content
SPECIFICTION
Get listed

QuickCheck

github.com

Visit github.com
Spec score 6.5 #26 of 28 in Property-Based Testing Tools

Spec sheet

Purpose
QuickCheck is a Haskell library for random testing of program properties.Read 11 Oct 2026 · github.com
License
The package metadata identifies the license as BSD3.Read 11 Oct 2026 · github.com
Additional dependencies
The package metadata lists base >=4.14 and <5 and containers as library dependencies.Read 5 Oct 2026 · github.com
Companion package
The quickcheck-instances companion package provides instances for types in Haskell Platform packages and adds dependencies.Read 11 Oct 2026 · github.com
Compatibility
The repository includes a make-hugs script for a Hugs-compatible version, which may also be useful for other non-GHC implementations.Read 11 Oct 2026 · github.com
Compiler support
The package metadata lists GHC versions from 8.10 up to but not including 9.15, and Hugs, as tested environments.Read 11 Oct 2026 · github.com
How it works
Programmers specify properties that functions should satisfy, and QuickCheck tests them against randomly generated cases.Read 11 Oct 2026 · github.com
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.Read 5 Oct 2026 · github.com
Maintainer
The package metadata names Nick Smallbone as maintainer.Read 11 Oct 2026 · github.com
Monadic testing
The monadic property testing library is provided in the Test.QuickCheck.Monadic module.Read 11 Oct 2026 · github.com
Optional feature
The Template Haskell flag builds Test.QuickCheck.All and is enabled by default.Read 5 Oct 2026 · github.com
Property tools
QuickCheck provides combinators to define properties, observe test data distributions, and define test data generators.Read 11 Oct 2026 · github.com
Support route
The package metadata directs bug reports to the project's GitHub issues page.Read 5 Oct 2026 · github.com
Test data
QuickCheck provides combinators to define properties, observe test data distributions, and define test data generators.Read 5 Oct 2026 · github.com
Use
The README says to add QuickCheck to package dependencies to use it in tests or a REPL.Read 5 Oct 2026 · github.com

Where Specifiction places it

Alternatives to QuickCheckAll alternatives →