libghc-quickcheck-safe-dev 0.1.0.6-2build3 (riscv64 binary) in ubuntu groovy
QuickCheck-safe reimplements the quickCheck functionality with a pure
interface and a very small trusted base (see Test.QuickCheck
.
* 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://
Details
- Package version:
- 0.1.0.6-2build3
- Status:
- Obsolete
- Component:
- universe
- Priority:
- Extra
Downloadable files
riscv64 build of haskell-quickcheck-safe 0.1.0.6-2build3 in ubuntu groovy PROPOSED produced
these files:
Package relationships
- Depends on:
- libc6 (>= 2.27)
- libghc-base-dev-4.13.0.0-7d1c6
- libghc-containers-dev-0.6.2.1-9f5ad
- libghc-quickcheck-dev-2.13.2-37870
- libgmp10
- Provides:
- libghc-quickcheck-safe-dev-0.1.0.6-1b33d