| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: ghc-QuickCheck | Distribution: openSUSE Leap 15.2 |
| Version: 2.13.2 | Vendor: openSUSE |
| Release: lp152.1.4 | Build date: Thu May 21 23:10:50 2020 |
| Group: Unspecified | Build host: obs-arm-8 |
| Size: 2389352 | Source RPM: ghc-QuickCheck-2.13.2-lp152.1.4.src.rpm |
| Packager: https://bugs.opensuse.org | |
| Url: https://hackage.haskell.org/package/QuickCheck | |
| Summary: Automatic testing of Haskell programs | |
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 "Test.QuickCheck.Monadic". If you are new to QuickCheck, you can try looking at the following resources: * The <http://www.cse.chalmers.se/~rjmh/QuickCheck/manual.html 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. * <https://begriffs.com/posts/2017-01-14-design-use-quickcheck.html>, a detailed tutorial written by a user of QuickCheck. The <https://hackage.haskell.org/package/quickcheck-instances quickcheck-instances> companion package provides instances for types in Haskell Platform packages at the cost of additional dependencies.
BSD-3-Clause
* Fri Nov 08 2019 Peter Simons <psimons@suse.com>
- Drop obsolete group attributes.
* Mon Jul 01 2019 psimons@suse.com
- Update QuickCheck to version 2.13.2.
Upstream has edited the change log file since the last release in
a non-trivial way, i.e. they did more than just add a new entry
at the top. You can review the file at:
http://hackage.haskell.org/package/QuickCheck-2.13.2/src/changelog
* Tue Jun 11 2019 Peter Simons <psimons@suse.com>
- Update Cabal file for more accurate build dependencies.
* Sat Mar 30 2019 psimons@suse.com
- Update QuickCheck to version 2.13.1.
QuickCheck 2.13.1 (release 2019-03-29)
* A couple of bug fixes
QuickCheck 2.13 (released 2019-03-26)
* Properties with multiple arguments now shrink better.
Previously, the first argument was shrunk, then the second, and
so on. Now, the arguments are shrunk as a whole, so shrink steps
for different arguments can be interleaved.
* New features:
- New modifiers Negative and NonPositive
- A Testable instance for Maybe prop (where Nothing means 'discard
the test case')
* Dependencies on C code removed:
- Use splitmix instead of tf-random for random number generation
- Remove dependency on 'erf' package
* Small changes:
- Say 'Falsified' instead of 'Falsifiable' when a property fails
* Compatibility improvements:
- Explicitly derive instance Typeable Args
- Lower bound on deepseq
- A script for building Hugs packages
* Wed Oct 10 2018 psimons@suse.com
- Update QuickCheck to version 2.12.6.1.
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
Test.QuickCheck
- 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
* Wed Jul 18 2018 psimons@suse.com
- Cosmetic: replace tabs with blanks, strip trailing white space,
and update copyright headers with spec-cleaner.
* Mon May 14 2018 psimons@suse.com
- Update QuickCheck to version 2.11.3.
* New features:
- InfiniteList modifier generates infinite lists and shows
only the relevant part.
- applyArbitrary2/3/4 for applying a function to random
arguments.
- Template Haskell function allProperties returns all
properties in a module.
* Applicative Gen instances do less splitting.
* Property now has a Typeable instance.
* (===) now prints correct output when the property is true.
* Test.QuickCheck now exports Fun constructor.
* verboseCheck output is now slightly less confusing.
* Arbitrary instances for Foreign.C.Types are available in more
GHC versions.
* Fixed a bug where withMaxSuccess didn't adjust the allowed
number of discarded tests.
* Remove quadratic behaviour in terminal output.
* New combinators:
- withMaxSuccess sets the maximum number of test cases for a property.
- shrinkMap/shrinkMapBy are helpers for defining shrink functions.
- total checks that a value is non-crashing.
- suchThatMap is similar to 'suchThat'
but takes a Maybe-returning function instead of a predicate.
- getSize returns the current test case size.
* Random strings and characters now include Unicode characters by
default. To generate only ASCII characters, use the new
ASCIIString modifier or arbitraryASCIIChar generator.
The following modifiers and generators also control the
kind of strings generated: UnicodeString, PrintableString,
arbitraryUnicodeChar, arbitraryPrintableChar.
* QuickCheck no longer catches asynchronous exceptions, which
means that pressing ctrl-C will now cancel testing without
printing a counterexample. If you are debugging an infinite loop,
please use the 'within' combinator or 'verboseCheck' instead.
('within' is better as it allows the counterexample to be
shrunk.)
* Much of Test.QuickCheck.Function (showable random functions)
is now exported from Test.QuickCheck.
- Test.QuickCheck.Function now defines functions and
pattern synonyms which simplify testing functions of
more than one argument: apply2, apply3, Fn2, Fn3.
* New typeclasses Arbitrary1 and Arbitrary2 which lift Arbitrary
to unary/binary type constructors, like in Data.Functor.Classes.
* Some Arbitrary instances have been removed: NonEmpty, Natural.
This is because they resulted in a lot of extra dependencies.
You can now find them in the quickcheck-instances package.
Alternatively, use the NonEmptyList and NonNegative modifiers.
* New Arbitrary instances for the following types: Proxy, ExitCode,
WrappedMonad, WrappedArrow, QCGen, and the types in
Foreign.C.Types and Data.Functor.{Product,Compose}.
Also a Function instance for Word.
* The functions in Test.QuickCheck.Monadic which take an argument
of type PropertyM m a now expect that 'a' to be Testable, and test it.
To reduce breakage from this, () is now an instance of Testable which
always succeeds.
- PropertyM now has a MonadFail instance on recent GHCs.
Furthermore, the constraints on some instances were loosened.
* Miscellaneous API changes:
- Result now returns the counterexample as a list of strings.
See the "failingTestCase" field.
- Args now has a `maxShrinks` argument, the maximum number of
shrinks to try before giving up shrinking.
- The 'labels' field of Result now encodes frequencies as Doubles
rather than Ints.
* Bugfixes:
- 'Test.QuickCheck.Function', 'Test.QuickCheck.Poly', and
'Test.QuickCheck.Monadic' are now Safe modules.
- Result.theException and Result.reason were taken from
the pre-shrunk counterexample, not the shrunk one.
- The Testable Property instance improperly used 'again'.
- Gen.>>= is strict in the result of split, fixing a space leak.
- within now gives a better error message on timeout
* Some more examples and links have been added to the documentation.
* Sun Feb 12 2017 psimons@suse.com
- Update to version 2.9.2 with cabal2obs.
* Sun Jul 10 2016 psimons@suse.com
- Update to version 2.8.2 revision 0 with cabal2obs.
* Thu May 26 2016 mimi.vx@gmail.com
- update to 2.8.2
* GHC 8 support
* Add Arbitrary and CoArbitrary instances for types in containers package
* Improve speed of shuffle combinator
* Only print to stderr if it's a terminal.
* Small changes: slightly improve documentation, remove redundant constraints
from some functions' types, small improvements to Test.QuickCheck.All.
* Tue May 12 2015 mimi.vx@gmail.com
- update to 2.8.1
* Fix bug where exceptions thrown printing counterexamples weren't
being caught when terminal output was disabled
* Don't export Test.QuickCheck.Property.result
* Support for GHC 7.10
* Arbitrary instance for Natural
* New generators shuffle and sublistOf
* Support for generic coarbitrary
* When using the cover combinator, insufficient coverage now
causes the property to fail
* Test.QuickCheck.Function: new pattern synonym Fn
* genericShrink no longer requires Typeable
* Result has a new constructor InsufficientCoverage
* resize throws an error if the size is negative
* Fix memory leaks
* Exceptions thrown by callbacks now cause the test to fail
* Fixed a bug where the cover combinator wouldn't give a
warning if coverage was 0%
* Fri Apr 10 2015 mimi.vx@gmail.com
- update to 2.7.6
* Add annotations for Safe Haskell.
* Fix bug in cabal file which broke cabal test
* Fixed bug - the Small modifier didn't work on unsigned types
* Changed arbitrarySizedIntegral to have an Integral constraint
instead of just Num
* New genericShrink function provides generic shrinking with GHC.
* New combinator x === y: fails if x /= y, but also prints their values
* New function generate :: Gen a -> IO a for running a generator.
* New combinators infiniteList and infiniteListOf for generating infinite lists.
* Several combinators added to the main Test.QuickCheck module which
were previously languishing in other modules. Of particular interest:
quickCheckAll, ioProperty.
* New combinators delay and capture which can be used (unsafely!)
to reuse the random number seed. Useful for generating
polymorphic (rank-2) values.
* A new Discard data type and a Testable instance for discarding test cases.
* All modifiers now have Functor instances and accessor functions.
* Pressing ctrl-C during shrinking now shows the last failed
test case, rather than the current shrinking candidate.
* Experimental support for UHC. You will need the latest version of Cabal from git.
* Better distribution of test data:
* The Int generator now only generates fairly small numbers.
* The new Small and Large modifiers control the distribution of integers
(Small generates small numbers, Large from the whole range).
* Floating-point numbers shrink better.
* Improved random number generation:
* QuickCheck now uses TFGen rather than StdGen on newer versions
of GHC, because StdGen's random numbers aren't always random.
* 'variant' now uses a prefix code. This should prevent some
potential bananaskins with coarbitrary.
* API changes:
* The Gen monad now uses an abstract type QCGen rather than StdGen.
* The Result type now returns the thrown exception and number
of failed shrink attempts.
* Property is now a newtype rather than Gen Prop as it was before.
* promote is moved into the new module Test.QuickCheck.Gen.Unsafe.
* 'printTestCase' is deprecated - its new name is 'counterexample'
* 'morallyDubiousIOProperty' is deprecated - its new name is
'ioProperty', no moral judgement involved :)
/usr/lib64/ghc-8.10.1/QuickCheck-2.13.2 /usr/lib64/ghc-8.10.1/QuickCheck-2.13.2/libHSQuickCheck-2.13.2-8Gm7zF4PhATKwipVE3KL14-ghc8.10.1.so /usr/share/licenses/ghc-QuickCheck /usr/share/licenses/ghc-QuickCheck/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jul 9 11:45:28 2024