cλash/Data/Param/Integer.hs

   1 module Data.Param.Integer
   2   ( Signed(..)
   3   , Unsigned(..)
   4   , Index (..)
   5   ) where
   6
   7 import Types
   8
   9 newtype (NaturalT nT) => Signed nT = Signed Integer
  10
  11 newtype (NaturalT nT) => Unsigned nT = Unsigned Integer
  12
  13 newtype (NaturalT upper) => Index upper = Index Integer