dev-haskell / smallcheck

A property-based testing library

Official package sites : https://github.com/feuerbach/smallcheck ·

SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but instead of testing for a sample of randomly generated values, SmallCheck tests properties for all the finitely many values up to some depth, progressively increasing the depth used.

v1.1.1 :: 0/1.1.1 :: gentoo

Modified
License
BSD
Keywords
amd64 x86 ~ppc ~ppc64 ~sparc
USE flags
doc hscolour profile

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)

dev-haskell / cabal : A framework for packaging Haskell software

dev-haskell / haddock : A documentation-generation tool for Haskell libraries

dev-haskell / hscolour : Colourise Haskell code

dev-haskell / logict : A backtracking logic-programming monad

dev-haskell / mtl : Monad classes, using functional dependencies

dev-lang / ghc : The Glasgow Haskell Compiler

dev-haskell / logict : A backtracking logic-programming monad

dev-haskell / mtl : Monad classes, using functional dependencies

dev-lang / ghc : The Glasgow Haskell Compiler

dev-haskell / arithmoi : Efficient basic number-theoretic functions. Primes, powers, integer logarithms

dev-haskell / haskell-src-exts : Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

dev-haskell / hspec-smallcheck : SmallCheck support for the Hspec testing framework

dev-haskell / regex-applicative : Regex-based parsing with applicative interface

dev-haskell / scientific : Numbers represented using scientific notation

dev-haskell / stack : The Haskell Tool Stack

dev-haskell / store : Fast binary serialization

dev-haskell / tasty-smallcheck : SmallCheck support for the Tasty test framework

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/smallcheck: drop old
Package-Manager: portage-2.2.28
Mikle Kolyada · gentoo
dev-haskell/smallcheck: amd64 stable wrt bug #550406
Package-Manager: portage-2.2.20.1
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