ghc-typelits-extra

Additional type-level operations on GHC.TypeLits.Nat

http://www.clash-lang.org/

Version on this page:0.1.1
LTS Haskell 22.14:0.4.6
Stackage Nightly 2024-03-28:0.4.6
Latest on Hackage:0.4.6

See all snapshots ghc-typelits-extra appears in

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

Module documentation for 0.1.1

Used by 1 package in nightly-2016-05-31(full list with versions):

ghc-typelits-extra

Build Status Hackage Hackage Dependencies

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

Changelog for the ghc-typelits-extra package

0.1.1 January 20th 2015

  • Compile on GHC 8.0+

0.1 October 21st 2015

  • Initial release