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.Unsigned

Description

Synopsis

data Unsigned (n :: Nat)

Documentation

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: 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 :: 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.

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 :: Nat). KnownNat a => Unsigned (a + b) -> Unsigned a Source #
KnownNat n => Lift (Unsigned n :: Type) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods lift :: Unsigned n -> Q Exp Source # liftTyped :: Unsigned n -> Q (TExp (Unsigned n)) Source #
KnownNat n => Bounded (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods minBound :: Unsigned n Source # maxBound :: Unsigned n Source #
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 Source # pred :: Unsigned n -> Unsigned n Source # toEnum :: Int -> Unsigned n Source # fromEnum :: Unsigned n -> Int Source # enumFrom :: Unsigned n -> [Unsigned n] Source # enumFromThen :: Unsigned n -> Unsigned n -> [Unsigned n] Source # enumFromTo :: Unsigned n -> Unsigned n -> [Unsigned n] Source # enumFromThenTo :: Unsigned n -> Unsigned n -> Unsigned n -> [Unsigned n] Source #
Eq (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods (==) :: Unsigned n -> Unsigned n -> Bool Source # (/=) :: Unsigned n -> Unsigned n -> Bool Source #
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 Source # rem :: Unsigned n -> Unsigned n -> Unsigned n Source # div :: Unsigned n -> Unsigned n -> Unsigned n Source # mod :: Unsigned n -> Unsigned n -> Unsigned n Source # quotRem :: Unsigned n -> Unsigned n -> (Unsigned n, Unsigned n) Source # divMod :: Unsigned n -> Unsigned n -> (Unsigned n, Unsigned n) Source # toInteger :: Unsigned n -> Integer Source #
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) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Unsigned n) Source # toConstr :: Unsigned n -> Constr Source # dataTypeOf :: Unsigned n -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Unsigned n)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Unsigned n)) Source # gmapT :: (forall b. Data b => b -> b) -> Unsigned n -> Unsigned n Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Unsigned n -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Unsigned n -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Unsigned n -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Unsigned n -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Unsigned n -> m (Unsigned n) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Unsigned n -> m (Unsigned n) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Unsigned n -> m (Unsigned n) Source #
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 Source # (-) :: Unsigned n -> Unsigned n -> Unsigned n Source # (*) :: Unsigned n -> Unsigned n -> Unsigned n Source # negate :: Unsigned n -> Unsigned n Source # abs :: Unsigned n -> Unsigned n Source # signum :: Unsigned n -> Unsigned n Source # fromInteger :: Integer -> Unsigned n Source #
Ord (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods compare :: Unsigned n -> Unsigned n -> Ordering Source # (<) :: Unsigned n -> Unsigned n -> Bool Source # (<=) :: Unsigned n -> Unsigned n -> Bool Source # (>) :: Unsigned n -> Unsigned n -> Bool Source # (>=) :: Unsigned n -> Unsigned n -> Bool Source # max :: Unsigned n -> Unsigned n -> Unsigned n Source # min :: Unsigned n -> Unsigned n -> Unsigned n Source #
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) Source # readList :: ReadS [Unsigned n] Source # readPrec :: ReadPrec (Unsigned n) Source # readListPrec :: ReadPrec [Unsigned n] Source #
KnownNat n => Real (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods toRational :: Unsigned n -> Rational Source #
Show (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods showsPrec :: Int -> Unsigned n -> ShowS Source # show :: Unsigned n -> String Source # showList :: [Unsigned n] -> ShowS Source #
KnownNat n => Ix (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods range :: (Unsigned n, Unsigned n) -> [Unsigned n] Source # index :: (Unsigned n, Unsigned n) -> Unsigned n -> Int Source # unsafeIndex :: (Unsigned n, Unsigned n) -> Unsigned n -> Int Source # inRange :: (Unsigned n, Unsigned n) -> Unsigned n -> Bool Source # rangeSize :: (Unsigned n, Unsigned n) -> Int Source # unsafeRangeSize :: (Unsigned n, Unsigned n) -> Int Source #
Generic (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Associated Types type Rep (Unsigned n) :: Type -> Type Source # Methods from :: Unsigned n -> Rep (Unsigned n) x Source # to :: Rep (Unsigned n) x -> Unsigned n Source #
KnownNat n => Arbitrary (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods arbitrary :: Gen (Unsigned n) Source # shrink :: Unsigned n -> [Unsigned n] Source #
KnownNat n => CoArbitrary (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods coarbitrary :: Unsigned n -> Gen b -> Gen b Source #
KnownNat n => PrintfArg (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods formatArg :: Unsigned n -> FieldFormatter Source # parseFormat :: Unsigned n -> ModifierParser Source #
KnownNat n => Bits (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods (.&.) :: Unsigned n -> Unsigned n -> Unsigned n Source # (.\|.) :: Unsigned n -> Unsigned n -> Unsigned n Source # xor :: Unsigned n -> Unsigned n -> Unsigned n Source # complement :: Unsigned n -> Unsigned n Source # shift :: Unsigned n -> Int -> Unsigned n Source # rotate :: Unsigned n -> Int -> Unsigned n Source # zeroBits :: Unsigned n Source # bit :: Int -> Unsigned n Source # setBit :: Unsigned n -> Int -> Unsigned n Source # clearBit :: Unsigned n -> Int -> Unsigned n Source # complementBit :: Unsigned n -> Int -> Unsigned n Source # testBit :: Unsigned n -> Int -> Bool Source # bitSizeMaybe :: Unsigned n -> Maybe Int Source # bitSize :: Unsigned n -> Int Source # isSigned :: Unsigned n -> Bool Source # shiftL :: Unsigned n -> Int -> Unsigned n Source # unsafeShiftL :: Unsigned n -> Int -> Unsigned n Source # shiftR :: Unsigned n -> Int -> Unsigned n Source # unsafeShiftR :: Unsigned n -> Int -> Unsigned n Source # rotateL :: Unsigned n -> Int -> Unsigned n Source # rotateR :: Unsigned n -> Int -> Unsigned n Source # popCount :: Unsigned n -> Int Source #
KnownNat n => FiniteBits (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods finiteBitSize :: Unsigned n -> Int Source # countLeadingZeros :: Unsigned n -> Int Source # countTrailingZeros :: Unsigned n -> Int Source #
Default (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods def :: Unsigned n Source #
NFData (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned Methods rnf :: Unsigned n -> () Source #
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)) 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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 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, n <= m) => NumConvert (BitVector n) (Unsigned m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvert :: BitVector n -> Unsigned m Source #
(KnownNat n, KnownNat m, 1 <= n, n <= (2 ^ m)) => NumConvert (Index n) (Unsigned m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvert :: Index n -> Unsigned m Source #
(KnownNat n, KnownNat m, n <= m) => NumConvert (Unsigned n) (BitVector m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvert :: Unsigned n -> BitVector m Source #
(KnownNat n, KnownNat m, (n + 1) <= m) => NumConvert (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 numConvert :: Unsigned n -> Signed m Source #
(KnownNat n, KnownNat m, n <= m) => NumConvert (Unsigned n) (Unsigned m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvert :: Unsigned n -> Unsigned m Source #
(KnownNat n, KnownNat m, 1 <= m, (2 ^ n) <= m) => NumConvert (Unsigned n) (Index m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.NumConvert Methods numConvert :: Unsigned n -> Index m Source #
(KnownNat n, KnownNat m) => MaybeNumConvert (BitVector n) (Unsigned m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.MaybeNumConvert Methods maybeNumConvert :: BitVector n -> Maybe (Unsigned m) Source #
(KnownNat n, KnownNat m, 1 <= n) => MaybeNumConvert (Index n) (Unsigned m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.MaybeNumConvert Methods maybeNumConvert :: Index n -> Maybe (Unsigned m) Source #
(KnownNat n, KnownNat m) => MaybeNumConvert (Unsigned n) (BitVector m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.MaybeNumConvert Methods maybeNumConvert :: Unsigned n -> Maybe (BitVector m) Source #
(KnownNat n, KnownNat m) => MaybeNumConvert (Unsigned n) (Signed m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.MaybeNumConvert Methods maybeNumConvert :: Unsigned n -> Maybe (Signed m) Source #
(KnownNat n, KnownNat m) => MaybeNumConvert (Unsigned n) (Unsigned m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.MaybeNumConvert Methods maybeNumConvert :: Unsigned n -> Maybe (Unsigned m) Source #
(KnownNat n, KnownNat m) => MaybeNumConvert (Unsigned n) (Index m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.MaybeNumConvert Methods maybeNumConvert :: Unsigned n -> Maybe (Index m) Source #
(KnownNat n, KnownNat m) => MaybeNumConvert (Signed n) (Unsigned m) Source #
Instance details Defined in Clash.Class.NumConvert.Internal.MaybeNumConvert Methods maybeNumConvert :: Signed n -> Maybe (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 Unbundled dom (Unsigned n) Source #
Instance details Defined in Clash.Signal.Bundle type Unbundled dom (Unsigned n) = Signal dom (Unsigned n)
type TryDomain t (Unsigned n) Source #
Instance details Defined in Clash.Class.HasDomain.HasSingleDomain type TryDomain t (Unsigned n) = 'NotFound
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.9.0-inplace" 'True) (C1 ('MetaCons "U" 'PrefixI 'True) (S1 ('MetaSel ('Just "unsafeToNatural") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))
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 BitSize (Unsigned n) Source #
Instance details Defined in Clash.Sized.Internal.Unsigned type BitSize (Unsigned n) = n
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)