Ubuntu
haskell-quickcheck-safe package

haskell-quickcheck-safe 0.1.0.6-1build1 source package in Ubuntu

Changelog

haskell-quickcheck-safe (0.1.0.6-1build1) eoan; urgency=medium

  * Rebuild against new GHC abi.

 -- Gianfranco Costamagna <email address hidden>  Sun, 04 Aug 2019 00:19:29 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Eoan
Original maintainer:
Debian Haskell Group
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release universe misc

Downloads

File Size SHA-256 Checksum
haskell-quickcheck-safe_0.1.0.6.orig.tar.gz 4.8 KiB 7786a89eca0ccc8fa9ece6ef0995fafb1bc25d1d3df7024625d5181c8d4606b9
haskell-quickcheck-safe_0.1.0.6-1build1.debian.tar.xz 2.8 KiB b72a8001477ae248826ce0e63d1e68225dc91cdd075bdea8d2079d67f797e563
haskell-quickcheck-safe_0.1.0.6-1build1.dsc 2.5 KiB 591f23d6a28b750da3e8612a95a88643ab901eadbf68cde1cb2ac7bbe28795a1

View changes file

Binary packages built by this source

libghc-quickcheck-safe-dev: No summary available for libghc-quickcheck-safe-dev in ubuntu groovy.

No description available for libghc-quickcheck-safe-dev in ubuntu groovy.

libghc-quickcheck-safe-doc: No summary available for libghc-quickcheck-safe-doc in ubuntu groovy.

No description available for libghc-quickcheck-safe-doc in ubuntu groovy.

libghc-quickcheck-safe-prof: Safe reimplementation of QuickCheck's core; profiling libraries

 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, compiled
 for profiling. See http://www.haskell.org/ for more information on Haskell.