Copyright | (c) 2008 Alfonso Acosta, Oleg Kiselyov, Wolfgang Jeltsch and KTH's SAM group |
---|---|

License | BSD-style (see the file LICENSE) |

Maintainer | alfonso.acosta@gmail.com |

Stability | experimental |

Portability | non-portable (Template Haskell) |

Safe Haskell | None |

Language | Haskell98 |

Internal template haskell functions to generate type-level numeral aliases

# Documentation

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.