Cabal revisions of QuickCheck-safe-0.1
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-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+name: QuickCheck-safe +version: 0.1 +x-revision: 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