QuickCheck-safe-0.1.0.1: QuickCheck-safe.cabal
name: QuickCheck-safe
version: 0.1.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 <int-e@gmx.de>
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.7 && < 2.9,
base >= 4.6 && < 5
exposed-modules:
Test.QuickCheck.Safe
Test.QuickCheck.Safe.Trusted
other-extensions:
BangPatterns,
Safe,
Trustworthy
default-language: Haskell2010