Clash.Sized.Internal.Index

Datatypes

newtype Index (n :: Nat)

Arbitrary-bounded unsigned integer represented by ceil(log_2(n)) bits.

Given an upper bound n, an Index n number has a range of: [0 .. n-1]

>>> maxBound :: Index 8
7
>>> minBound :: Index 8
0
>>> read (show (maxBound :: Index 8)) :: Index 8
7
>>> 1 + 2 :: Index 8
3
>>> 2 + 6 :: Index 8
*** Exception: Clash.Sized.Index: result 8 is out of bounds: [0..7]
...
>>> 1 - 3 :: Index 8
*** Exception: Clash.Sized.Index: result -2 is out of bounds: [0..7]
...
>>> 2 * 3 :: Index 8
6
>>> 2 * 4 :: Index 8
*** Exception: Clash.Sized.Index: result 8 is out of bounds: [0..7]
...

Constructors

I

The constructor, I, and the field, unsafeToInteger, are not synthesisable.

Fields

• unsafeToInteger :: Integer

Instances

Resize Index

Methods

resize :: (KnownNat a, KnownNat b) => Index a -> Index b

extend :: (KnownNat a, KnownNat b) => Index a -> Index (b + a)

zeroExtend :: (KnownNat a, KnownNat b) => Index a -> Index (b + a)

signExtend :: (KnownNat a, KnownNat b) => Index a -> Index (b + a)

truncateB :: KnownNat a => Index (a + b) -> Index a

KnownNat n => Bounded (Index n)

Methods

minBound :: Index n

maxBound :: Index n

KnownNat n => Enum (Index n)

The functions: enumFrom, enumFromThen, enumFromTo, and enumFromThenTo, are not synthesisable.

Methods

succ :: Index n -> Index n

pred :: Index n -> Index n

toEnum :: Int -> Index n

fromEnum :: Index n -> Int

enumFrom :: Index n -> [Index n]

enumFromThen :: Index n -> Index n -> [Index n]

enumFromTo :: Index n -> Index n -> [Index n]

enumFromThenTo :: Index n -> Index n -> Index n -> [Index n]

Eq (Index n)

Methods

(==) :: Index n -> Index n -> Bool

(/=) :: Index n -> Index n -> Bool

KnownNat n => Integral (Index n)

Methods

quot :: Index n -> Index n -> Index n

rem :: Index n -> Index n -> Index n

div :: Index n -> Index n -> Index n

mod :: Index n -> Index n -> Index n

quotRem :: Index n -> Index n -> (Index n, Index n)

divMod :: Index n -> Index n -> (Index n, Index n)

toInteger :: Index n -> Integer

KnownNat n => Data (Index n)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Index n -> c (Index n)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Index n)

toConstr :: Index n -> Constr

dataTypeOf :: Index n -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Index n))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Index n))

gmapT :: (forall b. Data b => b -> b) -> Index n -> Index n

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Index n -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Index n -> r

gmapQ :: (forall d. Data d => d -> u) -> Index n -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Index n -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Index n -> m (Index n)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Index n -> m (Index n)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Index n -> m (Index n)

KnownNat n => Num (Index n)

Operators report an error on overflow and underflow

Methods

(+) :: Index n -> Index n -> Index n

(-) :: Index n -> Index n -> Index n

(*) :: Index n -> Index n -> Index n

negate :: Index n -> Index n

abs :: Index n -> Index n

signum :: Index n -> Index n

fromInteger :: Integer -> Index n

Ord (Index n)

Methods

compare :: Index n -> Index n -> Ordering

(<) :: Index n -> Index n -> Bool

(<=) :: Index n -> Index n -> Bool

(>) :: Index n -> Index n -> Bool

(>=) :: Index n -> Index n -> Bool

max :: Index n -> Index n -> Index n

min :: Index n -> Index n -> Index n

KnownNat n => Read (Index n)

None of the Read class' methods are synthesisable.

Methods

readsPrec :: Int -> ReadS (Index n)

readList :: ReadS [Index n]

readPrec :: ReadPrec (Index n)

readListPrec :: ReadPrec [Index n]

KnownNat n => Real (Index n)

Methods

toRational :: Index n -> Rational

Show (Index n)

Methods

showsPrec :: Int -> Index n -> ShowS

show :: Index n -> String

showList :: [Index n] -> ShowS

KnownNat n => Lift (Index n)

Methods

lift :: Index n -> Q Exp

NFData (Index n)

Methods

rnf :: Index n -> ()

(KnownNat n, 1 <= n) => SaturatingNum (Index n)

Methods

satPlus :: SaturationMode -> Index n -> Index n -> Index n

satMin :: SaturationMode -> Index n -> Index n -> Index n

satMult :: SaturationMode -> Index n -> Index n -> Index n

ShowX (Index n)

Methods

showsPrecX :: Int -> Index n -> ShowS

showX :: Index n -> String

showListX :: [Index n] -> ShowS

KnownNat n => Default (Index n)

Methods

def :: Index n

KnownNat n => Arbitrary (Index n)

Methods

arbitrary :: Gen (Index n)

shrink :: Index n -> [Index n]

KnownNat n => CoArbitrary (Index n)

Methods

coarbitrary :: Index n -> Gen b -> Gen b

KnownNat n => BitPack (Index n)

Associated Types

type BitSize (Index n) :: Nat

Methods

pack :: Index n -> BitVector (BitSize (Index n))

unpack :: BitVector (BitSize (Index n)) -> Index n

Bundle (Index n)

Associated Types

type Unbundled domain (Index n) = (res :: *)

Methods

bundle :: Unbundled domain (Index n) -> Signal domain (Index n)

unbundle :: Signal domain (Index n) -> Unbundled domain (Index n)

ExtendingNum (Index m) (Index n)

Associated Types

type AResult (Index m) (Index n) :: *

type MResult (Index m) (Index n) :: *

Methods

plus :: Index m -> Index n -> AResult (Index m) (Index n)

minus :: Index m -> Index n -> AResult (Index m) (Index n)

times :: Index m -> Index n -> MResult (Index m) (Index n)

type Unbundled domain (Index n)

type Unbundled domain (Index n) = Signal domain (Index n)

type BitSize (Index n)

type BitSize (Index n) = CLog 2 n

type AResult (Index m) (Index n)

type AResult (Index m) (Index n) = Index ((m + n) - 1)

type MResult (Index m) (Index n)

type MResult (Index m) (Index n) = Index (((m - 1) * (n - 1)) + 1)

Construction

fromSNat :: (KnownNat m, CmpNat n m ~ LT) => SNat n -> Index m

Safely convert an SNat value to an Index

Type classes

BitConvert

pack# :: Index n -> BitVector (CLog 2 n)

unpack# :: KnownNat n => BitVector (CLog 2 n) -> Index n

Eq

eq# :: Index n -> Index n -> Bool

neq# :: Index n -> Index n -> Bool

Ord

lt# :: Index n -> Index n -> Bool

ge# :: Index n -> Index n -> Bool

gt# :: Index n -> Index n -> Bool

le# :: Index n -> Index n -> Bool

Enum (not synthesisable)

enumFrom# :: KnownNat n => Index n -> [Index n]

enumFromThen# :: KnownNat n => Index n -> Index n -> [Index n]

enumFromTo# :: Index n -> Index n -> [Index n]

enumFromThenTo# :: Index n -> Index n -> Index n -> [Index n]

Bounded

maxBound# :: KnownNat n => Index n

Num

(+#) :: KnownNat n => Index n -> Index n -> Index n

(-#) :: KnownNat n => Index n -> Index n -> Index n

(*#) :: KnownNat n => Index n -> Index n -> Index n

fromInteger# :: KnownNat n => Integer -> Index n

ExtendingNum

plus# :: Index m -> Index n -> Index ((m + n) - 1)

minus# :: Index m -> Index n -> Index ((m + n) - 1)

times# :: Index m -> Index n -> Index (((m - 1) * (n - 1)) + 1)

Integral

quot# :: Index n -> Index n -> Index n

rem# :: Index n -> Index n -> Index n

toInteger# :: Index n -> Integer

Resize

resize# :: KnownNat m => Index n -> Index m