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.9.2 :: 2/2.9.2 :: gentoo

Modified
License
BSD
Keywords
amd64 x86 ~amd64-linux ~x86-fbsd
USE flags
doc hscolour profile template-haskell test

v2.8.2 :: 2/2.8.2 :: gentoo

Modified
License
BSD
Keywords
amd64 x86 ~alpha ~amd64-linux ~ia64 ~ppc ~ppc64 ~sparc ~x86-fbsd
USE flags
doc hscolour profile template-haskell test

v2.8.1 :: 2/2.8.1 :: gentoo

Modified
License
BSD
Keywords
amd64 x86 ~alpha ~amd64-linux ~ia64 ~ppc ~ppc64 ~sparc ~x86-fbsd
USE flags
doc hscolour profile template-haskell test

v2.7.6 :: 2/2.7.6 :: gentoo

Modified
License
BSD
Keywords
~alpha ~amd64 ~amd64-linux ~ia64 ~ppc ~ppc64 ~sparc ~x86 ~x86-fbsd
USE flags
doc hscolour profile template-haskell test

v2.6 :: 2/2.6 :: gentoo

Modified
License
BSD
Keywords
alpha amd64 ia64 ppc ppc64 sparc x86 ~amd64-linux ~x86-fbsd
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

dev-lang / ghc : The Glasgow Haskell Compiler

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

dev-lang / ghc : The Glasgow Haskell Compiler

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 / 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-docker : Dockerfile parser, pretty-printer and embedded DSL

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 / 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' archive 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

x11-wm / xmonad : A tiling window manager

Change logs

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