type-level-integers: Provides integers lifted to the type level
This packages provides type level integers together with type families for basic arithmetic.
[Skip to Readme]
Downloads
- type-level-integers-0.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.0.1 |
---|---|
Dependencies | base (>=4.7 && <5) [details] |
License | BSD-3-Clause |
Copyright | (c) 2017 Moritz Schulte |
Author | Moritz Schulte |
Maintainer | mtesseract@silverratio.net |
Category | Data |
Home page | https://github.com/mtesseract/type-level-integers |
Source repo | head: git clone https://github.com/mtesseract/type-level-integers |
Uploaded | by mtesseract at 2017-04-06T15:14:28Z |
Distributions | LTSHaskell:0.0.1, NixOS:0.0.1, Stackage:0.0.1 |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 1573 total (13 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2017-04-06 [all 1 reports] |