QuickCheck
github.com
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
- Property-Based Testing Tools#26 of 286.5
- Unit Testing Frameworks#32 of 326.3