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

    Predefined 'Clash.Promoted.Nat.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 'Clash.Promoted.Nat.SNat' literals using 'decLiteralsD'
    from "Clash.Promoted.Nat.TH"
    -}

    {-# LANGUAGE CPP #-}
    {-# LANGUAGE TemplateHaskell #-}

    {-# LANGUAGE Trustworthy #-}

    {-# OPTIONS_HADDOCK show-extensions, prune #-}

    module Clash.Promoted.Nat.Literals where

    import Clash.Promoted.Nat.TH

    #ifdef HADDOCK_ONLY
    -- Don't pollute docs with 1024 SNat literals
    $(decLiteralsD 0 9)
    #else
    $(decLiteralsD 0 1024)
    #endif