ghc-typelits-extra

Additional type-level operations on GHC.TypeLits.Nat

BSD-2-Clause licensed by Christiaan Baaij

Maintained by [email protected]

This version can be pinned in stack with:ghc-typelits-extra-0.1.2@sha256:c9d51dcd33c7a4e72dc62c2e54cc13d2f21d8095375c5fb06e3716c30dc4921e,2765

Depends on 4 packages(full list with versions):

Used by 1 package in nightly-2016-07-09(full list with versions):

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-level gcd
GHC.TypeLits.Extra.CLog: type-level equivalent of clog x y = ceiling (logBase x y)

Changes