- Home
- Property-Based Testing Tools
- QuickCheck
On the recordRead 11 Oct 202615 facts
QuickCheck
On the record
- Additional dependencies
- The package metadata lists base >=4.14 and <5 and containers as library dependencies.github.com · read 5 Oct 2026
- Companion package
- The quickcheck-instances companion package provides instances for types in Haskell Platform packages and adds dependencies.github.com · read 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.github.com · read 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.github.com · read 11 Oct 2026
- How it works
- Programmers specify properties that functions should satisfy, and QuickCheck tests them against randomly generated cases.github.com · read 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.github.com · read 5 Oct 2026
- License
- The package metadata identifies the license as BSD3.github.com · read 11 Oct 2026
- Maintainer
- The package metadata names Nick Smallbone as maintainer.github.com · read 11 Oct 2026
- Monadic testing
- The monadic property testing library is provided in the Test.QuickCheck.Monadic module.github.com · read 11 Oct 2026
- Optional feature
- The Template Haskell flag builds Test.QuickCheck.All and is enabled by default.github.com · read 5 Oct 2026
- Property tools
- QuickCheck provides combinators to define properties, observe test data distributions, and define test data generators.github.com · read 11 Oct 2026
- Purpose
- QuickCheck is a Haskell library for random testing of program properties.github.com · read 11 Oct 2026
- Support route
- The package metadata directs bug reports to the project's GitHub issues page.github.com · read 5 Oct 2026
- Test data
- QuickCheck provides combinators to define properties, observe test data distributions, and define test data generators.github.com · read 5 Oct 2026
- Use
- The README says to add QuickCheck to package dependencies to use it in tests or a REPL.github.com · read 5 Oct 2026
