1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
name: QuickCheck-safe
version: 0.1.0.6
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,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.16,
containers >= 0.5 && < 0.8,
base >= 4.6 && < 5
exposed-modules:
Test.QuickCheck.Safe
Test.QuickCheck.Safe.Trusted
other-extensions:
BangPatterns,
Safe,
CPP,
Trustworthy
default-language: Haskell2010
|
