Summary
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 defined in the QuickCheck library. QuickCheck provides combinators to define properties, observe the distribution of test data, and define test data generators.
Versions
v2.14.2 :: 2/2.14.2 :: gentoo
- Modified
- License
- BSD
- Keywords
- amd64 ~amd64-linux ~arm64 ~ppc64 ~riscv ~x86 ~x86-linux
- USE flags
- doc hscolour profile template-haskell test
USE flags
General
- doc
- Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
- hscolour
- Include coloured haskell sources to generated documentation (dev-haskell/hscolour)
- profile
- Add support for software performance analysis (will likely vary from ebuild to ebuild)
- template-haskell
- Enable additional test modules requiring Template Haskell support.
- test
- Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)
Dependencies
dev-haskell / cabal : A framework for packaging Haskell software
dev-haskell / hscolour : Colourise Haskell code
dev-haskell / random : Pseudo-random number generation
dev-haskell / splitmix : Fast Splittable PRNG
Runtime Dependencies
dev-haskell / random : Pseudo-random number generation
dev-haskell / splitmix : Fast Splittable PRNG
Depending packages
app-portage / hackport : Hackage and Portage integration tool
dev-haskell / aeson : Fast JSON parsing and encoding
dev-haskell / base-compat-batteries : base-compat with extra batteries
dev-haskell / base64-bytestring : Fast base64 encoding and decoding for ByteStrings
dev-haskell / bencode : Parser and printer for bencoded data
dev-haskell / bifunctors : The Bifunctors package authored by Edward Kmett
dev-haskell / blaze-builder : Efficient buffered output
dev-haskell / blaze-html : A blazingly fast HTML combinator library for Haskell
dev-haskell / blaze-markup : A blazingly fast markup combinator library for Haskell
dev-haskell / bloomfilter : Pure and impure Bloom Filter implementations
dev-haskell / cassava : A CSV parsing and encoding library
dev-haskell / cereal : A binary serialization library
dev-haskell / cipher-aes : Fast AES cipher implementation with advanced mode of operations
dev-haskell / clientsession : Securely store session data in a client-side cookie
dev-haskell / conduit : Streaming data processing library
dev-haskell / conduit-extra : Batteries included conduit: adapters for common libraries
dev-haskell / cookie : HTTP cookie parsing and rendering
dev-haskell / criterion : Robust, reliable performance measurement and analysis
dev-haskell / crypto-api-tests : A test framework and KATs for cryptographic operations
dev-haskell / crypto-cipher-tests : Generic cryptography cipher tests
dev-haskell / css-text : CSS parser and renderer
dev-haskell / dbus : A client library for the D-Bus IPC system
dev-haskell / dense-linear-algebra : Simple and incomplete pure haskell implementation of linear algebra
dev-haskell / deriving-compat : Backports of GHC deriving extensions
dev-haskell / diff : O(ND) diff algorithm in haskell
dev-haskell / dlist : Difference lists
dev-haskell / dns : DNS library in Haskell
dev-haskell / edit-distance : Levenshtein and restricted Damerau-Levenshtein edit distances
dev-haskell / email-validate : Email address validation
dev-haskell / enclosed-exceptions : Catching all exceptions from within an enclosed computation
dev-haskell / errorcall-eq-instance : An orphan Eq instance for ErrorCall
dev-haskell / exceptions : Extensible optionally-pure exceptions
dev-haskell / extra : Extra functions I use
dev-haskell / fgl : Martin Erwig's Functional Graph Library
dev-haskell / filepath-bytestring : Library for manipulating RawFilePaths in a cross platform way
dev-haskell / fingertree : Generic finger-tree structure, with example instances
dev-haskell / getopt-generics : Create command line interfaces with ease
dev-haskell / glob : Globbing library
dev-haskell / hackage-security : Hackage security library
dev-haskell / haddock-library : Library exposing some functionality of Haddock
dev-haskell / hslua : Bindings to Lua, an embeddable scripting language
dev-haskell / hslua-aeson : Allow aeson data types to be used with Lua
dev-haskell / hslua-classes : Type classes for HsLua
dev-haskell / hslua-core : Bindings to Lua, an embeddable scripting language
dev-haskell / hslua-marshalling : Marshalling of values between Haskell and Lua
dev-haskell / hslua-objectorientation : Object orientation tools for HsLua
dev-haskell / hspec : A Testing Framework for Haskell
dev-haskell / hspec-core : A Testing Framework for Haskell
dev-haskell / hspec-meta : A version of Hspec which is used to test Hspec itself
dev-haskell / hspec-wai : Experimental Hspec support for testing WAI applications
dev-haskell / hsyaml : Pure Haskell YAML 1.2 parser
dev-haskell / http-api-data : Converting to/from HTTP API data like URL pieces, headers and query parameters
dev-haskell / http-media : Processing HTTP Content-Type and Accept headers
dev-haskell / http-types : Generic HTTP types for Haskell (for both client and server code)
dev-haskell / indexed-traversable-instances : More instances of FunctorWithIndex, FoldableWithIndex, TraversableWithIndex
dev-haskell / invariant : Haskell98 invariant functors
dev-haskell / iproute : IP Routing Table
dev-haskell / language-javascript : Parser for JavaScript
dev-haskell / lens : Lenses, Folds and Traversals
dev-haskell / libmpd : An MPD client library
dev-haskell / lua-arbitrary : Arbitrary instances for Lua types
dev-haskell / markdown-unlit : Literate Haskell support for Markdown
dev-haskell / math-functions : Special functions and Chebyshev polynomials
dev-haskell / monad-par : A library for parallel programming based on a monad
dev-haskell / mono-traversable : Type classes for mapping, folding, and traversing monomorphic containers
dev-haskell / network : Low-level networking interface
dev-haskell / optparse-applicative : Utilities and combinators for parsing command line options
dev-haskell / pandoc-lua-marshal : Use pandoc types in Lua
dev-haskell / pandoc-types : Types for representing a structured document
dev-haskell / parsers : Parsing combinators
dev-haskell / path-pieces : Components of paths
dev-haskell / pem : Privacy Enhanced Mail (PEM) format reader and writer
dev-haskell / persistent : Type-safe, multi-backend data serialization
dev-haskell / persistent-sqlite : Backend for the persistent library using sqlite3
dev-haskell / persistent-test : Tests for Persistent
dev-haskell / psqueues : Pure priority search queues
dev-haskell / puremd5 : A Haskell-only implementation of the MD5 digest (hash) algorithm
dev-haskell / quickcheck-classes : QuickCheck common typeclasses
dev-haskell / quickcheck-classes-base : QuickCheck common typeclasses from 'base'
dev-haskell / quickcheck-instances : Common quickcheck instances
dev-haskell / quickcheck-io : Use HUnit assertions as QuickCheck properties
dev-haskell / reflection : Reifies arbitrary terms into types that can be reflected back into terms
dev-haskell / rio : A standard library for Haskell
dev-haskell / safe : Library of safe (exception free) functions
dev-haskell / servant : A family of combinators for defining webservices APIs
dev-haskell / servant-server : A family of combinators for defining webservices APIs and serving them
dev-haskell / sha : Implementations of the SHA suite of message digest functions
dev-haskell / skylighting-core : syntax highlighting library
dev-haskell / split : Combinator library for splitting lists
dev-haskell / statistics : A library of statistical types, data, and functions
dev-haskell / streaming-commons : Common lower-level functions needed by various streaming data libraries
dev-haskell / string-conversions : Simplifies dealing with different types for strings
dev-haskell / stringbuilder : A writer monad for multi-line string literals
dev-haskell / tagsoup : Parsing and extracting information from (possibly malformed) HTML/XML documents
dev-haskell / tasty-lua : Write tests in Lua, integrate into tasty
dev-haskell / tasty-quickcheck : QuickCheck support for the Tasty test framework
dev-haskell / test-framework-quickcheck2 : QuickCheck2 support for the test-framework package
dev-haskell / text-show : Efficient conversion of values into Text
dev-haskell / th-lift-instances : Lift instances for template-haskell for common data types
dev-haskell / time-compat : Compatibility package for time
dev-haskell / tls : TLS/SSL protocol native implementation (Server and Client)
dev-haskell / tree-diff : Diffing of (expression) trees
dev-haskell / trifecta : A modern parser combinator library with convenient diagnostics
dev-haskell / unicode-transforms : Unicode normalization
dev-haskell / unix-time : Unix time parser/formatter and utilities
dev-haskell / unliftio : The MonadUnliftIO typeclass for unlifting monads to IO (batteries included)
dev-haskell / uuid-types : Type definitions for Universally Unique Identifiers
dev-haskell / vector : Efficient Arrays
dev-haskell / vector-algorithms : Efficient algorithms for vector arrays
dev-haskell / warp : A fast, light-weight web server for WAI applications
dev-haskell / witherable : filterable traversable
dev-haskell / zlib : Compression and decompression in the gzip and zlib formats
dev-util / shellcheck : Shell script analysis tool
dev-vcs / darcs : a distributed, interactive, smart revision control system
dev-vcs / git-annex : manage files with git, without checking their contents into git
dev-vcs / git-repair : A tool to repair damaged git repositories
x11-wm / xmonad : A tiling window manager
x11-wm / xmonad-contrib : Community-maintained extensions extensions for xmonad
Bugs
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - hololeap · gentoo
dev-haskell/quickcheck: Stabilize for amd64
Signed-off-by: hololeap <hololeap@users.noreply.github.com> Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - matoro · gentoo
dev-haskell/quickcheck: keyword 2.14.2 for ~riscv
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - matoro · gentoo
dev-haskell/quickcheck: keyword 2.14.2 for ~arm64
Thanks-to: Marcus Comstedt <marcus@mc.pp.se> Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - matoro · gentoo
dev-haskell/quickcheck: drop 2.13.2
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - matoro · gentoo
dev-haskell/quickcheck: add 2.14.2
Signed-off-by: matoro <matoro@users.noreply.github.com> Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sergei Trofimovich · gentoo
dev-haskell/quickcheck: drop old
Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sergei Trofimovich · gentoo
dev-haskell/quickcheck: update to EAPI=7
Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sergei Trofimovich · gentoo
*/*: drop ~ppc and ~ppc64 keywords for dev-lang/ghc and rdeps
dev-lang/ghc was not being kept up to date consistently for quite a while. We'll still try to build ppc64 BE/LE binaries for it but no promise of keywords. Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Jack Todaro · gentoo
dev-haskell/quickcheck: bump up to 2.13.2
Package-Manager: Portage-3.0.1, Repoman-2.3.23 Signed-off-by: Jack Todaro <solpeth@posteo.org> Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sergei Trofimovich · gentoo
*/*: destabilize dev-lang/ghc for all arches
dev-lang/ghc is a fast-moving target without much of stable API across major GHC releases. This makes stabilization process a fragile process. The change moves all haskell revdeps to pure ~arch. There are not many outside dev-haskell/*: - app-emulation/ganeti - app-text/pandoc - dev-util/bustle - dev-util/shellcheck - dev-vcs/darcs - x11-wm/xmonad/xmonad Existing stable haskell users are recommended to keyword used packages and all of dev-haskell/* to ease upgrades. Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sergei Trofimovich · gentoo
*/*: dekeyword haskell on ia64
ia64 is an unregisterised GHC target. That means you need a few days to build ghc itself. It's fun to play with but not practical to use software. Cross-compilation to ia64 still works. Let's drop keywords. Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Rolf Eike Beer · gentoo
drop haskell on sparc, it doesn't build at all
Signed-off-by: Rolf Eike Beer <eike@sf-mail.de> Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Matt Turner · gentoo
*/*: Drop stable ia64 keywords
Signed-off-by: Matt Turner <mattst88@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Matt Turner · gentoo
dev-haskell/*: drop alpha keywords
Signed-off-by: Matt Turner <mattst88@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michał Górny · gentoo
*/*: Bump copyright on files touched this year
Update the copyright notice on all files that were touched since January 1st but did not have the notice updated. Signed-off-by: Michał Górny <mgorny@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Matt Turner · gentoo
*/*: Drop stable alpha keywords
Signed-off-by: Matt Turner <mattst88@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michał Górny · gentoo
*/*: Inline mirror://hackage and update URIs
This change inlines mirror://hackage in all ebuilds, and updates URIs to the modern form (old URIs redirect to that). The change has been made using the following command: find -name '*.ebuild' -exec sed -r -i \ -e 's@mirror://hackage/@https://hackage.haskell.org/@g' \ -e 's@https://hackage.haskell.org/packages/archive/([^/]*)/([^/]*)/@https://hackage.haskell.org/package/\1-\2/@g' \ -e '/hackage\.haskell\.org/s@\$\{PN}-\$\{PV}@${P}@g' \ -e '/hackage\.haskell\.org/s@\$\{MY_PN}-\$\{PV}@${MY_P}@g' \ -e '/hackage\.haskell\.org/s@\$\{PN}-\$\{MY_PV}@${MY_P}@g' \ {} + Signed-off-by: Michał Górny <mgorny@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michał Górny · gentoo
dev-haskell: Remove *-fbsd KEYWORDS
Signed-off-by: Michał Górny <mgorny@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sergei Trofimovich · gentoo
dev-haskell/quickcheck: rename IUSE from underscores to dashes
Reported-by: Michał Górny Closes: https://bugs.gentoo.org/695038 Package-Manager: Portage-2.3.76, Repoman-2.3.17 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sergei Trofimovich · gentoo
dev-haskell/quickcheck: drop old
Package-Manager: Portage-2.3.76, Repoman-2.3.17 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Thomas Deutschmann · gentoo
dev-haskell/quickcheck: x86 stable (bug #667778)
Package-Manager: Portage-2.3.62, Repoman-2.3.12 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Agostino Sarubbo · gentoo
dev-haskell/quickcheck: amd64 stable wrt bug #667778
Signed-off-by: Agostino Sarubbo <ago@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11 RepoMan-Options: --include-arches="amd64" - Michał Górny · gentoo
*/*: Specify EAPI=0 explicitly, to ease greps
Closes: https://github.com/gentoo/gentoo/pull/8199 - Michael Mair-Keimberger · gentoo
dev-haskell/quickcheck: fix HOMEPAGE - Sergei Trofimovich · gentoo
dev-haskell/quickcheck: stable 2.9.2 for x86/amd64, bug #631138
Package-Manager: Portage-2.3.10, Repoman-2.3.3 RepoMan-Options: --include-arches="amd64 x86" - Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> - Sergei Trofimovich · gentoo
dev-haskell/quickcheck: bump up to 2.9.2
Package-Manager: Portage-2.3.3, Repoman-2.3.1 - Sergei Trofimovich · gentoo
dev-haskell/quickcheck: amd64/x86 stable, bug #563090
Package-Manager: portage-2.2.28 - Ian Delaney · gentoo
Merge remote-tracking branch 'remotes/Coacher/mpv-verbump-to-0.15.0'
Pull request: https://github.com/gentoo/gentoo/pull/675 - Sergei Trofimovich · gentoo
dev-haskell/quickcheck: bump up to 2.8.2
Package-Manager: portage-2.2.26 - Sergei Trofimovich · gentoo
dev-haskell/quickcheck: stable on amd64/x86, bug #554002
Package-Manager: portage-2.2.20 - Robin H. Johnson · gentoo
proj/gentoo: Initial commit
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed