How to Install and Uninstall libghc-quickcheck-safe-dev Package on Ubuntu 16.04 LTS (Xenial Xerus)
Last updated: December 23,2024
1. Install "libghc-quickcheck-safe-dev" package
Learn how to install libghc-quickcheck-safe-dev on Ubuntu 16.04 LTS (Xenial Xerus)
$
sudo apt update
Copied
$
sudo apt install
libghc-quickcheck-safe-dev
Copied
2. Uninstall "libghc-quickcheck-safe-dev" package
In this section, we are going to explain the necessary steps to uninstall libghc-quickcheck-safe-dev on Ubuntu 16.04 LTS (Xenial Xerus):
$
sudo apt remove
libghc-quickcheck-safe-dev
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libghc-quickcheck-safe-dev package on Ubuntu 16.04 LTS (Xenial Xerus)
Package: libghc-quickcheck-safe-dev
Priority: extra
Section: universe/haskell
Installed-Size: 210
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Architecture: amd64
Source: haskell-quickcheck-safe
Version: 0.1.0.1-2
Provides: libghc-quickcheck-safe-dev-0.1.0.1-16388
Depends: libghc-quickcheck-dev-2.8.1-3b4e5, libghc-base-dev-4.8.2.0-0d6d1, libc6 (>= 2.2.5)
Suggests: libghc-quickcheck-safe-doc, libghc-quickcheck-safe-prof
Filename: pool/universe/h/haskell-quickcheck-safe/libghc-quickcheck-safe-dev_0.1.0.1-2_amd64.deb
Size: 29494
MD5sum: ff63c6bbba2656f66dabad31d61fc6de
SHA1: 4266df6f1ff75994bd04f3ca3a3077e2adb3b205
SHA256: 279c6842e58397bc108503542a1c9e2945eddb93d0a53c2612815eabbf98450e
Description-en: 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.
Description-md5: 0691e6a922bb92a4a6037301f26e4869
Homepage: http://hackage.haskell.org/package/QuickCheck-safe
Ghc-Package: QuickCheck-safe-0.1.0.1-16388c4d131ab6b59b0bf08b21486c82
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu
Priority: extra
Section: universe/haskell
Installed-Size: 210
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Architecture: amd64
Source: haskell-quickcheck-safe
Version: 0.1.0.1-2
Provides: libghc-quickcheck-safe-dev-0.1.0.1-16388
Depends: libghc-quickcheck-dev-2.8.1-3b4e5, libghc-base-dev-4.8.2.0-0d6d1, libc6 (>= 2.2.5)
Suggests: libghc-quickcheck-safe-doc, libghc-quickcheck-safe-prof
Filename: pool/universe/h/haskell-quickcheck-safe/libghc-quickcheck-safe-dev_0.1.0.1-2_amd64.deb
Size: 29494
MD5sum: ff63c6bbba2656f66dabad31d61fc6de
SHA1: 4266df6f1ff75994bd04f3ca3a3077e2adb3b205
SHA256: 279c6842e58397bc108503542a1c9e2945eddb93d0a53c2612815eabbf98450e
Description-en: 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.
Description-md5: 0691e6a922bb92a4a6037301f26e4869
Homepage: http://hackage.haskell.org/package/QuickCheck-safe
Ghc-Package: QuickCheck-safe-0.1.0.1-16388c4d131ab6b59b0bf08b21486c82
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu