Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

Package Usage: hackage: quickcheck-with-counterexamples

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 Test.QuickCheck.Counterexamples.quickCheck and related functions are changed to include a counterexample. For usage information, see the Test.QuickCheck.Counterexamples module.
3 versions
Latest release: about 5 years ago
2,236 downloads total

View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/quickcheck-with-counterexamples

View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/nick8325%2Fquickcheck-with-counterexamples

Dependent Repos 1

Lysxia/pfa
Parallel Functional Arrays
  • * pfa.cabal

Size: 20.5 KB - Last synced: about 1 year ago - Pushed: about 6 years ago

lsrcz/grisette-synth-lib
  • * grisette-synth-lib.cabal

Size: 533 KB - Last synced: about 1 month ago - Pushed: about 1 month ago