QuickCheck

Input—per 1M tokens

Output—per 1M tokens

Context—tokens

WeightsClosed

About

QuickCheck is ranked #6 of 27 in property-based testing tools on Inferse. It runs on Linux. There is a free plan.

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