Resize Index Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
KnownNat n => Lift (Index n :: Type) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
KnownNat n => Bounded (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
KnownNat n => Enum (Index n) Source # | The functions: enumFrom , enumFromThen , enumFromTo , and
enumFromThenTo , are not synthesizable. |
Instance detailsDefined in Clash.Sized.Internal.Index |
Eq (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
KnownNat n => Integral (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
KnownNat n => Data (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
KnownNat n => Num (Index n) Source # | Operators report an error on overflow and underflow |
Instance detailsDefined in Clash.Sized.Internal.Index |
Ord (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
KnownNat n => Read (Index n) Source # | None of the Read class' methods are synthesizable. |
Instance detailsDefined in Clash.Sized.Internal.Index |
KnownNat n => Real (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
Show (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
KnownNat n => Ix (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
Generic (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
KnownNat n => Arbitrary (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
KnownNat n => CoArbitrary (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
KnownNat n => PrintfArg (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
(KnownNat n, 1 <= n) => Bits (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
(KnownNat n, 1 <= n) => FiniteBits (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
KnownNat n => Default (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
NFData (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
(KnownNat n, 1 <= n) => SaturatingNum (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
NFDataX (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
ShowX (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
(KnownNat n, 1 <= n) => BitPack (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
(KnownNat n, 1 <= n) => Parity (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
Bundle (Index n) Source # | |
Instance detailsDefined in Clash.Signal.Bundle |
Bundle (Index n) Source # | |
Instance detailsDefined in Clash.Signal.Delayed.Bundle |
(1 <= n, KnownNat n) => Counter (Index n) Source # | |
Instance detailsDefined in Clash.Class.Counter.Internal |
AutoReg (Index n) Source # | |
Instance detailsDefined in Clash.Class.AutoReg.Internal |
KnownNat m => Exp (Index m) Source # | |
Instance detailsDefined in Clash.Class.Exp |
ExtendingNum (Index m) (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
type Unbundled dom d (Index n) Source # | |
Instance detailsDefined in Clash.Signal.Delayed.Bundle |
type Unbundled dom (Index n) Source # | |
Instance detailsDefined in Clash.Signal.Bundle |
type TryDomain t (Index n) Source # | |
Instance detailsDefined in Clash.Class.HasDomain.HasSingleDomain |
type Rep (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
type BitSize (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
type ExpResult (Index m) n Source # | |
Instance detailsDefined in Clash.Class.Exp |
type AResult (Index m) (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |
type MResult (Index m) (Index n) Source # | |
Instance detailsDefined in Clash.Sized.Internal.Index |