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.1@sha256:16946353a17c295c65727907e2be997a2dd217312611abf1bec6fe5b167802c1,2694

Depends on 3 packages(full list with versions):

Used by 1 package in nightly-2016-06-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