type-digits-0.3: Arbitrary-base type-level digits

Portabilitysee LANGUAGE pragmas (... GHC)
Stabilityexperimental
Maintainernicolas.frisby@gmail.com
Safe HaskellSafe-Inferred

Type.Digits.Aux

Description

The parameters for the type-digits package.

Synopsis

Documentation

digitStrings :: [String]Source

The names of the digits.

radix :: Num i => iSource

The number of digits.

data Proxy a Source

Constructors

Proxy