How to Install and Uninstall libghc-quickcheck-safe-prof Package on Ubuntu 21.04 (Hirsute Hippo)
Last updated: December 23,2024
1. Install "libghc-quickcheck-safe-prof" package
This is a short guide on how to install libghc-quickcheck-safe-prof on Ubuntu 21.04 (Hirsute Hippo)
$
sudo apt update
Copied
$
sudo apt install
libghc-quickcheck-safe-prof
Copied
2. Uninstall "libghc-quickcheck-safe-prof" package
Here is a brief guide to show you how to uninstall libghc-quickcheck-safe-prof on Ubuntu 21.04 (Hirsute Hippo):
$
sudo apt remove
libghc-quickcheck-safe-prof
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libghc-quickcheck-safe-prof package on Ubuntu 21.04 (Hirsute Hippo)
Package: libghc-quickcheck-safe-prof
Architecture: amd64
Version: 0.1.0.6-2build4
Priority: extra
Section: universe/haskell
Source: haskell-quickcheck-safe
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 250
Provides: libghc-quickcheck-safe-prof-0.1.0.6-0432e
Depends: libghc-quickcheck-safe-dev (= 0.1.0.6-2build4), libghc-quickcheck-prof-2.13.2-3e7ed, libghc-base-prof-4.13.0.0-2f220, libghc-containers-prof-0.6.2.1-ab1cf
Filename: pool/universe/h/haskell-quickcheck-safe/libghc-quickcheck-safe-prof_0.1.0.6-2build4_amd64.deb
Size: 33384
MD5sum: 6b509b7f2dee16d1f63204da50d7f87e
SHA1: 9b3e01c8156e814ddfefdf82d377b42a203587c2
SHA256: 58e30951ff5c1c3d79c4d43e48d00cb84d4fdeec031f448dfabe5d4585ce5d36
SHA512: 95d2bbc66e7317ea8b22c2abe2acf2d955d67db3b57ffd9b79354c896e65c700e22da7e796b11a7d651745912d40ea003874e45c1e3cecc039dc20eb795a4317
Homepage: http://hackage.haskell.org/package/QuickCheck-safe
Description-en: 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.
Description-md5: ff6782bc69541389a0506e3787db7479
Architecture: amd64
Version: 0.1.0.6-2build4
Priority: extra
Section: universe/haskell
Source: haskell-quickcheck-safe
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 250
Provides: libghc-quickcheck-safe-prof-0.1.0.6-0432e
Depends: libghc-quickcheck-safe-dev (= 0.1.0.6-2build4), libghc-quickcheck-prof-2.13.2-3e7ed, libghc-base-prof-4.13.0.0-2f220, libghc-containers-prof-0.6.2.1-ab1cf
Filename: pool/universe/h/haskell-quickcheck-safe/libghc-quickcheck-safe-prof_0.1.0.6-2build4_amd64.deb
Size: 33384
MD5sum: 6b509b7f2dee16d1f63204da50d7f87e
SHA1: 9b3e01c8156e814ddfefdf82d377b42a203587c2
SHA256: 58e30951ff5c1c3d79c4d43e48d00cb84d4fdeec031f448dfabe5d4585ce5d36
SHA512: 95d2bbc66e7317ea8b22c2abe2acf2d955d67db3b57ffd9b79354c896e65c700e22da7e796b11a7d651745912d40ea003874e45c1e3cecc039dc20eb795a4317
Homepage: http://hackage.haskell.org/package/QuickCheck-safe
Description-en: 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.
Description-md5: ff6782bc69541389a0506e3787db7479