Copyright | (C) 2013-2015, University of Twente |
---|---|
License | BSD2 (see the file LICENSE) |
Maintainer | Christiaan Baaij <christiaan.baaij@gmail.com> |
Safe Haskell | None |
Language | Haskell2010 |
- data Index n
Documentation
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) Source | |
KnownNat n => Enum (Index n) Source | The functions: |
Eq (Index n) Source | |
KnownNat n => Integral (Index n) Source | |
KnownNat n => Num (Index n) Source | Operators report an error on overflow and underflow |
Ord (Index n) Source | |
KnownNat n => Real (Index n) Source | |
Show (Index n) Source | |
KnownNat n => Default (Index n) Source | |
KnownNat n => Lift (Index n) Source | |
Bundle (Index n) Source | |
type Unbundled' clk (Index n) = Signal' clk (Index n) |