The ghc-typelits-extra package

[Tags:bsd2, library, test]

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

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]

Properties

Versions 0.1, 0.1.1, 0.1.2, 0.1.3, 0.2, 0.2.1, 0.2.2, 0.2.3
Change log CHANGELOG.md
Dependencies base (==4.8.*), ghc (>=7.10 && <7.12), ghc-tcplugins-extra (>=0.1) [details]
License BSD2
Copyright Copyright © 2015 University of Twente
Author Christiaan Baaij
Maintainer christiaan.baaij@gmail.com
Category Type System
Home page http://www.clash-lang.org/
Bug tracker http://github.com/clash-lang/ghc-typelits-extra/issues
Source repository head: git clone https://github.com/clash-lang/ghc-typelits-extra.git
Uploaded Wed Oct 21 15:38:05 UTC 2015 by ChristiaanBaaij
Distributions LTSHaskell:0.2.3, NixOS:0.2.3, Tumbleweed:0.2.3
Downloads 772 total (66 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Flags

NameDescriptionDefaultType
deverror

Enables -Werror for development mode and TravisCI

DisabledManual

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Readme for ghc-typelits-extra

Readme for ghc-typelits-extra-0.1

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)