quickcheck-with-counterexamples

Get counterexamples from QuickCheck as Haskell values

http://www.github.com/nick8325/quickcheck-with-counterexamples

Version on this page:	1.0@rev:3
LTS Haskell 11.22:	1.0@rev:3
Stackage Nightly 2018-03-12:	1.0@rev:3
Latest on Hackage:	1.2

See all snapshots quickcheck-with-counterexamples appears in

BSD-3-Clause licensed by Nick Smallbone

Maintained by [email protected]

This version can be pinned in stack with:quickcheck-with-counterexamples-1.0@sha256:e86f17bffaf0d7909be7b79aed021931e806738d44c76e883f27f5fe2e8fe773,1718

Module documentation for 1.0

Test
- Test.QuickCheck
  - Test.QuickCheck.Counterexamples

Depends on 3 packages(full list with versions):

base, QuickCheck, template-haskell

Used by 1 package in lts-11.22(full list with versions):

quickcheck-state-machine

When QuickCheck finds a counterexample, it prints it out but doesn't save it so that the programmer can access it. This can be annoying when debugging.

This library provides a small extension to QuickCheck that returns counterexamples as normal Haskell values. To use it, just import Test.QuickCheck.Counterexamples instead of Test.QuickCheck. The library is largely compatible with normal QuickCheck, but the return types of quickCheck and related functions are changed to include a counterexample.

For usage information, see the Test.QuickCheck.Counterexamples module.