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

Safe HaskellNone
LanguageHaskell2010

CLaSH.Promoted.Nat.TH

Synopsis

Documentation

decLiteralD :: Integer -> Q [Dec] Source

Create an SNat literal

$(decLiteralD "d" 1200)
>>> :t d1200
d1200 :: SNat 1200

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

Create a range of SNat literals

$(decLiteralsD 1200 1202)
>>> :t d1200
d1200 :: SNat 1200
>>> :t d1201
d1201 :: SNat 1201
>>> :t d1202
d1202 :: SNat 1202