Clash.Sized.Signed

Documentation

data Signed (n :: Nat)

Arbitrary-width signed integer represented by n bits, including the sign bit

Uses standard 2-complements representation. Meaning that, given n bits, a Signed n number has a range of: [-(2^(n-1)) .. 2^(n-1)-1] for n > 0. When n = 0, both the min and max bound are 0.

• NB: The usual Haskell method of converting an integral numeric type to another, fromIntegral, is not well suited for Clash as it will go through Integer which is arbitrarily bounded in HDL. Instead use bitCoerce and the Resize class.
• NB: The Num operators perform wrap-around on overflow. If you want saturation on overflow, check out the SaturatingNum class.

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

Signed has the type role

>>> :i Signed
type role Signed nominal
...

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

Instances

Resize Signed

Defined in Clash.Sized.Internal.Signed

Methods

resize :: forall (a :: Nat) (b :: Nat). (KnownNat a, KnownNat b) => Signed a -> Signed b

extend :: forall (a :: Nat) (b :: Nat). (KnownNat a, KnownNat b) => Signed a -> Signed (b + a)

zeroExtend :: forall (a :: Nat) (b :: Nat). (KnownNat a, KnownNat b) => Signed a -> Signed (b + a)

signExtend :: forall (a :: Nat) (b :: Nat). (KnownNat a, KnownNat b) => Signed a -> Signed (b + a)

truncateB :: forall (a :: Nat) (b :: Nat). KnownNat a => Signed (a + b) -> Signed a

KnownNat n => Lift (Signed n :: Type)

Defined in Clash.Sized.Internal.Signed

Methods

lift :: Signed n -> Q Exp

liftTyped :: Signed n -> Q (TExp (Signed n))

KnownNat n => Bounded (Signed n)

Defined in Clash.Sized.Internal.Signed

Methods

minBound :: Signed n

maxBound :: Signed n

KnownNat n => Enum (Signed n)

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

Defined in Clash.Sized.Internal.Signed

Methods

succ :: Signed n -> Signed n

pred :: Signed n -> Signed n

toEnum :: Int -> Signed n

fromEnum :: Signed n -> Int

enumFrom :: Signed n -> [Signed n]

enumFromThen :: Signed n -> Signed n -> [Signed n]

enumFromTo :: Signed n -> Signed n -> [Signed n]

enumFromThenTo :: Signed n -> Signed n -> Signed n -> [Signed n]

Eq (Signed n)

Defined in Clash.Sized.Internal.Signed

Methods

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

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

KnownNat n => Integral (Signed n)

NB: toInteger/fromIntegral can cause unexpected truncation, as Integer is arbitrarily bounded during synthesis. Prefer bitCoerce and the Resize class.

Defined in Clash.Sized.Internal.Signed

Methods

quot :: Signed n -> Signed n -> Signed n

rem :: Signed n -> Signed n -> Signed n

div :: Signed n -> Signed n -> Signed n

mod :: Signed n -> Signed n -> Signed n

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

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

toInteger :: Signed n -> Integer

KnownNat n => Data (Signed n)

Defined in Clash.Sized.Internal.Signed

Methods

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

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

toConstr :: Signed n -> Constr

dataTypeOf :: Signed n -> DataType

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

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

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

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

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

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

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

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

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

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

KnownNat n => Num (Signed n)

Operators do wrap-around on overflow

NB: fromInteger/fromIntegral can cause unexpected truncation, as Integer is arbitrarily bounded during synthesis. Prefer bitCoerce and the Resize class.

Defined in Clash.Sized.Internal.Signed

Methods

(+) :: Signed n -> Signed n -> Signed n

(-) :: Signed n -> Signed n -> Signed n

(*) :: Signed n -> Signed n -> Signed n

negate :: Signed n -> Signed n

abs :: Signed n -> Signed n

signum :: Signed n -> Signed n

fromInteger :: Integer -> Signed n

Ord (Signed n)

Defined in Clash.Sized.Internal.Signed

Methods

compare :: Signed n -> Signed n -> Ordering

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

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

(>) :: Signed n -> Signed n -> Bool

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

max :: Signed n -> Signed n -> Signed n

min :: Signed n -> Signed n -> Signed n

KnownNat n => Read (Signed n)

None of the Read class' methods are synthesizable.

Defined in Clash.Sized.Internal.Signed

Methods

readsPrec :: Int -> ReadS (Signed n)

readList :: ReadS [Signed n]

readPrec :: ReadPrec (Signed n)

readListPrec :: ReadPrec [Signed n]

KnownNat n => Real (Signed n)

Defined in Clash.Sized.Internal.Signed

Methods

toRational :: Signed n -> Rational

Show (Signed n)

Defined in Clash.Sized.Internal.Signed

Methods

showsPrec :: Int -> Signed n -> ShowS

show :: Signed n -> String

showList :: [Signed n] -> ShowS

KnownNat n => Ix (Signed n)

Defined in Clash.Sized.Internal.Signed

Methods

range :: (Signed n, Signed n) -> [Signed n]

index :: (Signed n, Signed n) -> Signed n -> Int

unsafeIndex :: (Signed n, Signed n) -> Signed n -> Int

inRange :: (Signed n, Signed n) -> Signed n -> Bool

rangeSize :: (Signed n, Signed n) -> Int

unsafeRangeSize :: (Signed n, Signed n) -> Int

Generic (Signed n)

Defined in Clash.Sized.Internal.Signed

Associated Types

type Rep (Signed n) :: Type -> Type

Methods

from :: Signed n -> Rep (Signed n) x

to :: Rep (Signed n) x -> Signed n

KnownNat n => Arbitrary (Signed n)

Defined in Clash.Sized.Internal.Signed

Methods

arbitrary :: Gen (Signed n)

shrink :: Signed n -> [Signed n]

KnownNat n => CoArbitrary (Signed n)

Defined in Clash.Sized.Internal.Signed

Methods

coarbitrary :: Signed n -> Gen b -> Gen b

KnownNat n => PrintfArg (Signed n)

Defined in Clash.Sized.Internal.Signed

Methods

formatArg :: Signed n -> FieldFormatter

parseFormat :: Signed n -> ModifierParser

KnownNat n => Bits (Signed n)

Defined in Clash.Sized.Internal.Signed

Methods

(.&.) :: Signed n -> Signed n -> Signed n

(.|.) :: Signed n -> Signed n -> Signed n

xor :: Signed n -> Signed n -> Signed n

complement :: Signed n -> Signed n

shift :: Signed n -> Int -> Signed n

rotate :: Signed n -> Int -> Signed n

zeroBits :: Signed n

bit :: Int -> Signed n

setBit :: Signed n -> Int -> Signed n

clearBit :: Signed n -> Int -> Signed n

complementBit :: Signed n -> Int -> Signed n

testBit :: Signed n -> Int -> Bool

bitSizeMaybe :: Signed n -> Maybe Int

bitSize :: Signed n -> Int

isSigned :: Signed n -> Bool

shiftL :: Signed n -> Int -> Signed n

unsafeShiftL :: Signed n -> Int -> Signed n

shiftR :: Signed n -> Int -> Signed n

unsafeShiftR :: Signed n -> Int -> Signed n

rotateL :: Signed n -> Int -> Signed n

rotateR :: Signed n -> Int -> Signed n

popCount :: Signed n -> Int

KnownNat n => FiniteBits (Signed n)

Defined in Clash.Sized.Internal.Signed

Methods

finiteBitSize :: Signed n -> Int

countLeadingZeros :: Signed n -> Int

countTrailingZeros :: Signed n -> Int

KnownNat n => Default (Signed n)

Defined in Clash.Sized.Internal.Signed

Methods

def :: Signed n

NFData (Signed n)

Defined in Clash.Sized.Internal.Signed

Methods

rnf :: Signed n -> ()

KnownNat n => Ixed (Signed n)

Defined in Clash.Sized.Internal.Signed

Methods

ix :: Index (Signed n) -> Traversal' (Signed n) (IxValue (Signed n))

KnownNat n => SaturatingNum (Signed n)

Defined in Clash.Sized.Internal.Signed

Methods

satAdd :: SaturationMode -> Signed n -> Signed n -> Signed n

satSub :: SaturationMode -> Signed n -> Signed n -> Signed n

satMul :: SaturationMode -> Signed n -> Signed n -> Signed n

satSucc :: SaturationMode -> Signed n -> Signed n

satPred :: SaturationMode -> Signed n -> Signed n

NFDataX (Signed n)

Defined in Clash.Sized.Internal.Signed

Methods

deepErrorX :: String -> Signed n

hasUndefined :: Signed n -> Bool

ensureSpine :: Signed n -> Signed n

rnfX :: Signed n -> ()

ShowX (Signed n)

Defined in Clash.Sized.Internal.Signed

Methods

showsPrecX :: Int -> Signed n -> ShowS

showX :: Signed n -> String

showListX :: [Signed n] -> ShowS

KnownNat n => BitPack (Signed n)

Defined in Clash.Sized.Internal.Signed

Associated Types

type BitSize (Signed n) :: Nat

Methods

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

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

KnownNat n => Parity (Signed n)

Defined in Clash.Sized.Internal.Signed

Methods

even :: Signed n -> Bool

odd :: Signed n -> Bool

Bundle (Signed n)

Defined in Clash.Signal.Bundle

Associated Types

type Unbundled dom (Signed n) = (res :: Type)

Methods

bundle :: forall (dom :: Domain). Unbundled dom (Signed n) -> Signal dom (Signed n)

unbundle :: forall (dom :: Domain). Signal dom (Signed n) -> Unbundled dom (Signed n)

KnownNat n => Counter (Signed n)

Defined in Clash.Class.Counter.Internal

Methods

countMin :: Signed n

countMax :: Signed n

countSuccOverflow :: Signed n -> (Bool, Signed n)

countPredOverflow :: Signed n -> (Bool, Signed n)

AutoReg (Signed n)

Defined in Clash.Class.AutoReg.Internal

Methods

autoReg :: forall (dom :: Domain). (HasCallStack, KnownDomain dom) => Clock dom -> Reset dom -> Enable dom -> Signed n -> Signal dom (Signed n) -> Signal dom (Signed n)

Bundle (Signed n)

Defined in Clash.Signal.Delayed.Bundle

Associated Types

type Unbundled dom d (Signed n) = (res :: Type)

Methods

bundle :: forall (dom :: Domain) (d :: Nat). Unbundled dom d (Signed n) -> DSignal dom d (Signed n)

unbundle :: forall (dom :: Domain) (d :: Nat). DSignal dom d (Signed n) -> Unbundled dom d (Signed n)

KnownNat m => Exp (Signed m)

Defined in Clash.Class.Exp

Associated Types

type ExpResult (Signed m) n

Methods

(^) :: forall (n :: Nat). Signed m -> SNat n -> ExpResult (Signed m) n

ExtendingNum (Signed m) (Signed n)

Defined in Clash.Sized.Internal.Signed

Associated Types

type AResult (Signed m) (Signed n)

type MResult (Signed m) (Signed n)

Methods

add :: Signed m -> Signed n -> AResult (Signed m) (Signed n)

sub :: Signed m -> Signed n -> AResult (Signed m) (Signed n)

mul :: Signed m -> Signed n -> MResult (Signed m) (Signed n)

type Unbundled dom d (Signed n)

Defined in Clash.Signal.Delayed.Bundle

type Unbundled dom d (Signed n) = DSignal dom d (Signed n)

type Unbundled dom (Signed n)

Defined in Clash.Signal.Bundle

type Unbundled dom (Signed n) = Signal dom (Signed n)

type TryDomain t (Signed n)

Defined in Clash.Class.HasDomain.HasSingleDomain

type TryDomain t (Signed n) = 'NotFound

type Rep (Signed n)

Defined in Clash.Sized.Internal.Signed

type Rep (Signed n) = D1 ('MetaData "Signed" "Clash.Sized.Internal.Signed" "clash-prelude-1.9.0-inplace" 'True) (C1 ('MetaCons "S" 'PrefixI 'True) (S1 ('MetaSel ('Just "unsafeToInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

type Index (Signed n)

Defined in Clash.Sized.Internal.Signed

type Index (Signed n) = Int

type IxValue (Signed n)

Defined in Clash.Sized.Internal.Signed

type IxValue (Signed n) = Bit

type BitSize (Signed n)

Defined in Clash.Sized.Internal.Signed

type BitSize (Signed n) = n

type ExpResult (Signed m) n

Defined in Clash.Class.Exp

type ExpResult (Signed m) n = Signed (Max 2 (m * n))

type AResult (Signed m) (Signed n)

Defined in Clash.Sized.Internal.Signed

type AResult (Signed m) (Signed n) = Signed (Max m n + 1)

type MResult (Signed m) (Signed n)

Defined in Clash.Sized.Internal.Signed

type MResult (Signed m) (Signed n) = Signed (m + n)