name: QuickCheck-safe version: 0.1.0.5 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,2017 Bertram Felgenhauer category: Testing build-type: Simple cabal-version: >= 1.10 extra-source-files: Changelog source-repository head type: git location: https://github.com/int-e/QuickCheck-safe library hs-source-dirs: src build-depends: QuickCheck >= 2.7.3 && < 2.13, containers >= 0.5 && < 0.7, base >= 4.6 && < 5 exposed-modules: Test.QuickCheck.Safe Test.QuickCheck.Safe.Trusted other-extensions: BangPatterns, Safe, CPP, Trustworthy default-language: Haskell2010