clash-prelude- CAES Language for Synchronous Hardware - Prelude library

Safe HaskellNone




data Index n Source

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]


KnownNat n => Bounded (Index n) 
KnownNat n => Enum (Index n)

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

Eq (Index n) 
KnownNat n => Integral (Index n) 
KnownNat n => Num (Index n)

Operators report an error on overflow and underflow

Ord (Index n) 
KnownNat n => Real (Index n) 
Show (Index n) 
KnownNat n => Default (Index n) 
KnownNat n => Lift (Index n) 
Bundle (Index n) 
Typeable (Nat -> *) Index 
type Unbundled clk (Index n) = CSignal clk (Index n)