How to Install and Uninstall libghc-ghc-typelits-extra-doc Package on Kali Linux
Last updated: December 24,2024
1. Install "libghc-ghc-typelits-extra-doc" package
This tutorial shows how to install libghc-ghc-typelits-extra-doc on Kali Linux
$
sudo apt update
Copied
$
sudo apt install
libghc-ghc-typelits-extra-doc
Copied
2. Uninstall "libghc-ghc-typelits-extra-doc" package
This guide covers the steps necessary to uninstall libghc-ghc-typelits-extra-doc on Kali Linux:
$
sudo apt remove
libghc-ghc-typelits-extra-doc
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libghc-ghc-typelits-extra-doc package on Kali Linux
Package: libghc-ghc-typelits-extra-doc
Source: haskell-ghc-typelits-extra
Version: 0.4.6-1
Installed-Size: 980
Maintainer: Debian Haskell Group
Architecture: all
Depends: haddock-interface-41
Recommends: ghc-doc, libghc-ghc-tcplugins-extra-doc, libghc-ghc-typelits-extra-dev, libghc-ghc-typelits-knownnat-doc, libghc-ghc-typelits-natnormalise-doc, libjs-mathjax
Suggests: libghc-ghc-typelits-extra-prof
Size: 70068
SHA256: c77d9ff79d7ad535a2c631788379eb6c909f3ee1754177cf48990e8a8c89b03a
SHA1: 4f2ebd0776c4edba6b59e651b20fb53115cc9c90
MD5sum: b726d24ad03e6479a028af2b3d6ecdb1
Description: Additional type-level operations on GHC.TypeLits.Nat; documentation
Operations:
.
* Max: type-level max
.
* Min: type-level min
.
* Div: type-level div
.
* Mod: type-level mod
.
* FLog: type-level equivalent of integerLogBase
i.e. the exact integer equivalent to floor (logBase x y)
.
* CLog: type-level equivalent of the ceiling of integerLogBase
i.e. the exact integer equivalent to ceiling (logBase x y)
.
* Log: type-level equivalent of integerLogBase
where the operation only reduces when floor (logBase b x) ~ ceiling (logBase
b x)
.
* GCD: a type-level gcd
.
* LCM: a type-level lcm
.
And a custom solver for the above operations defined in
GHC.TypeLits.Extra.Solver as a GHC type-checker plugin. To use the plugin,
add the
.
OPTIONS_GHC -fplugin GHC.TypeLits.Extra.Solver
.
pragma to the header of your file.
.
This package provides the documentation for a library for the Haskell
programming language.
See http://www.haskell.org/ for more information on Haskell.
Description-md5:
Homepage: https://www.clash-lang.org/
Section: doc
Priority: optional
Filename: pool/main/h/haskell-ghc-typelits-extra/libghc-ghc-typelits-extra-doc_0.4.6-1_all.deb
Source: haskell-ghc-typelits-extra
Version: 0.4.6-1
Installed-Size: 980
Maintainer: Debian Haskell Group
Architecture: all
Depends: haddock-interface-41
Recommends: ghc-doc, libghc-ghc-tcplugins-extra-doc, libghc-ghc-typelits-extra-dev, libghc-ghc-typelits-knownnat-doc, libghc-ghc-typelits-natnormalise-doc, libjs-mathjax
Suggests: libghc-ghc-typelits-extra-prof
Size: 70068
SHA256: c77d9ff79d7ad535a2c631788379eb6c909f3ee1754177cf48990e8a8c89b03a
SHA1: 4f2ebd0776c4edba6b59e651b20fb53115cc9c90
MD5sum: b726d24ad03e6479a028af2b3d6ecdb1
Description: Additional type-level operations on GHC.TypeLits.Nat; documentation
Operations:
.
* Max: type-level max
.
* Min: type-level min
.
* Div: type-level div
.
* Mod: type-level mod
.
* FLog: type-level equivalent of integerLogBase
i.e. the exact integer equivalent to floor (logBase x y)
.
* CLog: type-level equivalent of the ceiling of integerLogBase
i.e. the exact integer equivalent to ceiling (logBase x y)
.
* Log: type-level equivalent of integerLogBase
where the operation only reduces when floor (logBase b x) ~ ceiling (logBase
b x)
.
* GCD: a type-level gcd
.
* LCM: a type-level lcm
.
And a custom solver for the above operations defined in
GHC.TypeLits.Extra.Solver as a GHC type-checker plugin. To use the plugin,
add the
.
OPTIONS_GHC -fplugin GHC.TypeLits.Extra.Solver
.
pragma to the header of your file.
.
This package provides the documentation for a library for the Haskell
programming language.
See http://www.haskell.org/ for more information on Haskell.
Description-md5:
Homepage: https://www.clash-lang.org/
Section: doc
Priority: optional
Filename: pool/main/h/haskell-ghc-typelits-extra/libghc-ghc-typelits-extra-doc_0.4.6-1_all.deb