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.9.2 :: 2/2.9.2 :: gentoo
- Modified
- License
- BSD
- Keywords
- ~amd64 ~amd64-linux ~x86
- USE flags
- doc hscolour profile template-haskell test
v2.8.2 :: 2/2.8.2 :: gentoo
- Modified
- License
- BSD
- Keywords
- ~amd64 ~amd64-linux ~ppc ~ppc64 ~x86
- USE flags
- doc hscolour profile template-haskell test
v2.8.1 :: 2/2.8.1 :: gentoo
- Modified
- License
- BSD
- Keywords
- ~amd64 ~amd64-linux ~ppc ~ppc64 ~x86
- USE flags
- doc hscolour profile template-haskell test
v2.7.6 :: 2/2.7.6 :: gentoo
- Modified
- License
- BSD
- Keywords
- ~amd64 ~amd64-linux ~ppc ~ppc64 ~x86
- USE flags
- doc hscolour profile template-haskell test
v2.6 :: 2/2.6 :: gentoo
- Modified
- License
- BSD
- Keywords
- ~amd64 ~amd64-linux ~ppc ~ppc64 ~x86
- USE flags
- doc hscolour profile template-haskell
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 / extensible-exceptions : Extensible exceptions
dev-haskell / haddock : A documentation-generation tool for Haskell libraries
dev-haskell / hscolour : Colourise Haskell code
dev-haskell / nats : Natural numbers
dev-haskell / random : random number library
dev-haskell / semigroups : Anything that associates
dev-haskell / test-framework : Framework for running and organising tests, with HUnit and QuickCheck support
dev-haskell / tf-random : High-quality splittable pseudorandom number generator
dev-haskell / transformers : Concrete functor and monad transformers
Runtime Dependencies
dev-haskell / extensible-exceptions : Extensible exceptions
dev-haskell / nats : Natural numbers
dev-haskell / random : random number library
dev-haskell / semigroups : Anything that associates
dev-haskell / tf-random : High-quality splittable pseudorandom number generator
dev-haskell / transformers : Concrete functor and monad transformers
Depending packages
app-emulation / ganeti : Ganeti is a virtual server management software tool
app-forensics / quickfuzz : An experimental grammar fuzzer in Haskell using QuickCheck
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 / alex : Alex is a tool for generating lexical analysers in Haskell
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 / asn1-encoding : ASN1 data reader and writer in RAW, BER and DER forms
dev-haskell / attoparsec : Fast combinator parsing for bytestrings and text
dev-haskell / aws : Amazon Web Services (AWS) for Haskell
dev-haskell / base-compat : A compatibility layer for base
dev-haskell / base-orphans : Backwards-compatible orphan instances for base
dev-haskell / base64-bytestring : Fast base64 encoding and decoding for ByteStrings
dev-haskell / bifunctors : Haskell 98 bifunctors, bifoldables and bitraversables
dev-haskell / binary : Binary serialisation for Haskell values using lazy ByteStrings
dev-haskell / binary-orphans : Orphan instances for binary
dev-haskell / bio : A bioinformatics library
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-builder-conduit : Convert streams of builders to streams of bytestrings. (deprecated)
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 / boxes : 2D text pretty-printing library
dev-haskell / bytestring-handle : ByteString-backed Handles
dev-haskell / cabal : A framework for packaging Haskell software
dev-haskell / cabal-install : The command-line interface for Cabal and Hackage
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 / chell-quickcheck : QuickCheck support for the Chell testing library
dev-haskell / cipher-aes : Fast AES cipher implementation with advanced mode of operations
dev-haskell / cipher-blowfish : Blowfish cipher
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 / conduit : Streaming data processing library
dev-haskell / conduit-extra : Batteries included conduit: adapters for common libraries
dev-haskell / convertible : Typeclasses and instances for converting between types
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 / crypto-numbers : Cryptographic numbers: functions and algorithms
dev-haskell / cryptocipher : Symmetrical block and stream ciphers
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 / deriving-compat : Backports of GHC deriving extensions
dev-haskell / diff : O(ND) diff algorithm in haskell
dev-haskell / dlist : Difference lists
dev-haskell / doctest : Test interactive Haskell examples
dev-haskell / ed25519 : Ed25519 cryptographic signatures
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 / email-validate : Validating an email address string against RFC 5322
dev-haskell / enclosed-exceptions : Catching all exceptions from within an enclosed computation
dev-haskell / encoding : A library for various character encodings
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 / esqueleto : Type-safe EDSL for SQL queries on persistent backends
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 / fingertree : Generic finger-tree structure, with example instances
dev-haskell / fsnotify : Cross platform library for file change notification
dev-haskell / getopt-generics : Create command line interfaces with ease
dev-haskell / glob : Globbing library
dev-haskell / gnuidn : Bindings for GNU IDN
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 / hashable : A class for types that can be converted to a hash value
dev-haskell / hashed-storage : Hashed file storage support code
dev-haskell / haskell-platform : The Haskell Platform
dev-haskell / hcodecs : A library to read, write and manipulate MIDI, WAVE, and SoundFont2 files
dev-haskell / hdbc : Haskell Database Connectivity
dev-haskell / hdbc-odbc : ODBC driver for HDBC
dev-haskell / hdbc-postgresql : PostgreSQL driver for HDBC
dev-haskell / hjsmin : Haskell implementation of a javascript minifier
dev-haskell / hpack : An alternative format for Haskell packages
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-smallcheck : SmallCheck support for the Hspec testing framework
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 / 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 / megaparsec : Monadic parser combinators
dev-haskell / missingh : Large utility library
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 / mwc-random : Fast, high quality pseudo random number generation
dev-haskell / optparse-applicative : Utilities and combinators for parsing command line options
dev-haskell / pandoc-types : Types for representing a structured document
dev-haskell / path-pieces : Components of paths
dev-haskell / pem : Privacy Enhanced Mail (PEM) format reader and writer
dev-haskell / persistent-template : Type-safe, non-relational, multi-backend persistence
dev-haskell / pipes : Compositional pipelines
dev-haskell / project-template : Specify Haskell project templates and generate files
dev-haskell / psqueues : Pure priority search queues
dev-haskell / punycode : Encode unicode strings to ascii forms according to RFC 3492
dev-haskell / puremd5 : A Haskell-only implementation of the MD5 digest (hash) algorithm
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 / retry : Retry combinators for monadic actions that may fail
dev-haskell / safe : Library of safe (exception free) functions
dev-haskell / scientific : Numbers represented using scientific notation
dev-haskell / sha : Implementations of the SHA suite of message digest functions
dev-haskell / snap-core : Snap: A Haskell Web Framework (core interfaces and types)
dev-haskell / snap-server : A 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 / system-filepath : High-level, byte-based file and directory path manipulations (deprecated)
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 / tasty-quickcheck : QuickCheck support for the Tasty test framework
dev-haskell / test-framework : Framework for running and organising tests, with HUnit and QuickCheck support
dev-haskell / test-framework-quickcheck2 : QuickCheck2 support for the test-framework package
dev-haskell / testing-feat : Functional Enumeration of Algebraic Types
dev-haskell / testpack : Test Utililty Pack for HUnit and QuickCheck (unmaintained)
dev-haskell / text : An efficient packed Unicode text type
dev-haskell / text-icu : Bindings to the ICU library
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 / unicode-transforms : Unicode normalization
dev-haskell / unix-time : Unix time parser/formatter and utilities
dev-haskell / unordered-containers : Efficient hashing-based container types
dev-haskell / uri-bytestring : Haskell URI parsing as ByteStrings
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 : 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 / x509 : X509 reader and writer
dev-haskell / xmlgen : Fast XML generation library
dev-haskell / yesod-core : Creation of type-safe, RESTful web applications
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-haskell / zlib-conduit : Streaming compression/decompression via conduits. (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
sci-mathematics / agda : A dependently typed functional programming language and proof assistant
Change logs
- 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