ghc-typelits-extra

Additional type-level operations on GHC.TypeLits.Nat

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

Version on this page:0.1.3
LTS Haskell 24.28:0.4.8
Stackage Nightly 2026-01-19:0.5.2
Latest on Hackage:0.5.2

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.3@sha256:3faeb320cfbc229b758ff195703dc883c68c01869334e22c9ab1f1f37a3507d6,2915

Module documentation for 0.1.3

Used by 2 packages in lts-6.17(full list with versions):
clash-ghc, clash-prelude

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 the ceiling of integerLogBase#

Changes

Changelog for the ghc-typelits-extra package

0.1.3 July 19th 2016

  • Fixes bugs:
    • Rounding error in CLog calculation

0.1.2 July 8th 2016

  • Solve KnownNat constraints over CLog and GCD, i.e., KnownNat (CLog 2 4)

0.1.1 January 20th 2016

  • Compile on GHC 8.0+

0.1 October 21st 2015

  • Initial release