ghc-typelits-extra: Additional type-level operations on GHC.TypeLits.Nat
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
Additional type-level operations on GHC.TypeLits.Nat:
Max: type-level maxMin: type-level minDiv: type-level divMod: type-level modFLog: type-level equivalent of integerLogBase# i.e. the exact integer equivalent tofloor (logBase x y)CLog: type-level equivalent of the ceiling of integerLogBase# i.e. the exact integer equivalent toceiling (logBase x y)Log: type-level equivalent of integerLogBase# where the operation only reduces whenfloor (logBase b x) ~ ceiling (logBase b x)GCD: a type-level gcdLCM: a type-level lcm
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, 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, 0.4.4, 0.4.4, 0.4.5, 0.4.6, 0.4.7 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.8 && <5), containers (>=0.5.7.1 && <0.7), ghc (>=7.10 && <9.6), ghc-bignum (>=1.0 && <1.4), ghc-prim (>=0.5 && <1.0), ghc-tcplugins-extra (>=0.3.1), ghc-typelits-knownnat (>=0.7.2 && <0.8), ghc-typelits-natnormalise (>=0.7.1 && <0.8), integer-gmp (>=1.0 && <1.1), transformers (>=0.4.2.0 && <0.6) [details] |
| License | BSD-2-Clause |
| Copyright | Copyright © 2015-2016, University of Twente, 2017-2018, QBayLogic B.V. |
| 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 repo | head: git clone https://github.com/clash-lang/ghc-typelits-extra.git |
| Uploaded | by ChristiaanBaaij at 2022-10-21T15:29:47Z |
Modules
[Index] [Quick Jump]
- GHC
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| deverror | Enables `-Werror` for development mode and TravisCI | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- ghc-typelits-extra-0.4.4.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees
Readme for ghc-typelits-extra-0.4.4
[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.Max: type-level maxGHC.TypeLits.Extra.Min: type-level minGHC.TypeLits.Extra.Div: type-level divGHC.TypeLits.Extra.Mod: type-level modGHC.TypeLits.Extra.FLog: type-level equivalent of integerLogBase# .i.e. the exact integer equivalent to "floor (logBase x y)"GHC.TypeLits.Extra.CLog: type-level equivalent of the ceiling of integerLogBase# .i.e. the exact integer equivalent to "ceiling (logBase x y)"- 'GHC.TypeLits.Extra.Log': type-level equivalent of <https://hackage.haskell.org/package/integer-gmp/docs/GHC-Integer-Logarithms.html#v:integerLogBase-35- integerLogBase#>
where the operation only reduces when "
floor (logBase b x) ~ ceiling (logBase b x)" GHC.TypeLits.Extra.GCD: a type-level gcdGHC.TypeLits.Extra.LCM: a type-level lcm