How To Install ghc-lazysmallcheck on Fedora 36
Introduction
In this tutorial we learn how to install ghc-lazysmallcheck
on Fedora 36.
What is ghc-lazysmallcheck
Lazy SmallCheck is a library for exhaustive, demand-driven testing of Haskell programs. It is based on the idea that if a property holds for a partially-defined input then it must also hold for all fully-defined refinements of the that input. Compared to ``eager’’ input generation as in SmallCheck, Lazy SmallCheck may require significantly fewer test-cases to verify a property for all inputs up to a given depth.
We can use yum
or dnf
to install ghc-lazysmallcheck
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ghc-lazysmallcheck.
Install ghc-lazysmallcheck on Fedora 36 Using dnf
Update yum database with dnf
using the following command.
sudo dnf makecache --refresh
After updating yum database, We can install ghc-lazysmallcheck
using dnf
by running the following command:
sudo dnf -y install ghc-lazysmallcheck
Install ghc-lazysmallcheck on Fedora 36 Using yum
Update yum database with yum
using the following command.
sudo yum makecache --refresh
After updating yum database, We can install ghc-lazysmallcheck
using yum
by running the following command:
sudo yum -y install ghc-lazysmallcheck
How To Uninstall ghc-lazysmallcheck on Fedora 36
To uninstall only the ghc-lazysmallcheck
package we can use the following command:
sudo dnf remove ghc-lazysmallcheck
ghc-lazysmallcheck Package Contents on Fedora 36
/usr/lib/.build-id
/usr/lib/.build-id/49
/usr/lib/.build-id/49/95ef9eb22e54753af1fc8f576737cd652a1171
/usr/lib64/libHSlazysmallcheck-0.6-v7dsVOAHOTE0P93Mms7bF-ghc8.10.5.so
/usr/share/licenses/ghc-lazysmallcheck
/usr/share/licenses/ghc-lazysmallcheck/LICENSE
References
Summary
In this tutorial we learn how to install ghc-lazysmallcheck
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).