name: QuickCheck-safe version: 0.1 synopsis: Safe reimplementation of QuickCheck's core description: 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): [(),(),(),(),(),(),(),(),(),(),(),(),(),(),()] license: MIT license-file: LICENSE author: Bertram Felgenhauer maintainer: Bertram Felgenhauer copyright: 2015 Bertram Felgenhauer category: Testing build-type: Simple cabal-version: >= 1.10 source-repository head type: git location: https://github.com/int-e/QuickCheck-safe library hs-source-dirs: src build-depends: QuickCheck >= 2.8 && < 2.9, base >= 4.6 && < 5 exposed-modules: Test.QuickCheck.Safe Test.QuickCheck.Safe.Trusted other-extensions: BangPatterns, Safe, Trustworthy default-language: Haskell2010