How To Install ghc-QuickCheck on CentOS 7
Introduction
In this tutorial we learn how to install ghc-QuickCheck on CentOS 7.
What is ghc-QuickCheck
QuickCheck is a library for random testing of program properties. The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases. Specifications are expressed in Haskell, using combinators defined in the QuickCheck library. QuickCheck provides combinators to define properties, observe the distribution of test data, and define test data generators.
We can use yum or dnf to install ghc-QuickCheck on CentOS 7. In this tutorial we discuss both methods but you only need to choose one of method to install ghc-QuickCheck.
Install ghc-QuickCheck on CentOS 7 Using yum
Update yum database with yum using the following command.
sudo yum makecache
After updating yum database, We can install ghc-QuickCheck using yum by running the following command:
sudo yum -y install ghc-QuickCheck
Install ghc-QuickCheck on CentOS 7 Using dnf
If you don’t have dnf installed you can install DNF on CentOS 7 first.
Update yum database with dnf using the following command.
sudo dnf makecache
After updating yum database, We can install ghc-QuickCheck using dnf by running the following command:
sudo dnf -y install ghc-QuickCheck
How To Uninstall ghc-QuickCheck on CentOS 7
To uninstall only the ghc-QuickCheck package we can use the following command:
sudo dnf remove ghc-QuickCheck
References
Summary
In this tutorial we learn how to install ghc-QuickCheck on CentOS 7 using yum and dnf.
