deb_control_files:
- control
- md5sums
deb_fields:
Architecture: arm64
Depends: libghc-base-dev-4.15.1.0-78aa1, libghc-containers-dev-0.6.4.1-567e5, libghc-quickcheck-dev-2.14.2-9ab69,
libc6 (>= 2.17), libgmp10 (>= 2:6.2.1+dfsg1)
Description: |-
Safe reimplementation of QuickCheck's core
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):
[(),(),(),(),(),(),(),(),(),(),(),(),(),(),()]
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
Ghc-Package: QuickCheck-safe-0.1.0.6-Hr1LQC7uqv77xk6XMFIUme
Homepage: http://hackage.haskell.org/package/QuickCheck-safe
Installed-Size: '413'
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Package: libghc-quickcheck-safe-dev
Priority: optional
Provides: libghc-quickcheck-safe-dev-0.1.0.6-08cca
Section: haskell
Source: haskell-quickcheck-safe (0.1.0.6-3)
Version: 0.1.0.6-3+b1
srcpkg_name: haskell-quickcheck-safe
srcpkg_version: 0.1.0.6-3