How to Install and Uninstall libghc-quickcheck-safe-prof Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 12,2024

1. Install "libghc-quickcheck-safe-prof" package

This is a short guide on how to install libghc-quickcheck-safe-prof on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-quickcheck-safe-prof
            
                    
    
    Copied

2. Uninstall "libghc-quickcheck-safe-prof" package

This is a short guide on how to uninstall libghc-quickcheck-safe-prof on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                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 16.04 LTS (Xenial Xerus)

Package: libghc-quickcheck-safe-prof
Priority: extra
Section: universe/haskell
Installed-Size: 170
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Architecture: amd64
Source: haskell-quickcheck-safe
Version: 0.1.0.1-2
Provides: libghc-quickcheck-safe-prof-0.1.0.1-16388
Depends: libghc-quickcheck-safe-dev (= 0.1.0.1-2), libghc-quickcheck-prof-2.8.1-3b4e5, libghc-base-prof-4.8.2.0-0d6d1
Filename: pool/universe/h/haskell-quickcheck-safe/libghc-quickcheck-safe-prof_0.1.0.1-2_amd64.deb
Size: 24884
MD5sum: ee316ce29cd74f7a3ce32514d93ea961
SHA1: ad33893e4e992210f7d96637fb70627e2f7bc5ae
SHA256: ced094f236c026fe8694fd6791d63444ecc2c3e141e70d08e2e89badf336ed7f
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
Homepage: http://hackage.haskell.org/package/QuickCheck-safe
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu