1 module Data.Param.Integer
9 import qualified Data.Bits as B
11 newtype (NaturalT nT) => Signed nT = Signed Integer
13 newtype (NaturalT nT) => Unsigned nT = Unsigned Integer
15 newtype (PositiveT upper) => Index upper = Index Integer
17 class (B.Bits a) => HWBits a where