The type-digits package

[Tags: bsd3, library]

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.


Versions0.1,,, 0.2, 0.3
Change logNone available
Dependenciesbase (==4.*), tagged-th (<0.2), template-haskell, type-spine (<0.2) [details]
AuthorNicolas Frisby <>
MaintainerNicolas Frisby <>
CategoryType System
UploadedTue Mar 13 08:33:29 UTC 2012 by NicolasFrisby
Downloads774 total (16 in last 30 days)
0 []
StatusDocs uploaded by user
Build status unknown [no reports yet]




Maintainers' corner

For package maintainers and hackage trustees