Portability | non-portable (Template Haskell) |
---|---|
Stability | experimental |
Maintainer | alfonso.acosta@gmail.com |
Internal template haskell functions to generate type-level numeral aliases
Documentation
dec2TypeLevel :: Int -> Q TypeSource
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.