Copyright	(C) 2013-2016 University of Twente 2016 Myrtle Software Ltd 2021-2025 QBayLogic B.V.
License	BSD2 (see the file LICENSE)
Maintainer	QBayLogic B.V. <devops@qbaylogic.com>
Safe Haskell	Unsafe
Language	Haskell2010
Extensions	Cpp UndecidableInstances MonoLocalBinds TemplateHaskell TemplateHaskellQuotes ScopedTypeVariables BangPatterns TypeFamilies ViewPatterns PolyKinds DataKinds InstanceSigs StandaloneDeriving DeriveDataTypeable DeriveFunctor DeriveTraversable DeriveFoldable DeriveGeneric DefaultSignatures DeriveAnyClass DeriveLift DerivingStrategies TypeSynonymInstances FlexibleInstances ConstrainedClassMethods MultiParamTypeClasses MagicHash KindSignatures RoleAnnotations PostfixOperators TupleSections TypeOperators ExplicitNamespaces ExplicitForAll MultiWayIf BinaryLiterals TypeApplications

Clash.Sized.Internal.Unsigned

Contents

Datatypes
Accessors
- Length information
Type classes
Type-level error messages

Description

Synopsis

data Unsigned (n :: Nat) = U {
- unsafeToNatural :: !Natural
}
size# :: KnownNat n => Unsigned n -> Int
pack# :: Unsigned n -> BitVector n
unpack# :: KnownNat n => BitVector n -> Unsigned n
eq# :: Unsigned n -> Unsigned n -> Bool
neq# :: Unsigned n -> Unsigned n -> Bool
lt# :: Unsigned n -> Unsigned n -> Bool
ge# :: Unsigned n -> Unsigned n -> Bool
gt# :: Unsigned n -> Unsigned n -> Bool
le# :: Unsigned n -> Unsigned n -> Bool
toEnum# :: forall n. KnownNat n => Int -> Unsigned n
fromEnum# :: forall n. KnownNat n => Unsigned n -> Int
enumFrom# :: forall n. KnownNat n => Unsigned n -> [Unsigned n]
enumFromThen# :: forall n. KnownNat n => Unsigned n -> Unsigned n -> [Unsigned n]
enumFromTo# :: forall n. KnownNat n => Unsigned n -> Unsigned n -> [Unsigned n]
enumFromThenTo# :: forall n. KnownNat n => Unsigned n -> Unsigned n -> Unsigned n -> [Unsigned n]
minBound# :: Unsigned n
maxBound# :: forall n. KnownNat n => Unsigned n
(+#) :: forall n. KnownNat n => Unsigned n -> Unsigned n -> Unsigned n
(-#) :: forall n. KnownNat n => Unsigned n -> Unsigned n -> Unsigned n
(*#) :: forall n. KnownNat n => Unsigned n -> Unsigned n -> Unsigned n
negate# :: forall n. KnownNat n => Unsigned n -> Unsigned n
fromInteger# :: forall n. KnownNat n => Integer -> Unsigned n
plus# :: Unsigned m -> Unsigned n -> Unsigned (Max m n + 1)
minus# :: forall m n. (KnownNat m, KnownNat n) => Unsigned m -> Unsigned n -> Unsigned (Max m n + 1)
times# :: Unsigned m -> Unsigned n -> Unsigned (m + n)
quot# :: Unsigned n -> Unsigned n -> Unsigned n
rem# :: Unsigned n -> Unsigned n -> Unsigned n
toInteger# :: Unsigned n -> Integer
and# :: Unsigned n -> Unsigned n -> Unsigned n
or# :: Unsigned n -> Unsigned n -> Unsigned n
xor# :: Unsigned n -> Unsigned n -> Unsigned n
complement# :: forall n. KnownNat n => Unsigned n -> Unsigned n
shiftL# :: forall n. KnownNat n => Unsigned n -> Int -> Unsigned n
shiftR# :: forall n. KnownNat n => Unsigned n -> Int -> Unsigned n
rotateL# :: forall n. KnownNat n => Unsigned n -> Int -> Unsigned n
rotateR# :: forall n. KnownNat n => Unsigned n -> Int -> Unsigned n
resize# :: forall n m. KnownNat m => Unsigned n -> Unsigned m
unsignedToWord :: Unsigned 64 -> Word
unsigned8toWord8 :: Unsigned 8 -> Word8
unsigned16toWord16 :: Unsigned 16 -> Word16
unsigned32toWord32 :: Unsigned 32 -> Word32
type UnsignedPositiveLiteralError lit n = PotentiallyOutOfBounds ('ShowType lit) (UnsignedBounds (Unsigned n) ((2 ^ n) - 1)) (CLog 2 (lit + 1)) n

Datatypes

data Unsigned (n :: Nat) Source #

Arbitrary-width unsigned integer represented by n bits

Given n bits, an Unsigned n number has a range of: [0 .. 2^n-1]

NB: To convert to another number type, use numConvert if the target type can hold every value, maybeNumConvert if it might not, the Resize class to change the width, and bitCoerce only to reinterpret the bits. Avoid fromIntegral: it goes through Integer, which has a fixed width in HDL. See Clash.Class.NumConvert for an overview with examples.
NB: The Num operators perform wrap-around on overflow. If you want saturation on overflow, check out the SaturatingNum class.

>>> maxBound :: Unsigned 3
7
>>> minBound :: Unsigned 3
0
>>> read (show (maxBound :: Unsigned 3)) :: Unsigned 3
7
>>> 1 + 2 :: Unsigned 3
3
>>> 2 + 6 :: Unsigned 3
0
>>> 1 - 3 :: Unsigned 3
6
>>> 2 * 3 :: Unsigned 3
6
>>> 2 * 4 :: Unsigned 3
0
>>> (2 :: Unsigned 3) `mul` (4 :: Unsigned 3) :: Unsigned 6
8
>>> (2 :: Unsigned 3) `add` (6 :: Unsigned 3) :: Unsigned 4
8
>>> satAdd SatSymmetric 2 6 :: Unsigned 3
7
>>> satSub SatSymmetric 2 3 :: Unsigned 3
0

Unsigned has the type role

>>> :i Unsigned
type role Unsigned nominal
...

as it is not safe to coerce between different width Unsigned. To change the width, use the functions in the Resize class.

Constructors

U	The constructor, `U`, and the field, `unsafeToNatural`, are not synthesizable.
Fields unsafeToNatural :: !Natural

Instances

Instances details

Resize Unsigned Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods resize :: forall (a :: Nat) (b :: Nat). (KnownNat a, KnownNat b) => Unsigned a -> Unsigned b Source # extend :: forall (a :: Nat) (b :: Nat). (KnownNat a, KnownNat b) => Unsigned a -> Unsigned (b + a) Source # zeroExtend :: forall (a :: Nat) (b :: Nat). (KnownNat a, KnownNat b) => Unsigned a -> Unsigned (b + a) Source # signExtend :: forall (a :: Nat) (b :: Nat). (KnownNat a, KnownNat b) => Unsigned a -> Unsigned (b + a) Source # truncateB :: forall (a :: Nat) (b :: Natural). KnownNat a => Unsigned (a + b) -> Unsigned a Source #
(UFixedNegativeLiteralError ('Text str) :: Constraint) => CheckedNegativeRationalLiteral str num den (UFixed int frac) Source #
Instance details Defined in Clash.Sized.Fixed
(Assert (If (Div num den <=? 0) (Div num den <=? 0) (CLog 2 (Div num den + 1) <=? int)) (UFixedPositiveLiteralError ('Text str) (Div num den) int :: Constraint), CheckFixedFrac (IsPowerOfTwo den) ('Text str) den frac (UFixed int frac)) => CheckedPositiveRationalLiteral str num den (UFixed int frac) Source #
Instance details Defined in Clash.Sized.Fixed
(NegativeUnsignedError lit (Unsigned n) ((2 ^ n) - 1) :: Constraint) => CheckedNegativeIntegerLiteral lit (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned
Assert (If (lit <=? 0) (lit <=? 0) (CLog 2 (lit + 1) <=? n)) (UnsignedPositiveLiteralError lit n :: Constraint) => CheckedPositiveIntegerLiteral lit (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned
NumConvertCanonical Word16 (Unsigned 16) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Word16 -> Unsigned 16 Source #
NumConvertCanonical Word32 (Unsigned 32) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Word32 -> Unsigned 32 Source #
NumConvertCanonical Word64 (Unsigned 64) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Word64 -> Unsigned 64 Source #
NumConvertCanonical Word8 (Unsigned 8) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Word8 -> Unsigned 8 Source #
NumConvertCanonical Word (Unsigned 64) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Word -> Unsigned 64 Source #
KnownNat n => Lift (Unsigned n :: Type) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods lift :: Quote m => Unsigned n -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Unsigned n -> Code m (Unsigned n) #
(UFixedNegativeLiteralError ('Text "-" ':<>: 'ShowType lit) :: Constraint) => CheckedNegativeIntegerLiteral lit (UFixed int frac) Source #
Instance details Defined in Clash.Sized.Fixed
Assert (If (lit <=? 0) (lit <=? 0) (CLog 2 (lit + 1) <=? int)) (UFixedPositiveLiteralError ('ShowType lit) lit int :: Constraint) => CheckedPositiveIntegerLiteral lit (UFixed int frac) Source #
Instance details Defined in Clash.Sized.Fixed
KnownNat n => Arbitrary (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods arbitrary :: Gen (Unsigned n) # shrink :: Unsigned n -> [Unsigned n] #
KnownNat n => CoArbitrary (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods coarbitrary :: Unsigned n -> Gen b -> Gen b #
KnownNat n => Data (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Unsigned n -> c (Unsigned n) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Unsigned n) # toConstr :: Unsigned n -> Constr # dataTypeOf :: Unsigned n -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Unsigned n)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Unsigned n)) # gmapT :: (forall b. Data b => b -> b) -> Unsigned n -> Unsigned n # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Unsigned n -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Unsigned n -> r # gmapQ :: (forall d. Data d => d -> u) -> Unsigned n -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Unsigned n -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Unsigned n -> m (Unsigned n) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Unsigned n -> m (Unsigned n) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Unsigned n -> m (Unsigned n) #
KnownNat n => Bits (Unsigned n) Source #	`shiftR a n`: Returns 0 if `n >= bitSize a` `XException` if `n < 0`
Instance details Defined in Clash.Sized.Internal.Unsigned Methods (.&.) :: Unsigned n -> Unsigned n -> Unsigned n # (.\|.) :: Unsigned n -> Unsigned n -> Unsigned n # xor :: Unsigned n -> Unsigned n -> Unsigned n # complement :: Unsigned n -> Unsigned n # shift :: Unsigned n -> Int -> Unsigned n # rotate :: Unsigned n -> Int -> Unsigned n # zeroBits :: Unsigned n # bit :: Int -> Unsigned n # setBit :: Unsigned n -> Int -> Unsigned n # clearBit :: Unsigned n -> Int -> Unsigned n # complementBit :: Unsigned n -> Int -> Unsigned n # testBit :: Unsigned n -> Int -> Bool # bitSizeMaybe :: Unsigned n -> Maybe Int # bitSize :: Unsigned n -> Int # isSigned :: Unsigned n -> Bool # shiftL :: Unsigned n -> Int -> Unsigned n # unsafeShiftL :: Unsigned n -> Int -> Unsigned n # shiftR :: Unsigned n -> Int -> Unsigned n # unsafeShiftR :: Unsigned n -> Int -> Unsigned n # rotateL :: Unsigned n -> Int -> Unsigned n # rotateR :: Unsigned n -> Int -> Unsigned n # popCount :: Unsigned n -> Int #
KnownNat n => FiniteBits (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods finiteBitSize :: Unsigned n -> Int # countLeadingZeros :: Unsigned n -> Int # countTrailingZeros :: Unsigned n -> Int #
KnownNat n => Bounded (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods minBound :: Unsigned n # maxBound :: Unsigned n #
KnownNat n => Enum (Unsigned n) Source #	The functions: `enumFrom`, `enumFromThen`, `enumFromTo`, and `enumFromThenTo`, are not synthesizable.
Instance details Defined in Clash.Sized.Internal.Unsigned Methods succ :: Unsigned n -> Unsigned n # pred :: Unsigned n -> Unsigned n # toEnum :: Int -> Unsigned n # fromEnum :: Unsigned n -> Int # enumFrom :: Unsigned n -> [Unsigned n] # enumFromThen :: Unsigned n -> Unsigned n -> [Unsigned n] # enumFromTo :: Unsigned n -> Unsigned n -> [Unsigned n] # enumFromThenTo :: Unsigned n -> Unsigned n -> Unsigned n -> [Unsigned n] #
Generic (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Associated Types type Rep (Unsigned n) :: Type -> Type # Methods from :: Unsigned n -> Rep (Unsigned n) x # to :: Rep (Unsigned n) x -> Unsigned n #
KnownNat n => Ix (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods range :: (Unsigned n, Unsigned n) -> [Unsigned n] # index :: (Unsigned n, Unsigned n) -> Unsigned n -> Int # unsafeIndex :: (Unsigned n, Unsigned n) -> Unsigned n -> Int # inRange :: (Unsigned n, Unsigned n) -> Unsigned n -> Bool # rangeSize :: (Unsigned n, Unsigned n) -> Int # unsafeRangeSize :: (Unsigned n, Unsigned n) -> Int #
KnownNat n => Num (Unsigned n) Source #	NB: `fromInteger`/`fromIntegral` can cause unexpected truncation, as `Integer` is arbitrarily bounded during synthesis. Prefer `bitCoerce` and the `Resize` class.
Instance details Defined in Clash.Sized.Internal.Unsigned Methods (+) :: Unsigned n -> Unsigned n -> Unsigned n # (-) :: Unsigned n -> Unsigned n -> Unsigned n # (*) :: Unsigned n -> Unsigned n -> Unsigned n # negate :: Unsigned n -> Unsigned n # abs :: Unsigned n -> Unsigned n # signum :: Unsigned n -> Unsigned n # fromInteger :: Integer -> Unsigned n #
KnownNat n => Read (Unsigned n) Source #	None of the `Read` class' methods are synthesizable.
Instance details Defined in Clash.Sized.Internal.Unsigned Methods readsPrec :: Int -> ReadS (Unsigned n) # readList :: ReadS [Unsigned n] # readPrec :: ReadPrec (Unsigned n) # readListPrec :: ReadPrec [Unsigned n] #
KnownNat n => Integral (Unsigned n) Source #	NB: `toInteger`/`fromIntegral` can cause unexpected truncation, as `Integer` is arbitrarily bounded during synthesis. Prefer `bitCoerce` and the `Resize` class.
Instance details Defined in Clash.Sized.Internal.Unsigned Methods quot :: Unsigned n -> Unsigned n -> Unsigned n # rem :: Unsigned n -> Unsigned n -> Unsigned n # div :: Unsigned n -> Unsigned n -> Unsigned n # mod :: Unsigned n -> Unsigned n -> Unsigned n # quotRem :: Unsigned n -> Unsigned n -> (Unsigned n, Unsigned n) # divMod :: Unsigned n -> Unsigned n -> (Unsigned n, Unsigned n) # toInteger :: Unsigned n -> Integer #
KnownNat n => Real (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods toRational :: Unsigned n -> Rational #
Show (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods showsPrec :: Int -> Unsigned n -> ShowS # show :: Unsigned n -> String # showList :: [Unsigned n] -> ShowS #
KnownNat n => PrintfArg (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods formatArg :: Unsigned n -> FieldFormatter # parseFormat :: Unsigned n -> ModifierParser #
AutoReg (Unsigned n) Source #
Instance details Defined in Clash.Class.AutoReg.Internal Methods autoReg :: forall (dom :: Domain). (HasCallStack, KnownDomain dom) => Clock dom -> Reset dom -> Enable dom -> Unsigned n -> Signal dom (Unsigned n) -> Signal dom (Unsigned n) Source #
KnownNat n => BitPack (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Associated Types type BitSize (Unsigned n) :: Nat Source # Methods pack :: Unsigned n -> BitVector (BitSize (Unsigned n)) Source # unpack :: BitVector (BitSize (Unsigned n)) -> Unsigned n Source # maybeUnpack :: BitVector (BitSize (Unsigned n)) -> Maybe (Unsigned n) Source #
KnownNat n => Counter (Unsigned n) Source #
Instance details Defined in Clash.Class.Counter.Internal Methods countMin :: Unsigned n Source # countMax :: Unsigned n Source # countSuccOverflow :: Unsigned n -> (Bool, Unsigned n) Source # countPredOverflow :: Unsigned n -> (Bool, Unsigned n) Source #
KnownNat m => Exp (Unsigned m) Source #
Instance details Defined in Clash.Class.Exp Associated Types type ExpResult (Unsigned m) n Source # Methods (^) :: forall (n :: Nat). Unsigned m -> SNat n -> ExpResult (Unsigned m) n Source #
KnownNat n => SaturatingNum (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods satAdd :: SaturationMode -> Unsigned n -> Unsigned n -> Unsigned n Source # satSub :: SaturationMode -> Unsigned n -> Unsigned n -> Unsigned n Source # satMul :: SaturationMode -> Unsigned n -> Unsigned n -> Unsigned n Source # satSucc :: SaturationMode -> Unsigned n -> Unsigned n Source # satPred :: SaturationMode -> Unsigned n -> Unsigned n Source #
KnownNat n => Parity (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods even :: Unsigned n -> Bool Source # odd :: Unsigned n -> Bool Source #
Bundle (Unsigned n) Source #
Instance details Defined in Clash.Signal.Bundle Associated Types type Unbundled dom (Unsigned n) = (res :: Type) Source # Methods bundle :: forall (dom :: Domain). Unbundled dom (Unsigned n) -> Signal dom (Unsigned n) Source # unbundle :: forall (dom :: Domain). Signal dom (Unsigned n) -> Unbundled dom (Unsigned n) Source #
Bundle (Unsigned n) Source #
Instance details Defined in Clash.Signal.Delayed.Bundle Associated Types type Unbundled dom d (Unsigned n) = (res :: Type) Source # Methods bundle :: forall (dom :: Domain) (d :: Nat). Unbundled dom d (Unsigned n) -> DSignal dom d (Unsigned n) Source # unbundle :: forall (dom :: Domain) (d :: Nat). DSignal dom d (Unsigned n) -> Unbundled dom d (Unsigned n) Source #
NFDataX (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods deepErrorX :: String -> Unsigned n Source # hasUndefined :: Unsigned n -> Bool Source # ensureSpine :: Unsigned n -> Unsigned n Source # rnfX :: Unsigned n -> () Source #
ShowX (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods showsPrecX :: Int -> Unsigned n -> ShowS Source # showX :: Unsigned n -> String Source # showListX :: [Unsigned n] -> ShowS Source #
Default (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods def :: Unsigned n #
NFData (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods rnf :: Unsigned n -> () #
Eq (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods (==) :: Unsigned n -> Unsigned n -> Bool # (/=) :: Unsigned n -> Unsigned n -> Bool #
Ord (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods compare :: Unsigned n -> Unsigned n -> Ordering # (<) :: Unsigned n -> Unsigned n -> Bool # (<=) :: Unsigned n -> Unsigned n -> Bool # (>) :: Unsigned n -> Unsigned n -> Bool # (>=) :: Unsigned n -> Unsigned n -> Bool # max :: Unsigned n -> Unsigned n -> Unsigned n # min :: Unsigned n -> Unsigned n -> Unsigned n #
KnownNat n => Ixed (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods ix :: Index (Unsigned n) -> Traversal' (Unsigned n) (IxValue (Unsigned n)) #
NumConvertCanonical (Unsigned 8) Word8 Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Unsigned 8 -> Word8 Source #
NumConvertCanonical (Unsigned 16) Word16 Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Unsigned 16 -> Word16 Source #
NumConvertCanonical (Unsigned 32) Word32 Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Unsigned 32 -> Word32 Source #
NumConvertCanonical (Unsigned 64) Word64 Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Unsigned 64 -> Word64 Source #
NumConvertCanonical (Unsigned 64) Word Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Unsigned 64 -> Word Source #
(KnownNat m, KnownNat n) => ExtendingNum (Unsigned m) (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Associated Types type AResult (Unsigned m) (Unsigned n) Source # type MResult (Unsigned m) (Unsigned n) Source # Methods add :: Unsigned m -> Unsigned n -> AResult (Unsigned m) (Unsigned n) Source # sub :: Unsigned m -> Unsigned n -> AResult (Unsigned m) (Unsigned n) Source # mul :: Unsigned m -> Unsigned n -> MResult (Unsigned m) (Unsigned n) Source #
(KnownNat n, KnownNat m) => MaybeNumConvertCanonical (BitVector n) (Unsigned m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.MaybeNumConvert Methods maybeNumConvertCanonical :: BitVector n -> Maybe (Unsigned m) Source #
(KnownNat n, KnownNat m) => MaybeNumConvertCanonical (Index n) (Unsigned m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.MaybeNumConvert Methods maybeNumConvertCanonical :: Index n -> Maybe (Unsigned m) Source #
(KnownNat n, KnownNat m) => MaybeNumConvertCanonical (Signed n) (Unsigned m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.MaybeNumConvert Methods maybeNumConvertCanonical :: Signed n -> Maybe (Unsigned m) Source #
(KnownNat n, KnownNat m) => MaybeNumConvertCanonical (Unsigned n) (BitVector m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.MaybeNumConvert Methods maybeNumConvertCanonical :: Unsigned n -> Maybe (BitVector m) Source #
(KnownNat n, KnownNat m) => MaybeNumConvertCanonical (Unsigned n) (Index m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.MaybeNumConvert Methods maybeNumConvertCanonical :: Unsigned n -> Maybe (Index m) Source #
(KnownNat n, KnownNat m) => MaybeNumConvertCanonical (Unsigned n) (Signed m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.MaybeNumConvert Methods maybeNumConvertCanonical :: Unsigned n -> Maybe (Signed m) Source #
(KnownNat n, KnownNat m) => MaybeNumConvertCanonical (Unsigned n) (Unsigned m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.MaybeNumConvert Methods maybeNumConvertCanonical :: Unsigned n -> Maybe (Unsigned m) Source #
(KnownNat n, KnownNat m, n <= m) => NumConvertCanonical (BitVector n) (Unsigned m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: BitVector n -> Unsigned m Source #
(KnownNat n, KnownNat m, n <= (2 ^ m)) => NumConvertCanonical (Index n) (Unsigned m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Index n -> Unsigned m Source #
(KnownNat n, KnownNat m, n <= m) => NumConvertCanonical (Unsigned n) (BitVector m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Unsigned n -> BitVector m Source #
(KnownNat n, KnownNat m, (2 ^ n) <= m) => NumConvertCanonical (Unsigned n) (Index m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Unsigned n -> Index m Source #
(KnownNat n, KnownNat m, (n + 1) <= m) => NumConvertCanonical (Unsigned n) (Signed m) Source #	Note: Conversion from `Unsigned 0` to `Signed 0` is lossless, but not within the constraints of the instance.
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Unsigned n -> Signed m Source #
(KnownNat n, KnownNat m, n <= m) => NumConvertCanonical (Unsigned n) (Unsigned m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Unsigned n -> Unsigned m Source #
type Unbundled dom d (Unsigned n) Source #
Instance details Defined in Clash.Signal.Delayed.Bundle type Unbundled dom d (Unsigned n) = DSignal dom d (Unsigned n)
type TryDomain t (Unsigned n) Source #
Instance details Defined in Clash.Class.HasDomain.HasSingleDomain type TryDomain t (Unsigned n) = 'NotFound
type Unbundled dom (Unsigned n) Source #
Instance details Defined in Clash.Signal.Bundle type Unbundled dom (Unsigned n) = Signal dom (Unsigned n)
type Rep (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned type Rep (Unsigned n) = D1 ('MetaData "Unsigned" "Clash.Sized.Internal.Unsigned" "clash-prelude-1.11.0-inplace" 'False) (C1 ('MetaCons "U" 'PrefixI 'True) (S1 ('MetaSel ('Just "unsafeToNatural") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural)))
type BitSize (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned type BitSize (Unsigned n) = n
type Canonical (Unsigned n) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.Canonical type Canonical (Unsigned n) = Unsigned n
type Index (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned type Index (Unsigned n) = Int
type IxValue (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned type IxValue (Unsigned n) = Bit
type ExpResult (Unsigned m) n Source #
Instance details Defined in Clash.Class.Exp type ExpResult (Unsigned m) n = Unsigned (Max 1 (m * n))
type AResult (Unsigned m) (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned type AResult (Unsigned m) (Unsigned n) = Unsigned (Max m n + 1)
type MResult (Unsigned m) (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned type MResult (Unsigned m) (Unsigned n) = Unsigned (m + n)