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

Copyright(C) 2013-2015, University of Twente
LicenseBSD2 (see the file LICENSE)
MaintainerChristiaan Baaij <christiaan.baaij@gmail.com>
Safe HaskellNone
LanguageHaskell2010
Extensions
  • TemplateHaskell
  • 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 102

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

Documentation

d1024 :: SNat 1024 Source

d1023 :: SNat 1023 Source

d1022 :: SNat 1022 Source

d1021 :: SNat 1021 Source

d1020 :: SNat 1020 Source

d1019 :: SNat 1019 Source

d1018 :: SNat 1018 Source

d1017 :: SNat 1017 Source

d1016 :: SNat 1016 Source

d1015 :: SNat 1015 Source

d1014 :: SNat 1014 Source

d1013 :: SNat 1013 Source

d1012 :: SNat 1012 Source

d1011 :: SNat 1011 Source

d1010 :: SNat 1010 Source

d1009 :: SNat 1009 Source

d1008 :: SNat 1008 Source

d1007 :: SNat 1007 Source

d1006 :: SNat 1006 Source

d1005 :: SNat 1005 Source

d1004 :: SNat 1004 Source

d1003 :: SNat 1003 Source

d1002 :: SNat 1002 Source

d1001 :: SNat 1001 Source

d1000 :: SNat 1000 Source