type-digits-0.1.0.1: type-digits.cabal

Name:           type-digits
Version:        0.1.0.1
License:        BSD3
License-File:   LICENSE
Author:         Nicolas Frisby <nicolas.frisby@gmail.com>
Maintainer:     Nicolas Frisby <nicolas.frisby@gmail.com>

Category: Type System

Synopsis:       Arbitrary-base type-level digits

Description: 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.

Cabal-Version: >= 1.6.0.1

Build-Type: Simple


Library
  Build-Depends: base >= 4 && < 5, template-haskell
  Build-Depends: type-spine < 0.2, tagged-th < 0.2

  Exposed-Modules: Type.Digits, Type.Digits.Aux