|
Data.TypeLevel.Num.Aliases.TH | Portability | non-portable (Template Haskell) | Stability | experimental | Maintainer | alfonso.acosta@gmail.com |
|
|
|
Description |
Internal template haskell functions to generate type-level numeral aliases
|
|
Synopsis |
|
|
|
Documentation |
|
genAliases :: Int -> Int -> Int -> Int -> Q [Dec] |
|
dec2TypeLevel :: Int -> Q Type |
Generate the type-level decimal representation for a value-level
natural number.
NOTE: This function could be useful by itself avoiding to generate
aliases. However, type-splicing is not yet supported by template haskell.
|
|
Produced by Haddock version 2.6.0 |