ghc-typelits-extra
Additional type-level operations on GHC.TypeLits.Nat
| Version on this page: | 0.1 |
| LTS Haskell 24.28: | 0.4.8 |
| Stackage Nightly 2026-01-17: | 0.5.2 |
| Latest on Hackage: | 0.5.2 |
Maintained by [email protected]
This version can be pinned in stack with:
ghc-typelits-extra-0.1@sha256:279092c0651d9807d26966ca5921b7655c8f9fe58931797012e6760715252b2f,2420Module documentation for 0.1
- GHC
- GHC.TypeLits
Depends on 3 packages(full list with versions):
Used by 2 packages in nightly-2016-01-09(full list with versions):
ghc-typelits-extra
Extra type-level operations on GHC.TypeLits.Nat and a custom solver implemented as a GHC type-checker plugin:
GHC.TypeLits.Extra.GCD: a type-levelgcdGHC.TypeLits.Extra.CLog: type-level equivalent ofclog x y = ceiling (logBase x y)