The QuickCheck-safe package

[Tags:library, mit]

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): [(),(),(),(),(),(),(),(),(),(),(),(),(),(),()]

Properties

Versions 0.1, 0.1.0.1, 0.1.0.2
Change log Changelog
Dependencies base (>=4.6 && <5), QuickCheck (>=2.7.3 && <2.10) [details]
License MIT
Copyright 2015, 2017 Bertram Felgenhauer
Author Bertram Felgenhauer
Maintainer Bertram Felgenhauer <int-e@gmx.de>
Stability Unknown
Category Testing
Source repository head: git clone https://github.com/int-e/QuickCheck-safe
Uploaded Sun Feb 19 22:18:21 UTC 2017 by BertramFelgenhauer
Distributions Debian:0.1.0.1, NixOS:0.1.0.2
Downloads 624 total (15 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2017-02-19 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees