type-level-0.2.4: Type-level programming librarySource codeContentsIndex
Data.TypeLevel.Num.Aliases.TH
Portabilitynon-portable (Template Haskell)
Stabilityexperimental
Maintaineralfonso.acosta@gmail.com
Description
Internal template haskell functions to generate type-level numeral aliases
Synopsis
genAliases :: Int -> Int -> Int -> Int -> Q [Dec]
dec2TypeLevel :: Int -> Q Type
Documentation
genAliases :: Int -> Int -> Int -> Int -> Q [Dec]Source
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.
Produced by Haddock version 2.6.0