How To Install ghc-QuickCheck on Fedora 36

In this tutorial we learn how to install ghc-QuickCheck in Fedora 36. ghc-QuickCheck is Automatic testing of Haskell programs

Introduction

In this tutorial we learn how to install ghc-QuickCheck on Fedora 36.

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 provided by QuickCheck. 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 Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ghc-QuickCheck.

Install ghc-QuickCheck 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-QuickCheck using dnf by running the following command:

sudo dnf -y install ghc-QuickCheck

Install ghc-QuickCheck 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-QuickCheck using yum by running the following command:

sudo yum -y install ghc-QuickCheck

How To Uninstall ghc-QuickCheck on Fedora 36

To uninstall only the ghc-QuickCheck package we can use the following command:

sudo dnf remove ghc-QuickCheck

ghc-QuickCheck Package Contents on Fedora 36

/usr/lib/.build-id
/usr/lib/.build-id/86
/usr/lib/.build-id/86/e2351fb21a9aee51d069680030cf78755d4196
/usr/lib64/libHSQuickCheck-2.14.2-2PCvKareld8p3dEeBeHhQ-ghc8.10.5.so
/usr/share/licenses/ghc-QuickCheck
/usr/share/licenses/ghc-QuickCheck/LICENSE

References

Summary

In this tutorial we learn how to install ghc-QuickCheck on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).