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):
[(),(),(),(),(),(),(),(),(),(),(),(),(),(),()]
this package provides a library for the haskell programming language. see http://www.haskell.org/ for more information on haskell.