ghc-typelits-extra: Additional type-level operations on GHC.TypeLits.Nat

[ bsd2, library, type-system ] [ Propose Tags ]

Additional type-level operations on GHC.TypeLits.Nat:

  • GHC.TypeLits.Extra.GCD: a type-level gcd

  • GHC.TypeLits.Extra.CLog: type-level equivalent of "clog x y = ceiling (logBase x y)"

And a custom solver for the above operations defined in GHC.TypeLits.Extra.Solver as a GHC type-checker plugin. To use the plugin, add the

OPTIONS_GHC -fplugin GHC.TypeLits.Extra.Solver

pragma to the header of your file.

[Skip to Readme]


Manual Flags


Enables `-Werror` for development mode and TravisCI


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

For package maintainers and hackage trustees


Versions [RSS] 0.1, 0.1.1, 0.1.2, 0.1.3, 0.2, 0.2.1, 0.2.2, 0.2.3, 0.2.4, 0.2.5, 0.2.6, 0.3, 0.3.1, 0.3.2, 0.3.3, 0.4, 0.4.1, 0.4.2, 0.4.3
Change log
Dependencies base (>=4.8 && <4.9), ghc (>=7.10 && <7.12), ghc-tcplugins-extra (>=0.1) [details]
License BSD-2-Clause
Copyright Copyright © 2015 University of Twente
Author Christiaan Baaij
Category Type System
Home page
Bug tracker
Source repo head: git clone
Uploaded by ChristiaanBaaij at 2015-10-21T15:38:05Z
Distributions Arch:0.4.3, LTSHaskell:0.4.3, NixOS:0.4.3, Stackage:0.4.3
Downloads 15731 total (36 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for ghc-typelits-extra-0.1

[back to package description]


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)