ghc-QuickCheck - Automatic testing of Haskell programs

Property Value
Distribution openSUSE Leap 15.1
Repository openSUSE Oss all
Package filename ghc-QuickCheck-
Package name ghc-QuickCheck
Package version
Package release lp151.1.2
Package architecture x86_64
Package type rpm
Category Development/Libraries/Haskell
License BSD-3-Clause
Maintainer -
Download size 284.59 KB
Installed size 1.79 MB
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 provided by QuickCheck.
QuickCheck provides combinators to define properties, observe the distribution
of test data, and define test data generators.
Most of QuickCheck's functionality is exported by the main "Test.QuickCheck"
module. The main exception is the monadic property testing library in
If you are new to QuickCheck, you can try looking at the following resources:
* The < official
QuickCheck manual>. It's a bit out-of-date in some details and doesn't cover
newer QuickCheck features, but is still full of good advice. *
<>, a detailed
tutorial written by a user of QuickCheck.
The <
quickcheck-instances> companion package provides instances for types in Haskell
Platform packages at the cost of additional dependencies.


Package Version Architecture Repository
ghc-QuickCheck - - -


Name Value - - - - - - - - - - - - - - - - - - - -


Name Value
ghc-QuickCheck =
ghc-QuickCheck(x86-64) = -


Type URL
Binary Package ghc-QuickCheck-
Source Package ghc-QuickCheck-

Install Howto

Install ghc-QuickCheck rpm package:

# zypper install ghc-QuickCheck




2018-10-10 -
- Update QuickCheck to version
QuickCheck 2.12.6 (released 2018-10-02)
* Make arbitrarySizedBoundedIntegral handle huge sizes correctly.
* Add changelog for QuickCheck 2.12.5 :)
QuickCheck 2.12.5 (released 2018-09-30)
* Export isSuccess from Test.QuickCheck.
* Export CoArbitrary even when generics are disabled (bugfix).
* Fix bug in shrinkDecimal.
* Include Test.QuickCheck.Gen in exposed modules for Haddock.
QuickCheck 2.12.3, 2.12.4 (released 2018-09-12)
* Shrinking for Float and Decimal now works by reducing the number
of digits in the number. The new function shrinkDecimal
implements this shrinking behaviour.
* Shrinking for Rational now tries to make the numerator and
denominator of the number smaller. Previously it tried to reduce
the magnitude of the number.
QuickCheck 2.12.2 (released 2018-09-10)
* Fix infinite shrinking loop for fractional types.
* Add SortedList modifier.
QuickCheck 2.12.1 (released 2018-09-06)
* Fix bug in 'classify'.
QuickCheck 2.12 (released 2018-09-03)
* Silently breaking changes!
- The Arbitrary instance for Word now generates only small
values, the same as Int
- cover no longer causes a property failure if coverage is
insufficient. It just prints a warning. (But see next item!)
* Overhaul of label/cover family of combinators:
- New property combinator checkCoverage, which checks coverage
requirements in a statistically sound way, and *does* fail if
they are not met.
- Order of arguments to cover swapped, to make it easier to
switch between classify and cover
- New combinators tabulate and coverTable, for reporting test
case distribution more flexibly than label.
- When label is called multiple times in a property, each call
produces a separate table of frequencies.
* New functions:
- (=/=): like (/=), but prints a counterexample
(thanks to tom-bop)
- forAllShow/forAllShrinkShow: quantification using an
explicit show function (thanks to Stevan Andjelkovic)
- forAllBlind/forAllShrinkBlind: quantification without
printing anything
- verboseShrinking: see how a counterexample is shrunk
- labelledExamples: given a property which uses label,
generate an example test case for each label
- idempotentIOProperty: a variant of ioProperty which shrinks
better but only works for idempotent I/O actions
* Other improvements:
- MonadFix Gen instance (thanks to Jon Fowler)
- Rational numbers shrink using continued fractions
(thanks to Justus Sagemüller)
- Function instances for Const, Identity, and the types in
Data.Monoid; instance Functor Fun (thanks to Erik Schnetter
and Xia Li-yao)
- More of Test.QuickCheck.Function is exported from
- Semantics of .||. changed to improve short-circuiting:
if the left argument's precondition is false, the right
argument is not evaluated and the whole disjunction is
considered to have a false precondition
- Bug fix: suchThatMaybe always increased size to at least 1
* Miscellaneous API changes:
- Result type has changed a bit:
- InsufficientCovered constructor is gone
- Type of labels has changed
- New fields classes, tables
2018-07-18 -
- Cosmetic: replace tabs with blanks, strip trailing white space,
and update copyright headers with spec-cleaner.

See Also

Package Description
ghc-QuickCheck-devel- Haskell QuickCheck library development files
ghc-SDL- Binding to libSDL
ghc-SDL-devel- Haskell SDL library development files
ghc-SDL-image- Binding to libSDL_image
ghc-SDL-image-devel- Haskell SDL-image library development files
ghc-SDL-mixer- Binding to libSDL_mixer
ghc-SDL-mixer-devel- Haskell SDL-mixer library development files
ghc-SHA- Implementations of the SHA suite of message digest functions
ghc-SHA-devel- Haskell SHA library development files
ghc-ShellCheck-0.6.0-lp151.1.3.x86_64.rpm Haskell ShellCheck library
ghc-ShellCheck-devel-0.6.0-lp151.1.3.x86_64.rpm Haskell ShellCheck library development files
ghc-StateVar- State variables
ghc-StateVar-devel- Haskell StateVar library development files
ghc-X11-1.9-lp151.1.2.x86_64.rpm A binding to the X11 graphics library
ghc-X11-devel-1.9-lp151.1.2.x86_64.rpm Haskell X11 library development files