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 <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.8 && < 2.9,
    base >= 4.6 && < 5
  exposed-modules:
    Test.QuickCheck.Safe
    Test.QuickCheck.Safe.Trusted
  other-extensions:
    BangPatterns,
    Safe,
    Trustworthy
  default-language:  Haskell2010