tfp-0.7: Type-level integers, booleans, lists using type families
Types.Data.Num.Decimal.Literals.TH
decLiteralT :: Integer -> Q TypeSource
decLiteralV :: Integer -> Q ExpSource
decLiteralD :: String -> String -> Integer -> Q [Dec]Source
decLiteralsD :: String -> String -> Integer -> Integer -> Q [Dec]Source