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.13.2 :: 2/2.13.2 :: gentoo
- Modified
- License
- BSD
- Keywords
- ~amd64 ~amd64-linux ~x86
- 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 : random number library
dev-haskell / splitmix : Fast Splittable PRNG
Runtime Dependencies
dev-haskell / random : random number library
dev-haskell / splitmix : Fast Splittable PRNG
Depending packages
app-portage / hackport : Hackage and Portage integration tool
app-text / pandoc : Conversion between markup formats
dev-haskell / aeson : Fast JSON parsing and encoding
dev-haskell / aeson-compat : Compatibility layer for aeson
dev-haskell / aeson-diff : Extract and apply patches to JSON documents
dev-haskell / arithmoi : Efficient basic number-theoretic functions. Primes, powers, integer logarithms
dev-haskell / ascii-progress : A simple progress bar for the console
dev-haskell / aws : Amazon Web Services (AWS) for Haskell
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 : Haskell98 bifunctors package
dev-haskell / binary-instances : Orphan instances for binary
dev-haskell / binary-orphans : Orphan instances for binary
dev-haskell / bits-atomic : Atomic bit operations on memory locations for low-level synchronization
dev-haskell / bitwise : fast multi-dimensional unboxed bit packed Bool arrays
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 / blaze-textual : Fast rendering of common datatypes
dev-haskell / bloomfilter : Pure and impure Bloom Filter implementations
dev-haskell / boxes : 2D text pretty-printing library
dev-haskell / bytestring-handle : ByteString-backed Handles
dev-haskell / cassava : A CSV parsing and encoding library
dev-haskell / cereal : A binary serialization library
dev-haskell / cereal-vector : Serialize instances for Data.Vector types
dev-haskell / chasingbottoms : For testing partial and infinite values
dev-haskell / chimera : Lazy infinite streams with O(1) indexing
dev-haskell / cipher-aes : Fast AES cipher implementation with advanced mode of operations
dev-haskell / cipher-camellia : Camellia block cipher primitives
dev-haskell / cipher-des : DES and 3DES primitives
dev-haskell / cipher-rc4 : Fast RC4 cipher implementation
dev-haskell / classy-prelude : A typeclass-based Prelude
dev-haskell / clientsession : Securely store session data in a client-side cookie
dev-haskell / commonmark : Pure Haskell commonmark parser
dev-haskell / commonmark-extensions : Pure Haskell commonmark parser
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 : Collects together existing Haskell cryptographic functions into a package
dev-haskell / crypto-api-tests : A test framework and KATs for cryptographic operations
dev-haskell / crypto-cipher-tests : Generic cryptography cipher tests
dev-haskell / cryptohash : collection of crypto hashes, fast, pure and practical
dev-haskell / css-text : CSS parser and renderer
dev-haskell / data-hash : Combinators for building fast hashing functions
dev-haskell / dataenc : Data encoding library
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 / doctest : Test interactive Haskell examples
dev-haskell / drbg : Deterministic random bit generator (aka PRNG) based HMACs, Hashes, and Ciphers
dev-haskell / edisoncore : A library of efficent, purely-functional data structures (Core Implementations)
dev-haskell / edit-distance : Levenshtein and restricted Damerau-Levenshtein edit distances
dev-haskell / edit-distance-vector : Calculate edit distances and edit scripts between vectors
dev-haskell / either : An either monad transformer
dev-haskell / email-validate : Email address validation
dev-haskell / enclosed-exceptions : Catching all exceptions from within an enclosed computation
dev-haskell / equivalence : Maintaining an equivalence relation implemented as union-find using STT
dev-haskell / errorcall-eq-instance : An orphan Eq instance for ErrorCall
dev-haskell / exact-pi : Exact rational multiples of pi (and integer powers of pi)
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 / fgl-arbitrary : QuickCheck support for fgl
dev-haskell / filepath-bytestring : Library for manipulating RawFilePaths in a cross platform way
dev-haskell / filepattern : File path glob-like matching
dev-haskell / fingertree : Generic finger-tree structure, with example instances
dev-haskell / genvalidity : Testing utilities for the validity library
dev-haskell / genvalidity-hspec : Standard spec's for GenValidity instances
dev-haskell / genvalidity-property : Standard properties for functions on 'Validity' types
dev-haskell / getopt-generics : Create command line interfaces with ease
dev-haskell / glob : Globbing library
dev-haskell / graphviz : Bindings to Graphviz for graph visualisation
dev-haskell / hackage-security : Hackage security library
dev-haskell / haddock-api : A documentation-generation tool for Haskell libraries
dev-haskell / haddock-library : Library exposing some functionality of Haddock
dev-haskell / hakyll : A static website compiler library
dev-haskell / half : Half-precision floating-point
dev-haskell / hashtables : Mutable hash tables in the ST monad
dev-haskell / hcodecs : A library to read, write and manipulate MIDI, WAVE, and SoundFont2 files
dev-haskell / hpack : An alternative format for Haskell packages
dev-haskell / hslua : Bindings to Lua, an embeddable scripting language
dev-haskell / hspec : A Testing Framework for Haskell
dev-haskell / hspec-core : A Testing Framework for Haskell
dev-haskell / hspec-discover : Automatically discover and run Hspec tests
dev-haskell / hspec-meta : A version of Hspec which is used to test Hspec itself
dev-haskell / hspec-smallcheck : SmallCheck support for the Hspec testing framework
dev-haskell / hsyaml : Pure Haskell YAML 1.2 parser
dev-haskell / htf : The Haskell Test Framework
dev-haskell / http-api-data : Converting to/from HTTP API data like URL pieces, headers and query parameters
dev-haskell / http-types : Generic HTTP types for Haskell (for both client and server code)
dev-haskell / interpolate : String interpolation done right
dev-haskell / invariant : Haskell 98 invariant functors
dev-haskell / io-streams : Simple, composable, and easy-to-use stream I/O
dev-haskell / iproute : IP Routing Table
dev-haskell / language-bash : Parsing and pretty-printing Bash shell scripts
dev-haskell / language-ecmascript : JavaScript parser and pretty-printer library
dev-haskell / language-javascript : Parser for JavaScript
dev-haskell / language-lua : Lua parser and pretty-printer
dev-haskell / lens : Lenses, Folds and Traversals
dev-haskell / libmpd : An MPD client library
dev-haskell / listlike : Generic support for list-like structures
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 / mutable-containers : Abstactions and concrete implementations of mutable containers
dev-haskell / neat-interpolation : A quasiquoter for neat and simple multiline text interpolation
dev-haskell / optparse-applicative : Utilities and combinators for parsing command line options
dev-haskell / pandoc-types : Types for representing a structured document
dev-haskell / pantry : Content addressable Haskell package management
dev-haskell / parsers : Parsing combinators
dev-haskell / path : Support for well-typed paths
dev-haskell / path-pieces : Components of paths
dev-haskell / pem : Privacy Enhanced Mail (PEM) format reader and writer
dev-haskell / persistent-mysql : Backend for the persistent library using MySQL database server
dev-haskell / persistent-postgresql : Backend for the persistent library using postgresql
dev-haskell / persistent-sqlite : Backend for the persistent library using sqlite3
dev-haskell / persistent-template : Type-safe, non-relational, multi-backend persistence
dev-haskell / persistent-test : Tests for Persistent
dev-haskell / pipes : Compositional pipelines
dev-haskell / pqueue : Reliable, persistent, fast priority queues
dev-haskell / project-template : Specify Haskell project templates and generate files
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 / quickcheck-unicode : Generator and shrink functions for testing Unicode-related software
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 / rsa : Implementation of RSA, using the padding schemes of PKCS#1 v2.1
dev-haskell / safe : Library of safe (exception free) functions
dev-haskell / selective : Selective applicative functors
dev-haskell / sha : Implementations of the SHA suite of message digest functions
dev-haskell / skylighting-core : syntax highlighting library
dev-haskell / snap-core : Snap: A Haskell Web Framework (core interfaces and types)
dev-haskell / snap-server : A fast, iteratee-based, epoll-enabled web server for the Snap Framework
dev-haskell / split : Combinator library for splitting lists
dev-haskell / stack : The Haskell Tool Stack
dev-haskell / statistics : A library of statistical types, data, and functions
dev-haskell / stream : A library for manipulating infinite lists
dev-haskell / streaming-commons : Common lower-level functions needed by various streaming data libraries
dev-haskell / stringbuilder : A writer monad for multi-line string literals
dev-haskell / stringprep : Implements the "StringPrep" algorithm
dev-haskell / tagsoup : Parsing and extracting information from (possibly malformed) HTML/XML documents
dev-haskell / tagstream-conduit : streamlined html tag parser
dev-haskell / tar : Reading, writing and manipulating tar files
dev-haskell / tar-conduit : Extract and create tar files using conduit for streaming
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 / testing-feat : Functional Enumeration of Algebraic Types
dev-haskell / text-metrics : Calculate various string metrics efficiently
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 / thyme : A faster time library
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 : For creating, comparing, parsing and printing Universally Unique Identifiers
dev-haskell / uuid-types : Type definitions for Universally Unique Identifiers
dev-haskell / vector-algorithms : Efficient algorithms for vector arrays
dev-haskell / vector-builder : Vector builder
dev-haskell / warp : A fast, light-weight web server for WAI applications
dev-haskell / wreq : An easy-to-use HTTP client library
dev-haskell / zlib : Compression and decompression in the gzip and zlib formats
dev-haskell / zlib-bindings : Low-level bindings to the zlib package. (deprecated)
dev-util / bnfc : A compiler front-end generator
dev-util / bustle : Draw sequence diagrams of D-Bus traffic
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
Bugs
Change logs
- 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