clash-prelude-0.4: CAES Language for Synchronous Hardware - Prelude library

Safe HaskellNone
LanguageHaskell2010

CLaSH.Promoted.Nat.TH

Synopsis

Documentation

decLiteralD :: String -> Integer -> Q [Dec] Source

Create an SNat constant

$(decLiteralD "d" 1200) == d1200 = snat :: SNat 1200

decLiteralsD :: String -> Integer -> Integer -> Q [Dec] Source

Create an SNat constants

$(decLiteralsD "d" 1200 1202) == d1200 = snat :: SNat 1200
                                 d1201 = snat :: SNat 1201
                                 d1202 = snat :: SNat 1202