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	TemplateHaskell TemplateHaskellQuotes

Clash.Promoted.Nat.TH

Contents

Description

Synopsis

Declare a single `d<N>` literal

Create an SNat literal

$(decLiteralD 1111)

>>> :t d1111
d1111 :: SNat 1111

Declare ranges of `d<N>` literals

Create a range of SNat literals

$(decLiteralsD 1200 1202)

>>> :t d1200
d1200 :: SNat 1200
>>> :t d1201
d1201 :: SNat 1201
>>> :t d1202
d1202 :: SNat 1202