Struct Signed

Source
pub struct Signed<const L: u32>(/* private fields */);
Expand description

Signed bitvector.

The number of bits is specified in the generic parameter L. Signed bitvectors support bitwise operations and wrapping-arithmetic operations. Arithmetic bit extension is also possible (the sign bit is copied into any bits above it). Signed bitvectors be converted into Unsigned or Bitvector.

Currently, it is not possible to create signed bitvectors directly, only convert into them.

Trait Implementations§

Source§

impl<const L: u32> Add for Signed<L>

Source§

fn add(self, rhs: Signed<L>) -> Self::Output

Performs wrapping addition.

Source§

type Output = Signed<L>

The resulting type after applying the + operator.
Source§

impl<const L: u32> BitAnd for Signed<L>

Source§

fn bitand(self, rhs: Signed<L>) -> Self::Output

Performs bitwise AND.

Source§

type Output = Signed<L>

The resulting type after applying the & operator.
Source§

impl<const L: u32> BitOr for Signed<L>

Source§

fn bitor(self, rhs: Signed<L>) -> Self::Output

Performs bitwise OR.

Source§

type Output = Signed<L>

The resulting type after applying the | operator.
Source§

impl<const L: u32> BitXor for Signed<L>

Source§

fn bitxor(self, rhs: Signed<L>) -> Self::Output

Performs bitwise XOR.

Source§

type Output = Signed<L>

The resulting type after applying the ^ operator.
Source§

impl<const L: u32> Clone for Signed<L>

Source§

fn clone(&self) -> Signed<L>

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl<const L: u32> Debug for Signed<L>

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl<const L: u32> Div for Signed<L>

Source§

fn div(self, rhs: Signed<L>) -> Self::Output

Performs wrapping signed division.

This behaves as Rust wrapping_div, where the result of MIN / -1, which would be unrepresentable -MIN, is wrapped to MIN.

§Panics

Panics if rhs is zero.

Source§

type Output = Signed<L>

The resulting type after applying the / operator.
Source§

impl<const L: u32, const X: u32> Ext<X> for Signed<L>

Source§

fn ext(self) -> Self::Output

Extends or narrows the bit-vector.

If an extension is performed, the upper bits are the copy of the original sign bit.

Source§

type Output = Signed<X>

Source§

impl<const L: u32> From<Bitvector<L>> for Signed<L>

Source§

fn from(value: Bitvector<L>) -> Self

Adds signedness information to Bitvector.

Source§

impl<const L: u32> From<Signed<L>> for Bitvector<L>

Source§

fn from(value: Signed<L>) -> Self

Drops the signedness information from Signed.

Source§

impl<const L: u32> From<Signed<L>> for Unsigned<L>

Source§

fn from(value: Signed<L>) -> Self

Converts the signedness information from Signed to Unsigned.

Source§

impl<const L: u32> From<Unsigned<L>> for Signed<L>

Source§

fn from(value: Unsigned<L>) -> Self

Converts the signedness information from Unsigned to Signed.

Source§

impl<const L: u32> Hash for Signed<L>

Source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
Source§

impl<const L: u32> Mul for Signed<L>

Source§

fn mul(self, rhs: Signed<L>) -> Self::Output

Performs wrapping multiplication.

Source§

type Output = Signed<L>

The resulting type after applying the * operator.
Source§

impl<const L: u32> Not for Signed<L>

Source§

fn not(self) -> Self::Output

Performs bitwise NOT.

Source§

type Output = Signed<L>

The resulting type after applying the ! operator.
Source§

impl<const L: u32> Ord for Signed<L>

Source§

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other. Read more
1.21.0 · Source§

fn max(self, other: Self) -> Self
where Self: Sized,

Compares and returns the maximum of two values. Read more
1.21.0 · Source§

fn min(self, other: Self) -> Self
where Self: Sized,

Compares and returns the minimum of two values. Read more
1.50.0 · Source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized,

Restrict a value to a certain interval. Read more
Source§

impl<const L: u32> PartialEq for Signed<L>

Source§

fn eq(&self, other: &Signed<L>) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl<const L: u32> PartialOrd for Signed<L>

Source§

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · Source§

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · Source§

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · Source§

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · Source§

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator. Read more
Source§

impl<const L: u32> Rem for Signed<L>

Source§

fn rem(self, rhs: Signed<L>) -> Self::Output

Performs wrapping signed division.

This behaves as Rust wrapping_rem, where the result of MIN % -1, is defined as 0.

§Panics

Panics if rhs is zero.

Source§

type Output = Signed<L>

The resulting type after applying the % operator.
Source§

impl<const L: u32> Shl for Signed<L>

Source§

fn shl(self, rhs: Signed<L>) -> Self::Output

Performs a left shift.

Unlike a right shift, where the behaviour is dependent on signedness, the left shift has the same behaviour: shifted-out bits on the left are discarded and zeros are shifted in on the right.

The right-hand side operand is interpreted as unsigned and if it is equal or greater to the bit-width, the result is all-zeros, as in Rust unbounded_shl. It is planned to restrict the bit-width in the future so that this edge case can never occur.

Note that this means that shifting left with a negative right operand produces an all-zeros value.

Source§

type Output = Signed<L>

The resulting type after applying the << operator.
Source§

impl<const L: u32> Shr for Signed<L>

Source§

fn shr(self, rhs: Signed<L>) -> Self::Output

Performs an arithmetic right shift.

The right-hand side operand is interpreted as unsigned and if it is equal or greater to the bit-width, the result is all-zeros or all-ones depending on the original sign bit, as in Rust unbounded_shr on signed primitives. It is planned to restrict the bit-width in the future so that this edge case can never occur.

Note that this means that shifting right with a negative right operand produces an all-zeros or all-ones value, depending on the original sign bit.

Source§

type Output = Signed<L>

The resulting type after applying the >> operator.
Source§

impl<const L: u32> Sub for Signed<L>

Source§

fn sub(self, rhs: Signed<L>) -> Self::Output

Performs wrapping subtraction.

Source§

type Output = Signed<L>

The resulting type after applying the - operator.
Source§

impl<const L: u32> Copy for Signed<L>

Source§

impl<const L: u32> Eq for Signed<L>

Source§

impl<const L: u32> StructuralPartialEq for Signed<L>

Auto Trait Implementations§

§

impl<const L: u32> Freeze for Signed<L>

§

impl<const L: u32> RefUnwindSafe for Signed<L>

§

impl<const L: u32> Send for Signed<L>

§

impl<const L: u32> Sync for Signed<L>

§

impl<const L: u32> Unpin for Signed<L>

§

impl<const L: u32> UnwindSafe for Signed<L>

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<Q, K> Comparable<K> for Q
where Q: Ord + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn compare(&self, key: &K) -> Ordering

Compare self to key and return their ordering.
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<N> NodeTrait for N
where N: Copy + Ord + Hash,

Source§

impl<T, Rhs, Output> NumOps<Rhs, Output> for T
where T: Sub<Rhs, Output = Output> + Mul<Rhs, Output = Output> + Div<Rhs, Output = Output> + Add<Rhs, Output = Output> + Rem<Rhs, Output = Output>,