Copyright	(C) 2013-2016 University of Twente
License	BSD2 (see the file LICENSE)
Maintainer	Christiaan Baaij <[email protected]>
Safe Haskell	Trustworthy
Language	Haskell2010
Extensions	Cpp TemplateHaskell TemplateHaskellQuotes ScopedTypeVariables BangPatterns ViewPatterns DataKinds InstanceSigs StandaloneDeriving DeriveDataTypeable DeriveFunctor DeriveTraversable DeriveFoldable DeriveGeneric DefaultSignatures DeriveLift DerivingStrategies MagicHash KindSignatures PostfixOperators TupleSections TypeOperators ExplicitNamespaces ExplicitForAll BinaryLiterals TypeApplications

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