QuickCheck
QuickCheck is a library for random testing of program properties. The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases. Specifications are expressed in Haskell, using combinators provided by QuickCheck. QuickCheck provides combinators to define properties, observe the distribution of test data, and define test data generators. Most of QuickCheck's functionality is exported by the main Test.QuickCheck module. The main exception is the monadic property testing library in Test.QuickCheck.Monadic. If you are new to QuickCheck, you can try looking at the following resources: The official QuickCheck manual. It's a bit out-of-date in some details and doesn't cover newer QuickCheck features, but is still full of good advice. https://begriffs.com/posts/2017-01-14-design-use-quickcheck.html, a detailed tutorial written by a user of QuickCheck. The quickcheck-instances companion package provides instances for types in Haskell Platform packages at the cost of additional dependencies.
Ecosystem
hackage.haskell.org
hackage.haskell.org
Latest Release
almost 3 years ago
2.14.3
almost 3 years ago
Versions
65
65
Downloads
444,356 total
444,356 total
Dependent Packages
246
246
Dependent Repos
7,326
7,326
Z-Data 2.0.1.0
This package provides array, slice and text operations50 versions - Latest release: almost 2 years ago - 3 dependent packages - 3 dependent repositories - 17.8 thousand downloads total - 70 stars on GitHub - 2 maintainers
Top 0.3% on hackage.haskell.org
98 versions - Latest release: almost 2 years ago - 720 dependent packages - 10,280 dependent repositories - 603 thousand downloads total - 1,288 stars on GitHub - 6 maintainers
aeson 2.2.3.0
A JSON parsing and encoding library optimized for ease of use and high performance. To get start...98 versions - Latest release: almost 2 years ago - 720 dependent packages - 10,280 dependent repositories - 603 thousand downloads total - 1,288 stars on GitHub - 6 maintainers
vec 0.5.1
Nat, Fin, Vec10 versions - Latest release: almost 2 years ago - 2 dependent packages - 12 dependent repositories - 6.51 thousand downloads total - 25 stars on GitHub - 1 maintainer
ral 0.2.2
Nat, Fin, Vec4 versions - Latest release: almost 2 years ago - 1 dependent package - 8 dependent repositories - 9.26 thousand downloads total - 25 stars on GitHub - 1 maintainer
bin 0.1.4
Nat, Fin, Vec5 versions - Latest release: almost 2 years ago - 1 dependent package - 6 dependent repositories - 9.18 thousand downloads total - 25 stars on GitHub - 1 maintainer
network-arbitrary 1.0.0.1
You can use network-arbitrary to provide Arbitrary instances for Network module types.11 versions - Latest release: almost 2 years ago - 3 dependent repositories - 4.37 thousand downloads total - 1 stars on GitHub - 1 maintainer
word8set 0.1.2
Word8 set3 versions - Latest release: almost 2 years ago - 1 dependent package - 210 downloads total - 1 stars on GitHub - 1 maintainer
gasp 1.4.0.0
6 versions - Latest release: almost 2 years ago - 5 dependent repositories - 3.87 thousand downloads total - 1 maintainercomfort-array 0.5.5
23 versions - Latest release: almost 2 years ago - 13 dependent packages - 6 dependent repositories - 7.93 thousand downloads total - 1 maintainercornelis 0.2.0.1
Please see the README on GitHub at https://github.com/isovector/cornelis#readme2 versions - Latest release: almost 2 years ago - 1 dependent package - 142 downloads total - 168 stars on GitHub - 1 maintainer
Top 7.4% on hackage.haskell.org
20 versions - Latest release: almost 2 years ago - 9 dependent packages - 128 dependent repositories - 25.9 thousand downloads total - 37 stars on GitHub - 2 maintainers
lattices 2.2.1
Fine-grained lattice primitives for Haskell20 versions - Latest release: almost 2 years ago - 9 dependent packages - 128 dependent repositories - 25.9 thousand downloads total - 37 stars on GitHub - 2 maintainers
Top 7.3% on hackage.haskell.org
26 versions - Latest release: almost 2 years ago - 9 dependent packages - 34 dependent repositories - 14.6 thousand downloads total - 188 stars on GitHub - 2 maintainers
refined 0.8.2
For an extensive introduction to the library please follow to this blog-post.26 versions - Latest release: almost 2 years ago - 9 dependent packages - 34 dependent repositories - 14.6 thousand downloads total - 188 stars on GitHub - 2 maintainers
kudzu 0.1.1.0
Kudzu is a coverage driven random testing framework2 versions - Latest release: almost 2 years ago - 1 dependent package - 2 dependent repositories - 184 downloads total - 24 stars on GitHub - 1 maintainer
smcdel 1.3.0
See README.md for references and documentation.4 versions - Latest release: almost 2 years ago - 1 dependent package - 2 dependent repositories - 1.35 thousand downloads total - 49 stars on GitHub - 1 maintainer
Top 9.2% on hackage.haskell.org
synthesizer-core 0.8.4
31 versions - Latest release: almost 2 years ago - 5 dependent packages - 13 dependent repositories - 22.6 thousand downloads total - 1 maintainercollect-errors 0.1.6.0
Please see the README on GitHub at https://github.com/michalkonecny/collect-errors#readme8 versions - Latest release: almost 2 years ago - 5 dependent packages - 8 dependent repositories - 1.98 thousand downloads total - 1 stars on GitHub - 1 maintainer
monad-bayes 1.3.0
A library for probabilistic programming using probability monads. The emphasis is on composition ...12 versions - Latest release: about 2 years ago - 2 dependent packages - 5 dependent repositories - 2.04 thousand downloads total - 439 stars on GitHub - 2 maintainers
yesod-session-persist 0.0.0.2
Use Persistent to store Yesod sessions3 versions - Latest release: about 2 years ago - 1 dependent package - 207 downloads total - 2 stars on GitHub - 6 maintainers
Top 6.9% on hackage.haskell.org
event-list 0.1.3
20 versions - Latest release: about 2 years ago - 10 dependent packages - 29 dependent repositories - 18.7 thousand downloads total - 1 maintainerGenSmsPdu 0.2.0.0
2 versions - Latest release: about 2 years ago - 1 dependent package - 1.5 thousand downloads total - 0 stars on GitHub - 2 maintainersansi-terminal-game 1.9.3.0
Library which aims to replicate standard 2d game functions (blit, ticks, timers, etc.) in a termi...35 versions - Latest release: about 2 years ago - 2 dependent packages - 7 dependent repositories - 11.8 thousand downloads total - 1 maintainer
ordinal 0.6.0.0 💰
A package based on Python's num2words package that converts numbers to words in different languag...14 versions - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 2.56 thousand downloads total - 1 stars on GitHub - 1 maintainer
fuzzy-time-gen 0.3.0.0 💰
5 versions - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 938 downloads total - 6 stars on GitHub - 1 maintainerhappy-arbitrary 0.0.1
1 version - Latest release: about 2 years ago - 87 downloads total - 1 maintainerhls-eval-plugin 2.6.0.0
Please see the README on GitHub at https://github.com/haskell/haskell-language-server#readme26 versions - Latest release: about 2 years ago - 1 dependent package - 7.54 thousand downloads total - 6 maintainers
ltext 0.1.5
Please see the README on GitHub at https://github.com/ltext/ltext#README18 versions - Latest release: about 2 years ago - 1 dependent package - 18 dependent repositories - 8.74 thousand downloads total - 36 stars on GitHub - 1 maintainer
coinor-clp 0.0.0.2
3 versions - Latest release: about 2 years ago - 333 downloads total - 1 maintainerservant-aeson-generics-typescript 0.0.0.2
This project leveratges aeson-generics-typescript to generate type safe API bindings in TypeScrip...2 versions - Latest release: about 2 years ago - 174 downloads total - 1 maintainer
linear-programming 0.0.1
3 versions - Latest release: over 2 years ago - 3 dependent packages - 354 downloads total - 1 maintainerhighs-lp 0.0
1 version - Latest release: over 2 years ago - 96 downloads total - 1 maintainertahoe-great-black-swamp-testing 0.5.0.0
1 version - Latest release: over 2 years ago - 107 downloads total - 0 stars on gitlab.com - 2 maintainersgithub-tools 0.1.2
3 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 1.89 thousand downloads total - 1 maintainerdisco 0.1.6
Disco is a simple functional programming language for use in teaching discrete math. Its syntax ...9 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 842 downloads total - 1 maintainer
aeson-generics-typescript 0.0.0.1
This project uses GHC.Generics to generate TypeScript type definitions that match the Generic Ase...1 version - Latest release: over 2 years ago - 1 dependent package - 99 downloads total - 1 maintainer
Top 8.2% on hackage.haskell.org
25 versions - Latest release: over 2 years ago - 3 dependent packages - 22 dependent repositories - 27.9 thousand downloads total - 76 stars on GitHub - 4 maintainers
mueval 0.9.4
Mueval is a Haskell interpreter. It uses the GHC API to evaluate arbitrary Haskell expressions. I...25 versions - Latest release: over 2 years ago - 3 dependent packages - 22 dependent repositories - 27.9 thousand downloads total - 76 stars on GitHub - 4 maintainers
explainable-predicates 0.1.2.4
Explainable predicates are essentially functions from types to Bool which can additionally descri...7 versions - Latest release: over 2 years ago - 1 dependent package - 8 dependent repositories - 1.88 thousand downloads total - 8 stars on GitHub - 1 maintainer
Top 8.8% on hackage.haskell.org
10 versions - Latest release: over 2 years ago - 16 dependent packages - 57 dependent repositories - 10.3 thousand downloads total - 39 stars on GitHub - 1 maintainer
openapi3 3.2.4
This library is intended to be used for decoding and encoding OpenAPI 3.0 API specifications as w...10 versions - Latest release: over 2 years ago - 16 dependent packages - 57 dependent repositories - 10.3 thousand downloads total - 39 stars on GitHub - 1 maintainer
Flint2 0.1.0.5
This library provides access to the functionality of the FLINT. FLINT is a C library for doing nu...6 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 325 downloads total - 4 stars on GitHub - 1 maintainer
basic-sop 0.3.0
11 versions - Latest release: over 2 years ago - 1 dependent repositories - 8.37 thousand downloads total - 2 maintainersChart-tests 1.9.4
A 2D charting library for haskell2 versions - Latest release: over 2 years ago - 630 downloads total - 438 stars on GitHub - 1 maintainer
Top 6.8% on hackage.haskell.org
compdata 0.13.1
32 versions - Latest release: over 2 years ago - 1 dependent package - 134 dependent repositories - 28.2 thousand downloads total - 1 maintainergenvalidity-mergeful 0.3.0.1 💰
Safely synchronise values with safe merge conflicts.5 versions - Latest release: over 2 years ago - 2 dependent repositories - 1.61 thousand downloads total - 7 stars on GitHub - 1 maintainer
Top 9.1% on hackage.haskell.org
non-empty 0.3.5
14 versions - Latest release: over 2 years ago - 25 dependent packages - 21 dependent repositories - 11.3 thousand downloads total - 1 maintainergenvalidity-unordered-containers 1.0.0.1 💰
Validity and validity-based testing10 versions - Latest release: over 2 years ago - 8 dependent repositories - 5.52 thousand downloads total - 156 stars on GitHub - 1 maintainer
genvalidity-sydtest-hashable 1.0.0.1 💰
Validity and validity-based testing3 versions - Latest release: over 2 years ago - 2 dependent repositories - 715 downloads total - 156 stars on GitHub - 1 maintainer
genvalidity-persistent 1.0.0.2 💰
Validity and validity-based testing4 versions - Latest release: over 2 years ago - 15 dependent repositories - 765 downloads total - 156 stars on GitHub - 1 maintainer
genvalidity-hspec-hashable 1.0.0.1 💰
Validity and validity-based testing10 versions - Latest release: over 2 years ago - 7 dependent repositories - 4.94 thousand downloads total - 156 stars on GitHub - 1 maintainer
bv-little 1.3.2
. This package contains a time- and space- efficient implementation of little-endian, immutable b...10 versions - Latest release: over 2 years ago - 3 dependent packages - 2 dependent repositories - 4.52 thousand downloads total - 1 stars on GitHub - 1 maintainer
llvm-tf 12.1.1
40 versions - Latest release: over 2 years ago - 6 dependent packages - 22.2 thousand downloads total - 1 maintainercomfort-graph 0.0.4
13 versions - Latest release: over 2 years ago - 1 dependent package - 16 dependent repositories - 7.23 thousand downloads total - 1 maintaineropentracing-zipkin-v1 0.3.0 💰
[Index] [Quick Jump] Package maintainers For package maintainers and hackage trustees Candid...5 versions - Latest release: over 2 years ago - 556 downloads total - 40 stars on GitHub - 1 maintainer
opentracing-jaeger 0.3.0 💰
[Index] [Quick Jump] Package maintainers For package maintainers and hackage trustees Candid...5 versions - Latest release: over 2 years ago - 861 downloads total - 40 stars on GitHub - 1 maintainer
attoparsec-uri 0.0.9
Please see the README on GitHub at https://github.com/athanclark/attoparsec-uri#readme12 versions - Latest release: over 2 years ago - 2 dependent packages - 2 dependent repositories - 6.9 thousand downloads total - 1 stars on GitHub - 1 maintainer
quickcheck-combinators 0.0.6
Please see the README on GitHub at https://github.com/athanclark/quickcheck-combinators#README7 versions - Latest release: over 2 years ago - 1 dependent package - 10 dependent repositories - 3.76 thousand downloads total - 1 stars on GitHub - 1 maintainer
snail 0.1.2.1
An s-expression parser and abstract syntax tree for a programming language with no semantics. If ...4 versions - Latest release: over 2 years ago - 251 downloads total - 10 stars on GitHub - 1 maintainer
Top 7.0% on hackage.haskell.org
24 versions - Latest release: over 2 years ago - 11 dependent packages - 54 dependent repositories - 25.9 thousand downloads total - 68 stars on GitHub - 2 maintainers
modern-uri 0.3.6.1
Modern library for working with URIs.24 versions - Latest release: over 2 years ago - 11 dependent packages - 54 dependent repositories - 25.9 thousand downloads total - 68 stars on GitHub - 2 maintainers
unicode-tricks 0.14.1.0
A package that makes rendering of frames, blocks, subscript and superscript more convenient.20 versions - Latest release: over 2 years ago - 2 dependent repositories - 3.51 thousand downloads total - 2 stars on GitHub - 1 maintainer
git-repair 1.20230814
20 versions - Latest release: over 2 years ago - 14.3 thousand downloads total - 1 maintainer
Top 0.9% on hackage.haskell.org
pandoc-types 1.23.1
64 versions - Latest release: over 2 years ago - 31 dependent packages - 730 dependent repositories - 162 thousand downloads total - 1 maintainertableaux 0.3
This is a simple web-based interactive theorem prover using semantic tableaux for propositional a...3 versions - Latest release: over 2 years ago - 2.15 thousand downloads total - 1 maintainer
colour-space 0.2.1.0
Colours form a manifold, in which inter-/extrapolation is guaranteed to stay in the gamut.9 versions - Latest release: over 2 years ago - 1 dependent repositories - 5.34 thousand downloads total - 1 stars on GitHub - 1 maintainer
manifolds 0.6.1.0
Coordinate-free hypersurfaces as Haskell types25 versions - Latest release: over 2 years ago - 2 dependent packages - 2 dependent repositories - 18.6 thousand downloads total - 41 stars on GitHub - 1 maintainer
ForestStructures 0.0.1.1
This library provides both static and dynamic tree and forest structures. Once a tree structure i...4 versions - Latest release: almost 3 years ago - 15 dependent repositories - 3.55 thousand downloads total - 3 stars on GitHub - 1 maintainer
sasha 0.2
A staged lexer generator3 versions - Latest release: almost 3 years ago - 249 downloads total - 9 stars on GitHub - 1 maintainer
interval-algebra 2.2.0
Please see the README on GitHub at https://github.com/novisci/interval-algebra42 versions - Latest release: almost 3 years ago - 1 dependent package - 1 dependent repositories - 10.3 thousand downloads total - 5 stars on GitHub - 1 maintainer
refined1 0.9.0
For an extensive introduction to the library please follow to this blog-post.1 version - Latest release: almost 3 years ago - 2 dependent packages - 150 downloads total - 0 stars on GitHub - 1 maintainer
comfort-fftw 0.0.0.1
2 versions - Latest release: almost 3 years ago - 2 dependent packages - 6 dependent repositories - 480 downloads total - 1 maintaineratomic-counter 0.1.2
This package defines Counter type that can be safely modified concurrently from multiple threads....7 versions - Latest release: almost 3 years ago - 1 dependent package - 1.19 thousand downloads total - 19 stars on GitHub - 1 maintainer
servant-combinators 0.0.2
Servant covers most of the data in a raw WAI request, but misses a few fields. This library aims ...2 versions - Latest release: almost 3 years ago - 162 downloads total - 2 stars on GitHub - 1 maintainer
safe-gen 1.0.1
Write and derive Arbitrary instances for recursive data without worrying about termination.2 versions - Latest release: almost 3 years ago - 309 downloads total - 11 stars on GitHub - 1 maintainer
aern2-real 0.2.15
Please see the README on GitHub at https://github.com/michalkonecny/aern2/#readme29 versions - Latest release: almost 3 years ago - 1 dependent package - 7 dependent repositories - 8.34 thousand downloads total - 24 stars on GitHub - 1 maintainer
oops 0.2.0.1 💰
9 versions - Latest release: almost 3 years ago - 2 dependent packages - 1 dependent repositories - 901 downloads total - 20 stars on GitHub - 1 maintainerformatn 0.3.0
This package provides support for number formatting styles, especially styles involving significa...12 versions - Latest release: about 3 years ago - 3 dependent packages - 2 dependent repositories - 1.46 thousand downloads total - 3 stars on GitHub - 1 maintainer
short-vec 0.1.0.1
This provides performant length-indexed vectors with a suite of rewrite rules implementing fusion...2 versions - Latest release: about 3 years ago - 2 dependent repositories - 423 downloads total - 1 stars on GitHub - 1 maintainer
PropaFP 0.1.2.0
Please see the README on GitHub at https://github.com/rasheedja/PropaFP#readme3 versions - Latest release: about 3 years ago - 2 dependent packages - 2 dependent repositories - 300 downloads total - 8 stars on GitHub - 1 maintainer
less-arbitrary 0.1.8.0
Ever found non-terminating Arbitrary instance? Ever wondered what would be a runtime cost of part...11 versions - Latest release: about 3 years ago - 1 dependent repositories - 1.43 thousand downloads total - 0 stars on GitHub - 1 maintainer
higgledy 0.4.2.1
Use the generic representation of an ADT to get a higher-kinded data-style interface automatically.13 versions - Latest release: about 3 years ago - 4 dependent repositories - 5.09 thousand downloads total - 170 stars on GitHub - 2 maintainers
wordpass 1.0.0.11
This script reads dict word lists and generates word-based passwords. Not unlike xkcd. Program a...17 versions - Latest release: about 3 years ago - 121 dependent repositories - 11.7 thousand downloads total - 15 stars on GitHub - 1 maintainer
keelung 0.9.2
Please see the README on GitHub at https://github.com/btq-ag/keelung#readme3 versions - Latest release: about 3 years ago - 1 dependent repositories - 250 downloads total - 53 stars on GitHub - 1 maintainer
genvalidity-dirforest 0.1.0.1 💰
1 version - Latest release: about 3 years ago - 1 dependent repositories - 118 downloads total - 2 stars on GitHub - 1 maintainer
Top 5.8% on hackage.haskell.org
storable-record 0.0.7
14 versions - Latest release: about 3 years ago - 14 dependent packages - 28 dependent repositories - 27.4 thousand downloads total - 1 maintainerlawful-classes-quickcheck 0.1.2.1
Support code to check lawful-classes laws using QuickCheck and, optionally, Tasty.5 versions - Latest release: about 3 years ago - 376 downloads total - 0 stars on GitHub - 1 maintainer
servant-serialization 0.2.1
4 versions - Latest release: about 3 years ago - 1 dependent package - 1 dependent repositories - 334 downloads total - 1 maintainermath-programming-tests 0.5.1
4 versions - Latest release: about 3 years ago - 1 dependent repositories - 542 downloads total - 1 maintainerprolude 0.0.0.30
30 versions - Latest release: about 3 years ago - 5.8 thousand downloads total - 2 maintainerssample-frame 0.0.4
4 versions - Latest release: about 3 years ago - 5 dependent packages - 17 dependent repositories - 4.3 thousand downloads total - 1 maintainercss-selectors 0.5.0.0 💰
A library for parsing, manipulating, and rendering css selectors (not css files, just the selecto...8 versions - Latest release: about 3 years ago - 1 dependent repositories - 1.48 thousand downloads total - 2 stars on GitHub - 1 maintainer
skew-list 0.1
Random Access List: Skewed Binary1 version - Latest release: about 3 years ago - 1 dependent package - 166 downloads total - 1 stars on GitHub - 1 maintainer
polysemy-check 0.9.0.1
Please see the README on GitHub at https://github.com/polysemy-research/polysemy-check#readme11 versions - Latest release: over 3 years ago - 2 dependent repositories - 1.66 thousand downloads total - 8 stars on GitHub - 1 maintainer
hashing 0.1.1.0
Haskell hashing library3 versions - Latest release: over 3 years ago - 2 dependent packages - 8 dependent repositories - 3.87 thousand downloads total - 3 stars on GitHub - 1 maintainer
inferno-vc 0.1.0
A statically-typed functional scripting language1 version - Latest release: over 3 years ago - 1 dependent package - 1 dependent repositories - 143 downloads total - 4 stars on GitHub - 1 maintainer
inferno-types 0.1.0.0
A statically-typed functional scripting language1 version - Latest release: over 3 years ago - 3 dependent packages - 1 dependent repositories - 128 downloads total - 4 stars on GitHub - 1 maintainer
chez-grater 0.1.2
7 versions - Latest release: over 3 years ago - 1 dependent package - 1 dependent repositories - 627 downloads total - 37 stars on GitHub - 1 maintaineralgebra-checkers 0.1.0.1
Please see the README on GitHub at https://github.com/isovector/algebra-checkers#readme2 versions - Latest release: over 3 years ago - 1 dependent repositories - 471 downloads total - 34 stars on GitHub - 1 maintainer
lambdabot-haskell-plugins 5.3.1
16 versions - Latest release: over 3 years ago - 1 dependent package - 15 dependent repositories - 9.66 thousand downloads total - 3 maintainerslambdabot-trusted 5.3.1
13 versions - Latest release: over 3 years ago - 1 dependent package - 14 dependent repositories - 7.52 thousand downloads total - 3 maintainersgenvalidity-appendful 0.1.0.0 💰
Merge-less syncing of arbitrary immutable items without deletions2 versions - Latest release: over 3 years ago - 3 dependent repositories - 362 downloads total - 3 stars on GitHub - 1 maintainer
cabal-detailed-quickcheck 0.2.0.1
Turn QuickCheck properties into detailed Cabal tests16 versions - Latest release: over 3 years ago - 1.3 thousand downloads total - 0 stars on GitHub - 1 maintainer
hanabi-dealer 0.15.1.1
23 versions - Latest release: over 3 years ago - 1 dependent package - 7.16 thousand downloads total - 1 maintainerflat 0.5.2
Reference implementation of flat, a principled and efficient binary serialization format.11 versions - Latest release: over 3 years ago - 2 dependent packages - 46 dependent repositories - 8.96 thousand downloads total - 1 maintainer
Past Dependents
Include Past Dependents
Check this option to include packages that no longer depend on this package in their latest version but previously did.
Filter
Filter by Kind
Links
| Registry | hackage.haskell.org |
| Source | Repository |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:hackage/QuickCheck
spec |
| License | BSD-3-Clause |
| First Release | over 19 years ago |
| Last Synced | 2 days ago |
Repository
Rankings on hackage.haskell.org
Overall
Top 0.9%
Downloads
Top 0.1%
Dependent packages
Top 0.1%
Dependent repos
Top 0.1%
Forks
Top 2.8%
Docker downloads
Top 1.3%