type-level-tf-0.2.1: Type-level programming library (type families)

Portabilitynon-portable (Template Haskell)
Stabilityexperimental
Maintaineralfonso.acosta@gmail.com

Data.TypeLevel.Num.Aliases.TH

Description

Internal template haskell functions to generate type-level numeral aliases

Synopsis

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.