How To Install ghc-QuickCheck on CentOS 7

In this tutorial we learn how to install ghc-QuickCheck on CentOS 7. ghc-QuickCheck is Automatic testing of Haskell programs

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.