clash-prelude-0.4: CAES Language for Synchronous Hardware - Prelude library
CLaSH.Promoted.Nat.TH
Synopsis
decLiteralD :: String -> Integer -> Q [Dec] Source
Create an SNat constant
SNat
$(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