Copyright	(c) 2008 Alfonso Acosta, Oleg Kiselyov, Wolfgang Jeltsch and KTH's SAM group
License	BSD-style (see the file LICENSE)
Maintainer	[email protected]
Stability	experimental
Portability	non-portable (Template Haskell)
Safe Haskell	None
Language	Haskell98

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 Type Source

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.