How To Install ghc-kan-extensions on Fedora 36

In this tutorial we learn how to install ghc-kan-extensions in Fedora 36. ghc-kan-extensions is Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads

Introduction

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

What is `ghc-kan-extensions`

Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads.

We can use yum or dnf to install ghc-kan-extensions on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ghc-kan-extensions.

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

sudo dnf -y install ghc-kan-extensions

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

sudo yum -y install ghc-kan-extensions

How To Uninstall ghc-kan-extensions on Fedora 36

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

sudo dnf remove ghc-kan-extensions

ghc-kan-extensions Package Contents on Fedora 36

/usr/lib/.build-id
/usr/lib/.build-id/8a
/usr/lib/.build-id/8a/32a318e7919f719feb5acc6fd887481a3ceee9
/usr/lib64/libHSkan-extensions-5.2.3-1y5gVnSWGUcEYN2jSLFm4k-ghc8.10.5.so
/usr/share/licenses/ghc-kan-extensions
/usr/share/licenses/ghc-kan-extensions/LICENSE

References

ghc-kan-extensions website

Summary

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