clash-prelude-1.0.1: CAES Language for Synchronous Hardware - Prelude library
Copyright(C) 2013-2016 University of Twente
LicenseBSD2 (see the file LICENSE)
MaintainerChristiaan Baaij <christiaan.baaij@gmail.com>
Safe HaskellTrustworthy
LanguageHaskell2010
Extensions
  • Cpp
  • TemplateHaskell
  • TemplateHaskellQuotes
  • DataKinds

Clash.Promoted.Nat.Literals

Description

Predefined SNat singleton literals in the range [0 .. 1024]

Defines:

d0 = SNat :: SNat 0
d1 = SNat :: SNat 1
d2 = SNat :: SNat 2
...
d1024 = SNat :: SNat 1024

You can generate more SNat literals using decLiteralsD from Clash.Promoted.Nat.TH