Clash.Sized.Internal.Unsigned

Datatypes

newtype Unsigned (n :: Nat)

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 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) `times` (4 :: Unsigned 3) :: Unsigned 6
8
>>> (2 :: Unsigned 3) `plus` (6 :: Unsigned 3) :: Unsigned 4
8
>>> satPlus SatSymmetric 2 6 :: Unsigned 3
7
>>> satMin SatSymmetric 2 3 :: Unsigned 3
0

Constructors

U

The constructor, U, and the field, unsafeToInteger, are not synthesisable.

Fields

• unsafeToInteger :: Integer

Instances

Resize Unsigned

Defined in Clash.Sized.Internal.Unsigned

Methods

resize :: (KnownNat a, KnownNat b) => Unsigned a -> Unsigned b

extend :: (KnownNat a, KnownNat b) => Unsigned a -> Unsigned (b + a)

zeroExtend :: (KnownNat a, KnownNat b) => Unsigned a -> Unsigned (b + a)

signExtend :: (KnownNat a, KnownNat b) => Unsigned a -> Unsigned (b + a)

truncateB :: KnownNat a => Unsigned (a + b) -> Unsigned a

KnownNat n => Bounded (Unsigned n)

Defined in Clash.Sized.Internal.Unsigned

Methods

minBound :: Unsigned n

maxBound :: Unsigned n

KnownNat n => Enum (Unsigned n)

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

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]

Eq (Unsigned n)

Defined in Clash.Sized.Internal.Unsigned

Methods

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

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

KnownNat n => Integral (Unsigned n)

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 => Data (Unsigned n)

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 :: (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 => Num (Unsigned n)

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

Ord (Unsigned n)

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 => Read (Unsigned n)

None of the Read class' methods are synthesisable.

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 => Real (Unsigned n)

Defined in Clash.Sized.Internal.Unsigned

Methods

toRational :: Unsigned n -> Rational

Show (Unsigned n)

Defined in Clash.Sized.Internal.Unsigned

Methods

showsPrec :: Int -> Unsigned n -> ShowS

show :: Unsigned n -> String

showList :: [Unsigned n] -> ShowS

KnownNat n => Lift (Unsigned n)

Defined in Clash.Sized.Internal.Unsigned

Methods

lift :: Unsigned n -> Q Exp

KnownNat n => Bits (Unsigned n)

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)

Defined in Clash.Sized.Internal.Unsigned

Methods

finiteBitSize :: Unsigned n -> Int

countLeadingZeros :: Unsigned n -> Int

countTrailingZeros :: Unsigned n -> Int

NFData (Unsigned n)

Defined in Clash.Sized.Internal.Unsigned

Methods

rnf :: Unsigned n -> ()

KnownNat n => SaturatingNum (Unsigned n)

Defined in Clash.Sized.Internal.Unsigned

Methods

satPlus :: SaturationMode -> Unsigned n -> Unsigned n -> Unsigned n

satMin :: SaturationMode -> Unsigned n -> Unsigned n -> Unsigned n

satMult :: SaturationMode -> Unsigned n -> Unsigned n -> Unsigned n

ShowX (Unsigned n)

Defined in Clash.Sized.Internal.Unsigned

Methods

showsPrecX :: Int -> Unsigned n -> ShowS

showX :: Unsigned n -> String

showListX :: [Unsigned n] -> ShowS

KnownNat n => Ixed (Unsigned n)

Defined in Clash.Sized.Internal.Unsigned

Methods

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

Default (Unsigned n)

Defined in Clash.Sized.Internal.Unsigned

Methods

def :: Unsigned n

KnownNat n => Arbitrary (Unsigned n)

Defined in Clash.Sized.Internal.Unsigned

Methods

arbitrary :: Gen (Unsigned n)

shrink :: Unsigned n -> [Unsigned n]

KnownNat n => CoArbitrary (Unsigned n)

Defined in Clash.Sized.Internal.Unsigned

Methods

coarbitrary :: Unsigned n -> Gen b -> Gen b

BitPack (Unsigned n)

Defined in Clash.Sized.Internal.Unsigned

Associated Types

type BitSize (Unsigned n) :: Nat

Methods

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

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

Bundle (Unsigned n)

Defined in Clash.Signal.Bundle

Associated Types

type Unbundled domain (Unsigned n) = (res :: *)

Methods

bundle :: Unbundled domain (Unsigned n) -> Signal domain (Unsigned n)

unbundle :: Signal domain (Unsigned n) -> Unbundled domain (Unsigned n)

(KnownNat m, KnownNat n) => ExtendingNum (Unsigned m) (Unsigned n)

Defined in Clash.Sized.Internal.Unsigned

Associated Types

type AResult (Unsigned m) (Unsigned n) :: *

type MResult (Unsigned m) (Unsigned n) :: *

Methods

plus :: Unsigned m -> Unsigned n -> AResult (Unsigned m) (Unsigned n)

minus :: Unsigned m -> Unsigned n -> AResult (Unsigned m) (Unsigned n)

times :: Unsigned m -> Unsigned n -> MResult (Unsigned m) (Unsigned n)

type Unbundled domain (Unsigned n)

Defined in Clash.Signal.Bundle

type Unbundled domain (Unsigned n) = Signal domain (Unsigned n)

type Index (Unsigned n)

Defined in Clash.Sized.Internal.Unsigned

type Index (Unsigned n) = Int

type IxValue (Unsigned n)

Defined in Clash.Sized.Internal.Unsigned

type IxValue (Unsigned n) = Bit

type BitSize (Unsigned n)

Defined in Clash.Sized.Internal.Unsigned

type BitSize (Unsigned n) = n

type AResult (Unsigned m) (Unsigned n)

Defined in Clash.Sized.Internal.Unsigned

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

type MResult (Unsigned m) (Unsigned n)

Defined in Clash.Sized.Internal.Unsigned

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

Accessors

Length information

size# :: KnownNat n => Unsigned n -> Int

Type classes

BitConvert

pack# :: Unsigned n -> BitVector n

unpack# :: BitVector n -> Unsigned n

Eq

eq# :: Unsigned n -> Unsigned n -> Bool

neq# :: Unsigned n -> Unsigned n -> Bool

Ord

lt# :: Unsigned n -> Unsigned n -> Bool

ge# :: Unsigned n -> Unsigned n -> Bool

gt# :: Unsigned n -> Unsigned n -> Bool

le# :: Unsigned n -> Unsigned n -> Bool

Enum (not synthesisable)

enumFrom# :: KnownNat n => Unsigned n -> [Unsigned n]

enumFromThen# :: KnownNat n => Unsigned n -> Unsigned n -> [Unsigned n]

enumFromTo# :: Unsigned n -> Unsigned n -> [Unsigned n]

enumFromThenTo# :: Unsigned n -> Unsigned n -> Unsigned n -> [Unsigned n]

Bounded

minBound# :: Unsigned n

maxBound# :: forall n. KnownNat n => Unsigned n

Num

(+#) :: 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# :: KnownNat n => Integer -> Unsigned n

ExtendingNum

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)

Integral

quot# :: Unsigned n -> Unsigned n -> Unsigned n

rem# :: Unsigned n -> Unsigned n -> Unsigned n

toInteger# :: Unsigned n -> Integer

Bits

and# :: Unsigned n -> Unsigned n -> Unsigned n

or# :: Unsigned n -> Unsigned n -> Unsigned n

xor# :: Unsigned n -> Unsigned n -> Unsigned n

complement# :: KnownNat n => Unsigned n -> Unsigned n

shiftL# :: KnownNat n => Unsigned n -> Int -> Unsigned n

shiftR# :: KnownNat n => Unsigned n -> Int -> Unsigned n

rotateL# :: KnownNat n => Unsigned n -> Int -> Unsigned n

rotateR# :: KnownNat n => Unsigned n -> Int -> Unsigned n

Resize

resize# :: forall n m. KnownNat m => Unsigned n -> Unsigned m