QuickCheck

What QuickCheck is

QuickCheck is a free Haskell library for testing program properties against randomly generated cases. Developers express specifications with QuickCheck combinators and can use combinators to define test-data generators and examine the distribution of generated data. The Test.QuickCheck.Monadic module provides monadic property testing; 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, with 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 suits

QuickCheck suits Haskell developers who want to check program properties using generated inputs. Its generator and distribution combinators can support testing that requires custom test data.

Getting started

1. Visit the Hackage QuickCheck package page.
2. Add QuickCheck to your package dependencies.
3. Use it in tests or a REPL.
4. Use the Test.QuickCheck.Monadic module for monadic property testing when needed.

Verdict

QuickCheck provides property-testing tools for Haskell, including generators, shrinking and stateful tests. Review its dependency list and reported compiler compatibility before adding it to a project.