EverythingXiaomi
For vendors
AdvertiseTop spots, featured rows, home sponsor Get listedAdd a product we don't cover yet Claim a listingFree: verify the domain, then correct your page Vendor dashboardNumbers, orders and placements
List your app
Vendor dashboard

QuickCheck

C
C tier on Property-Based Testing ToolsScore 6.7 · #5 of 27
Android app
Not listed
Free plan
Yes
Runs on
Linux
hackage.haskell.org
The QuickCheck homepage
Visit site Alternatives

Summary

QuickCheck is a free Haskell library for testing program properties with randomly generated cases. Developers express specifications using QuickCheck combinators and can define generators for test data. Additional combinators let tests examine the distribution of generated values. The Test.QuickCheck.Monadic module provides monadic property testing, and the library also supports stateful testing, shrinking failing cases, and reproducible failures. The package README describes adding QuickCheck to project dependencies for use in tests or a REPL. A companion package, quickcheck-instances, supplies instances for types in Haskell Platform packages and has additional dependencies. QuickCheck is licensed under BSD-3-Clause and lists dependencies including base, containers, random, splitmix, template-haskell, and transformers. Hackage reports testing with GHC versions from 8.10 up to but not including 9.15, as well as Hugs. A make-hugs script creates a Hugs-compatible version and may be useful with other non-GHC implementations. Hackage lists QuickCheck-2.18.0.0 as a downloadable Cabal source package.

Who it is for

QuickCheck suits Haskell developers who want to check program properties using generated test cases. Its monadic and stateful testing features can serve projects with more than straightforward input-output properties.

What is good

  • Specifications and generators use Haskell combinators.
  • Supports shrinking failing cases.
  • Includes monadic and stateful property testing.
  • Supports reproducible failures.
  • Free under the BSD-3-Clause license.

What to know first

  • The library is for Haskell.
  • The companion instances package adds dependencies.
  • Reported compiler testing does not include GHC 9.15 or later.

Verdict

QuickCheck provides property-based testing tools for Haskell, including generators, shrinking, and stateful tests. Check its listed compiler compatibility and dependencies against your project.

QuickCheck plans and pricing

All plans
QuickCheck Free Haskell library for random testing of program properties hackage.haskell.org · 2 Oct 2026

Compared on property-based testing tools

Free plan
Yeshackage.haskell.org
Supported languages
Haskellhackage.haskell.org
Test runner support
Test.SmallCheck.Drivershackage.haskell.org
Failing-case shrinking
Yeshackage.haskell.org
Stateful testing
Yeshackage.haskell.org
Reproducible failures
Yeshackage.haskell.org

Facts

Purpose
QuickCheck is a Haskell library for random testing of program properties by checking specifications against randomly generated cases.hackage.haskell.org · 2 Oct 2026
Property specifications
Program specifications are expressed in Haskell using QuickCheck combinators.hackage.haskell.org · 2 Oct 2026
Generators
QuickCheck provides combinators for defining test data generators.hackage.haskell.org · 2 Oct 2026
Data distribution
QuickCheck provides combinators to observe the distribution of test data.hackage.haskell.org · 2 Oct 2026
Monadic testing
The monadic property testing library is provided in the Test.QuickCheck.Monadic module.hackage.haskell.org · 2 Oct 2026
Companion package
The quickcheck-instances companion package provides instances for types in Haskell Platform packages, with additional dependencies.hackage.haskell.org · 2 Oct 2026
Use
The package README says to add QuickCheck to package dependencies to use it in tests or a REPL.hackage.haskell.org · 2 Oct 2026
Hugs compatibility
The make-hugs script creates a Hugs-compatible version and may be useful for other non-GHC implementations.github.com · 2 Oct 2026
License
The package is licensed under BSD-3-Clause.hackage.haskell.org · 2 Oct 2026
Dependencies
The package lists dependencies including base, containers, random, splitmix, template-haskell, and transformers.hackage.haskell.org · 2 Oct 2026
Compiler compatibility
Hackage reports the package tested with GHC versions at least 8.10 and below 9.15, and Hugs.hackage.haskell.org · 2 Oct 2026
Download
Hackage lists QuickCheck-2.18.0.0 as a downloadable Cabal source package.hackage.haskell.org · 2 Oct 2026

Best QuickCheck alternatives

See all 12
Btier Gopter #1 7.0 FreeCtier fast-check #2 6.9 FreeCtier Scala Hedgehog #3 6.9 FreeCtier CsCheck #4 6.7 FreeCtier Hypothesis #6 6.6 Ctier Rapid #7 6.6 Free

Where it ranks on Everything Xiaomi

Is QuickCheck yours?

Claim it for free: prove the domain, then correct facts, plans and screenshots. An editor reviews every change.

Claim it free Promote QuickCheck

Sources