libghc-quickcheck-safe-dev binary package in Ubuntu Bionic ppc64el
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://
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2017-11-22 03:18:53 UTC | Published | Ubuntu Bionic ppc64el | release | universe | haskell | Extra | 0.1.0.2-1build2 | ||
|
|||||||||
Deleted | Ubuntu Bionic ppc64el | proposed | universe | haskell | Extra | 0.1.0.2-1build2 | |||
|
|||||||||
2017-11-22 03:48:34 UTC | Superseded | Ubuntu Bionic ppc64el | release | universe | haskell | Extra | 0.1.0.2-1build1 | ||
|