type-digits: /Arbitrary/ type-level digits
Arbitrary ype-level digits, for when the radix itself doesn't
actually matter. It's currently base-128, because that seemed to best
expedite the compilation of the modules using this package. Please let me
know what you find if you experiment with this.
Type.Digits.radix is the (arbitrary) radix. Type.Digits.digit computes
the NameG of a digit from its value (assuming its less than the
radix). Combinators are provided to compute a full type-level numeral from
values (potentially) larger than the radix.
Downloads
- type-digits-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
- No Candidates
| Versions [RSS] | 0.1, 0.1.0.1, 0.1.0.2, 0.2, 0.3 |
|---|---|
| Dependencies | base (>=4 && <5), tagged-th (<0.2), template-haskell, type-spine (<0.2) [details] |
| License | BSD-3-Clause |
| Author | Nicolas Frisby <nicolas.frisby@gmail.com> |
| Maintainer | Nicolas Frisby <nicolas.frisby@gmail.com> |
| Uploaded | by NicolasFrisby at 2011-11-27T01:17:17Z |
| Category | Type System |
| Distributions | |
| Reverse Dependencies | 4 direct, 1 indirect [details] |
| Downloads | 3658 total (13 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] |