dev-haskell / quickcheck

Automatic testing of Haskell programs

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

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.

v2.13.2 :: 2/2.13.2 :: gentoo

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

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 ~x86
USE flags
doc hscolour profile template-haskell test

v2.8.1 :: 2/2.8.1 :: gentoo

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

v2.7.6 :: 2/2.7.6 :: gentoo

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

v2.6 :: 2/2.6 :: gentoo

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

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)

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 / splitmix : Fast Splittable PRNG

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

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 / splitmix : Fast Splittable PRNG

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

app-forensics / quickfuzz : An experimental grammar fuzzer in Haskell using QuickCheck

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 : Binary serialisation for Haskell values using lazy ByteStrings

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 / cabal : A framework for packaging Haskell software

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 / 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 / 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 / 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 / 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 / haskell-platform : The Haskell Platform

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 : A Lua language interpreter embedding in Haskell

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 / mwc-random : Fast, high quality pseudo random number generation

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 / 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-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 / 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 : An efficient packed Unicode text type

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 : 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 / 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

x11-wm / xmonad : A tiling window manager

735880
dev-haskell/quickcheck-2.9.2 fails to compile
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