Hackage :: [Package]

Metadata revisions for QuickCheck-safe-0.1

Package maintainers and Hackage trustees are allowed to edit certain bits of package metadata after a release, without uploading a new tarball. Note that the tarball itself is never changed, just the metadata that is stored separately. For more information about metadata revisions, please refer to the Hackage Metadata Revisions FAQ.

No. Time User SHA256
-r1 (QuickCheck-safe-0.1-r1) 2015-05-08T13:40:16Z BertramFelgenhauer 6a62a0685ca424a1c56bf684f5589539b0e44e35cc313d00da204b02ccc8022d

  • Changed description from 

    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):
[(),(),(),(),(),(),(),(),(),(),(),(),(),(),()]
    to 
    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):
> [(),(),(),(),(),(),(),(),(),(),(),(),(),(),()]
-r0 (QuickCheck-safe-0.1-r0) 2015-05-03T11:23:36Z BertramFelgenhauer a3c453b208c70086850dc37a3733bc4ef1475df12bba8053d60f911416b79145