Copyright	(C) 2013-2016 University of Twente
License	BSD2 (see the file LICENSE)
Maintainer	Christiaan Baaij <christiaan.baaij@gmail.com>
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 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