dev-haskell / quickcheck

Automatic testing of Haskell programs

Official package sites : https://github.com/nick8325/quickcheck ·

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 ~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

dev-lang / ghc : The Glasgow Haskell Compiler

Runtime Dependencies

dev-haskell / random : Pseudo-random number generation

dev-haskell / splitmix : Fast Splittable PRNG

dev-lang / ghc : The Glasgow Haskell Compiler

Depending packages

app-portage / hackport : Hackage and Portage integration tool

dev-haskell / aeson : Fast JSON parsing and encoding

dev-haskell / aeson-diff : Extract and apply patches to JSON documents

dev-haskell / base-compat-batteries : base-compat with extra batteries

dev-haskell / base-orphans : Backwards-compatible orphan instances for base

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 / cryptohash : collection of crypto hashes, fast, pure and practical

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 / drbg : Deterministic random bit generator (aka PRNG) based HMACs, Hashes, and Ciphers

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 / 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 / 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 / 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 / hashtables : Mutable hash tables in the ST monad

dev-haskell / hpack : A modern format for Haskell packages

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-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-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 / interpolate : String interpolation done right

dev-haskell / invariant : Haskell98 invariant functors

dev-haskell / io-streams : Simple, composable, and easy-to-use stream I/O

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 / megaparsec-tests : Test utilities and the test suite of Megaparsec

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 / neat-interpolation : A quasiquoter for neat and simple multiline text interpolation

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 / parser-combinators : Lightweight package providing commonly useful parser combinators

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 : 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 / 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 / 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 / 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 / snap-core : Snap: A Haskell Web Framework (core interfaces and types)

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 / 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 / tar-conduit : Extract and create tar files using conduit for streaming

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-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 / 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 / vector-builder : Vector builder

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-haskell / zlib-bindings : Low-level bindings to the zlib package. (deprecated)

dev-util / bnfc : A compiler front-end generator

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

x11-wm / xmonad : A tiling window manager

x11-wm / xmonad-contrib : Community-maintained extensions extensions for xmonad

Bugs

735880
dev-haskell/quickcheck-2.9.2 fails to compile
769893
dev-haskell/quickcheck-2.13.2 fails compiling due to upstream dependency changes
782094
dev-haskell/quickcheck-2.13.2 - Test/.../Random.hs: error:

Change logs

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