@hackage QuickCheck-safe0.1.0.4
Safe reimplementation of QuickCheck's core
Installation
Dependencies (2)
- QuickCheck >=2.7.3 && <2.12
- base >=4.6 && <5 Show all…
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.
>>>