module CLaSH.Promoted.Nat.TH where
import Language.Haskell.TH
import CLaSH.Promoted.Nat
decLiteralD :: Integer
-> Q [Dec]
decLiteralD n = do
let suffix = if n < 0 then error ("Can't make negative SNat: " ++ show n) else show n
valName = mkName $ 'd':suffix
sig <- sigD valName (appT (conT ''SNat) (litT (numTyLit n)))
val <- valD (varP valName) (normalB [| snat |]) []
return [ sig, val ]
decLiteralsD :: Integer
-> Integer
-> Q [Dec]
decLiteralsD from to =
fmap concat $ sequence $ [ decLiteralD n | n <- [from..to] ]