Copyright	(C) 2013-2016 University of Twente
License	BSD2 (see the file LICENSE)
Maintainer	Christiaan Baaij <christiaan.baaij@gmail.com>
Safe Haskell	Trustworthy
Language	Haskell2010

Clash.Sized.Signed

Contents

Type-level error messages

Description

Synopsis

data Signed (n :: Nat)
type SignedPositiveLiteralError lit n = PotentiallyOutOfBounds ('ShowType lit) (SignedBounds (Signed n) (2 ^ (n - 1)) ((2 ^ (n - 1)) - 1)) (CLog 2 (lit + 1) + 1) n
type SignedNegativeLiteralError lit n = PotentiallyOutOfBounds ('Text "-" ':<>: 'ShowType lit) (SignedBounds (Signed n) (2 ^ (n - 1)) ((2 ^ (n - 1)) - 1)) (CLog 2 lit + 1) n

Documentation

data Signed (n :: Nat) Source #

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

Instances details

Resize Signed Source #
Instance details Defined in Clash.Sized.Internal.Signed Methods resize :: forall (a :: Nat) (b :: Nat). (KnownNat a, KnownNat b) => Signed a -> Signed b Source # extend :: forall (a :: Nat) (b :: Nat). (KnownNat a, KnownNat b) => Signed a -> Signed (b + a) Source # zeroExtend :: forall (a :: Nat) (b :: Nat). (KnownNat a, KnownNat b) => Signed a -> Signed (b + a) Source # signExtend :: forall (a :: Nat) (b :: Nat). (KnownNat a, KnownNat b) => Signed a -> Signed (b + a) Source # truncateB :: forall (a :: Nat) (b :: Natural). KnownNat a => Signed (a + b) -> Signed a Source #
(CheckFixedFrac (IsPowerOfTwo den) ('Text str) den frac (SFixed int frac), Assert (FitsNegativeSFixedRational num den int) (SFixedNegativeRationalLiteralError ('Text str) num den int :: Constraint)) => CheckedNegativeRationalLiteral str num den (SFixed int frac) Source #
Instance details Defined in Clash.Sized.Fixed
(CheckFixedFrac (IsPowerOfTwo den) ('Text str) den frac (SFixed int frac), Assert (FitsPositiveSFixedRational num den int) (SFixedPositiveRationalLiteralError ('Text str) num den int :: Constraint)) => CheckedPositiveRationalLiteral str num den (SFixed int frac) Source #
Instance details Defined in Clash.Sized.Fixed
Assert (If (lit <=? 0) (lit <=? 0) ((CLog 2 lit + 1) <=? n)) (SignedNegativeLiteralError lit n :: Constraint) => CheckedNegativeIntegerLiteral lit (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed
Assert (If (lit <=? 0) (lit <=? 0) ((CLog 2 (lit + 1) + 1) <=? n)) (SignedPositiveLiteralError lit n :: Constraint) => CheckedPositiveIntegerLiteral lit (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed
NumConvertCanonical Int16 (Signed 16) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Int16 -> Signed 16 Source #
NumConvertCanonical Int32 (Signed 32) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Int32 -> Signed 32 Source #
NumConvertCanonical Int64 (Signed 64) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Int64 -> Signed 64 Source #
NumConvertCanonical Int8 (Signed 8) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Int8 -> Signed 8 Source #
NumConvertCanonical Int (Signed 64) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Int -> Signed 64 Source #
KnownNat n => Lift (Signed n :: Type) Source #
Instance details Defined in Clash.Sized.Internal.Signed Methods lift :: Quote m => Signed n -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Signed n -> Code m (Signed n) #
Assert (If (lit <=? 0) (lit <=? 0) ((CLog 2 lit + 1) <=? int)) (SFixedNegativeLiteralError ('Text "-" ':<>: 'ShowType lit) lit int :: Constraint) => CheckedNegativeIntegerLiteral lit (SFixed int frac) Source #
Instance details Defined in Clash.Sized.Fixed
Assert (If (lit <=? 0) (lit <=? 0) ((CLog 2 (lit + 1) + 1) <=? int)) (SFixedPositiveLiteralError ('ShowType lit) lit int :: Constraint) => CheckedPositiveIntegerLiteral lit (SFixed int frac) Source #
Instance details Defined in Clash.Sized.Fixed
KnownNat n => Arbitrary (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed Methods arbitrary :: Gen (Signed n) # shrink :: Signed n -> [Signed n] #
KnownNat n => CoArbitrary (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed Methods coarbitrary :: Signed n -> Gen b -> Gen b #
KnownNat n => Data (Signed n) Source #
Instance details 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 => Bits (Signed n) Source #	`shiftR a n`: Returns 0 if `a >= 0` and `n >= bitSize a` Returns -1 if `a < 0` and `n >= bitSize a` `XException` if `n < 0`
Instance details 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) Source #
Instance details Defined in Clash.Sized.Internal.Signed Methods finiteBitSize :: Signed n -> Int # countLeadingZeros :: Signed n -> Int # countTrailingZeros :: Signed n -> Int #
KnownNat n => Bounded (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed Methods minBound :: Signed n # maxBound :: Signed n #
KnownNat n => Enum (Signed n) Source #	The functions: `enumFrom`, `enumFromThen`, `enumFromTo`, and `enumFromThenTo`, are not synthesizable.
Instance details 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] #
Generic (Signed n) Source #
Instance details 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 => Ix (Signed n) Source #
Instance details 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 #
KnownNat n => Num (Signed n) Source #	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.
Instance details 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 #
KnownNat n => Read (Signed n) Source #	None of the `Read` class' methods are synthesizable.
Instance details 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 => Integral (Signed 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.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 => Real (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed Methods toRational :: Signed n -> Rational #
Show (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed Methods showsPrec :: Int -> Signed n -> ShowS # show :: Signed n -> String # showList :: [Signed n] -> ShowS #
KnownNat n => PrintfArg (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed Methods formatArg :: Signed n -> FieldFormatter # parseFormat :: Signed n -> ModifierParser #
AutoReg (Signed n) Source #
Instance details 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) Source #
KnownNat n => BitPack (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed Associated Types type BitSize (Signed n) :: Nat Source # Methods pack :: Signed n -> BitVector (BitSize (Signed n)) Source # unpack :: BitVector (BitSize (Signed n)) -> Signed n Source #
KnownNat n => Counter (Signed n) Source #
Instance details Defined in Clash.Class.Counter.Internal Methods countMin :: Signed n Source # countMax :: Signed n Source # countSuccOverflow :: Signed n -> (Bool, Signed n) Source # countPredOverflow :: Signed n -> (Bool, Signed n) Source #
KnownNat m => Exp (Signed m) Source #
Instance details Defined in Clash.Class.Exp Associated Types type ExpResult (Signed m) n Source # Methods (^) :: forall (n :: Nat). Signed m -> SNat n -> ExpResult (Signed m) n Source #
KnownNat n => SaturatingNum (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed Methods satAdd :: SaturationMode -> Signed n -> Signed n -> Signed n Source # satSub :: SaturationMode -> Signed n -> Signed n -> Signed n Source # satMul :: SaturationMode -> Signed n -> Signed n -> Signed n Source # satSucc :: SaturationMode -> Signed n -> Signed n Source # satPred :: SaturationMode -> Signed n -> Signed n Source #
KnownNat n => Parity (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed Methods even :: Signed n -> Bool Source # odd :: Signed n -> Bool Source #
Bundle (Signed n) Source #
Instance details Defined in Clash.Signal.Bundle Associated Types type Unbundled dom (Signed n) = (res :: Type) Source # Methods bundle :: forall (dom :: Domain). Unbundled dom (Signed n) -> Signal dom (Signed n) Source # unbundle :: forall (dom :: Domain). Signal dom (Signed n) -> Unbundled dom (Signed n) Source #
Bundle (Signed n) Source #
Instance details Defined in Clash.Signal.Delayed.Bundle Associated Types type Unbundled dom d (Signed n) = (res :: Type) Source # Methods bundle :: forall (dom :: Domain) (d :: Nat). Unbundled dom d (Signed n) -> DSignal dom d (Signed n) Source # unbundle :: forall (dom :: Domain) (d :: Nat). DSignal dom d (Signed n) -> Unbundled dom d (Signed n) Source #
NFDataX (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed Methods deepErrorX :: String -> Signed n Source # hasUndefined :: Signed n -> Bool Source # ensureSpine :: Signed n -> Signed n Source # rnfX :: Signed n -> () Source #
ShowX (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed Methods showsPrecX :: Int -> Signed n -> ShowS Source # showX :: Signed n -> String Source # showListX :: [Signed n] -> ShowS Source #
KnownNat n => Default (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed Methods def :: Signed n #
NFData (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed Methods rnf :: Signed n -> () #
Eq (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed Methods (==) :: Signed n -> Signed n -> Bool # (/=) :: Signed n -> Signed n -> Bool #
Ord (Signed n) Source #
Instance details 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 => Ixed (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed Methods ix :: Index (Signed n) -> Traversal' (Signed n) (IxValue (Signed n)) #
NumConvertCanonical (Signed 8) Int8 Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Signed 8 -> Int8 Source #
NumConvertCanonical (Signed 16) Int16 Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Signed 16 -> Int16 Source #
NumConvertCanonical (Signed 32) Int32 Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Signed 32 -> Int32 Source #
NumConvertCanonical (Signed 64) Int64 Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Signed 64 -> Int64 Source #
NumConvertCanonical (Signed 64) Int Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Signed 64 -> Int Source #
ExtendingNum (Signed m) (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed Associated Types type AResult (Signed m) (Signed n) Source # type MResult (Signed m) (Signed n) Source # Methods add :: Signed m -> Signed n -> AResult (Signed m) (Signed n) Source # sub :: Signed m -> Signed n -> AResult (Signed m) (Signed n) Source # mul :: Signed m -> Signed n -> MResult (Signed m) (Signed n) Source #
(KnownNat n, KnownNat m) => MaybeNumConvertCanonical (BitVector n) (Signed m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.MaybeNumConvert Methods maybeNumConvertCanonical :: BitVector n -> Maybe (Signed m) Source #
(KnownNat n, KnownNat m) => MaybeNumConvertCanonical (Index n) (Signed m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.MaybeNumConvert Methods maybeNumConvertCanonical :: Index n -> Maybe (Signed m) Source #
(KnownNat n, KnownNat m) => MaybeNumConvertCanonical (Signed n) (BitVector m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.MaybeNumConvert Methods maybeNumConvertCanonical :: Signed n -> Maybe (BitVector m) Source #
(KnownNat n, KnownNat m) => MaybeNumConvertCanonical (Signed n) (Index m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.MaybeNumConvert Methods maybeNumConvertCanonical :: Signed n -> Maybe (Index m) Source #
(KnownNat n, KnownNat m) => MaybeNumConvertCanonical (Signed n) (Signed m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.MaybeNumConvert Methods maybeNumConvertCanonical :: Signed n -> Maybe (Signed 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) (Signed m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.MaybeNumConvert Methods maybeNumConvertCanonical :: Unsigned n -> Maybe (Signed m) Source #
(KnownNat n, KnownNat m, (n + 1) <= m) => NumConvertCanonical (BitVector n) (Signed m) Source #	Note: Conversion from `BitVector 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 :: BitVector n -> Signed m Source #
(KnownNat n, KnownNat m, (CLogWZ 2 n 0 + 1) <= m) => NumConvertCanonical (Index n) (Signed m) Source #	Note: Conversion from `Index 1` to `Signed 0` is lossless, but not within the constraints of the instance.
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Index n -> Signed m Source #
(KnownNat n, KnownNat m, n <= m) => NumConvertCanonical (Signed n) (Signed m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvertCanonical :: Signed n -> Signed 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 #
type Unbundled dom d (Signed n) Source #
Instance details Defined in Clash.Signal.Delayed.Bundle type Unbundled dom d (Signed n) = DSignal dom d (Signed n)
type TryDomain t (Signed n) Source #
Instance details Defined in Clash.Class.HasDomain.HasSingleDomain type TryDomain t (Signed n) = 'NotFound
type Unbundled dom (Signed n) Source #
Instance details Defined in Clash.Signal.Bundle type Unbundled dom (Signed n) = Signal dom (Signed n)
type Rep (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed type Rep (Signed n) = D1 ('MetaData "Signed" "Clash.Sized.Internal.Signed" "clash-prelude-1.11.0-inplace" 'False) (C1 ('MetaCons "S" 'PrefixI 'True) (S1 ('MetaSel ('Just "unsafeToInteger") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)))
type BitSize (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed type BitSize (Signed n) = n
type Canonical (Signed n) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.Canonical type Canonical (Signed n) = Signed n
type Index (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed type Index (Signed n) = Int
type IxValue (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed type IxValue (Signed n) = Bit
type ExpResult (Signed m) n Source #
Instance details Defined in Clash.Class.Exp type ExpResult (Signed m) n = Signed (Max 2 (m * n))
type AResult (Signed m) (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed type AResult (Signed m) (Signed n) = Signed (Max m n + 1)
type MResult (Signed m) (Signed n) Source #
Instance details Defined in Clash.Sized.Internal.Signed type MResult (Signed m) (Signed n) = Signed (m + n)

Type-level error messages

type SignedPositiveLiteralError lit n = PotentiallyOutOfBounds ('ShowType lit) (SignedBounds (Signed n) (2 ^ (n - 1)) ((2 ^ (n - 1)) - 1)) (CLog 2 (lit + 1) + 1) n Source #

type SignedNegativeLiteralError lit n = PotentiallyOutOfBounds ('Text "-" ':<>: 'ShowType lit) (SignedBounds (Signed n) (2 ^ (n - 1)) ((2 ^ (n - 1)) - 1)) (CLog 2 lit + 1) n Source #