# The type-digits package

This is a workaround until type-level literals (specifically
naturals) are more fully supported. The main difference is that these
types-level digits and numerals can be inspected/case-discriminated within
type family instances. See the `type-ord` and `type-cereal` packages for use
cases; they ultimately support the `yoko` package.
Arbitrary type-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 with which I 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.
The digits themselves all take less significant numeral as an argument. I
chose this over minimal digits in promoted lists because I wanted to keep the
actual encoding of type-level numeral smaller; they get quite large with some
of my uses and the type family computation becomes quite slow.

- No changelog available

## Properties

Versions | 0.1, 0.1.0.1, 0.1.0.2, 0.2, 0.3 |
---|---|

Dependencies | base (==4.*), template-haskell, type-spine (>=0.2) |

License | BSD3 |

Author | Nicolas Frisby <nicolas.frisby@gmail.com> |

Maintainer | Nicolas Frisby <nicolas.frisby@gmail.com> |

Category | Type System |

Upload date | Wed Sep 12 14:54:55 UTC 2012 |

Uploaded by | NicolasFrisby |

Downloads | 269 total (33 in last 30 days) |

## Modules

[Index]

## Downloads

- type-digits-0.2.tar.gz [browse] (Cabal source package)
- Package description (included in the package)

#### Maintainers' corner

For package maintainers and hackage trustees