@hackage QuickCheck-safe0.1.0.1

Safe reimplementation of QuickCheck's core

Categories
- Testing
License
MIT
Maintainer
Bertram Felgenhauer <int-e@gmx.de>
Links
Versions
- 0.1.0.6 Wed, 8 Jan 2025
- 0.1.0.5 Sat, 27 Oct 2018
- 0.1.0.4 Wed, 2 May 2018
- 0.1.0.3 Sun, 23 Jul 2017
- 0.1.0.2 Sun, 19 Feb 2017
- 0.1.0.1 Fri, 8 May 2015

Installation
In your cabal file:
Dependencies (2)
- QuickCheck >=2.7.3 && <2.9
- base >=4.6 && <5
Dependents (1)
@hackage/lambdabot-trusted

QuickCheck-safe reimplements the quickCheck functionality with a pure interface and a very small trusted base (see Test.QuickCheck.Safe.Trusted).

uses the existing Arbitrary instances
implemented features: testing, result minimization (i.e., shrinking)
missing features: expected failures, label frequencies, coverage

The package is targeted at users who want to leverage SafeHaskell for sandboxing.

> putStr $ quickCheck (inventQCGen ()) (\x -> length (x :: [()]) < 10)
*** Failed! Falsifiable (after 18 tests and 3 shrinks):
[(),(),(),(),(),(),(),(),(),(),(),(),(),(),()]