The ghc-typelits-extra package
Additional type-level operations on GHC.TypeLits.Nat:
GHC.TypeLits.Extra.GCD: a type-levelgcdGHC.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]
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 && <5), ghc (>=7.10 && <8.2), ghc-tcplugins-extra (>=0.2) [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 Jan 20 09:00:11 UTC 2016 by ChristiaanBaaij |
| Distributions | LTSHaskell:0.2.3, NixOS:0.2.3, Stackage:0.2.3, Tumbleweed:0.2.3 |
| Downloads | 888 total (80 in the last 30 days) |
| Rating | 0.0 (0 ratings) [clear rating] |
| Status | Docs uploaded by user Build status unknown [no reports yet] Hackage Matrix CI |
Flags
| Name | Description | Default | Type |
|---|---|---|---|
| deverror | Enables | Disabled | Manual |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- ghc-typelits-extra-0.1.1.tar.gz [browse] (Cabal source package)
- Package description (included in the package)
Readme for ghc-typelits-extra-0.1.1
[back to package description]ghc-typelits-extra
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-levelgcdGHC.TypeLits.Extra.CLog: type-level equivalent ofclog x y = ceiling (logBase x y)