Struct UTerm 

pub struct UTerm;

The terminating type for UInt; it always comes after the most significant bit. UTerm by itself represents zero, which is aliased to U0.

Implementations

impl UTerm

pub fn new() -> UTerm

Instantiates a singleton representing this unsigned integer.

Trait Implementations

impl Add<B0> for UTerm

UTerm + B0 = UTerm

type Output = UTerm

The resulting type after applying the + operator.

fn add(self, _: B0) -> Self::Output

Performs the + operation.

impl Add<B1> for UTerm

UTerm + B1 = UInt<UTerm, B1>

type Output = UInt<UTerm, B1>

The resulting type after applying the + operator.

fn add(self, _: B1) -> Self::Output

Performs the + operation.

impl<U: Unsigned> Add<U> for UTerm

UTerm + U = U

type Output = U

The resulting type after applying the + operator.

fn add(self, rhs: U) -> Self::Output

Performs the + operation.

impl<U: Unsigned, B: Bit> Add<UTerm> for UInt<U, B>

UInt<U, B> + UTerm = UInt<U, B>

type Output = UInt<U, B>

The resulting type after applying the + operator.

fn add(self, _: UTerm) -> Self::Output

Performs the + operation.

impl Binary for UTerm

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

Formats the value using the given formatter.

impl<Ur: Unsigned> BitAnd<Ur> for UTerm

0 & X = 0

type Output = UTerm

The resulting type after applying the & operator.

fn bitand(self, _: Ur) -> Self::Output

Performs the & operation.

impl<U: Unsigned> BitOr<U> for UTerm

UTerm | X = X

type Output = U

The resulting type after applying the | operator.

fn bitor(self, rhs: U) -> Self::Output

Performs the | operation.

impl<B: Bit, U: Unsigned> BitOr<UTerm> for UInt<U, B>

X | UTerm = X

type Output = UInt<U, B>

The resulting type after applying the | operator.

fn bitor(self, _: UTerm) -> Self::Output

Performs the | operation.

impl<Ur: Unsigned> BitXor<Ur> for UTerm

0 ^ X = X

type Output = Ur

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: Ur) -> Self::Output

Performs the ^ operation.

impl Clone for UTerm

fn clone(&self) -> UTerm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<U: Unsigned, B: Bit> Cmp<UInt<U, B>> for UTerm

Zero < Nonzero

type Output = Less

The result of the comparison. It should only ever be one of Greater, Less, or Equal.

fn compare<IM: InternalMarker>(&self, _: &UInt<U, B>) -> Self::Output

impl<U: Unsigned, B: Bit> Cmp<UTerm> for UInt<U, B>

Nonzero > Zero

type Output = Greater

The result of the comparison. It should only ever be one of Greater, Less, or Equal.

fn compare<IM: InternalMarker>(&self, _: &UTerm) -> Self::Output

impl Cmp for UTerm

Zero == Zero

type Output = Equal

The result of the comparison. It should only ever be one of Greater, Less, or Equal.

fn compare<IM: InternalMarker>(&self, _: &UTerm) -> Self::Output

impl Debug for UTerm

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

Formats the value using the given formatter.

impl Default for UTerm

fn default() -> UTerm

Returns the “default value” for a type.

impl<Ur: Unsigned, Br: Bit> Div<UInt<Ur, Br>> for UTerm

type Output = UTerm

The resulting type after applying the / operator.

fn div(self, _: UInt<Ur, Br>) -> Self::Output

Performs the / operation.

impl Eq for UTerm

#[doc(hidden)] fn assert_receiver_is_total_eq(&self)

impl<I> GetBit<I> for UTerm

type Output = B0

fn get_bit<IM: InternalMarker>(&self, _: &I) -> Self::Output

impl<Un, Bn> GetBit<UTerm> for UInt<Un, Bn>

where Bn: Copy,

type Output = Bn

fn get_bit<IM: InternalMarker>(&self, _: &U0) -> Self::Output

impl Hash for UTerm

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

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Invert for UTerm

type Output = InvertedUTerm

fn invert(self) -> Self::Output

impl Len for UTerm

Length of UTerm by itself is 0

type Output = UTerm

The length as a type-level unsigned integer.

fn len(&self) -> Self::Output

This function isn’t used in this crate, but may be useful for others.

impl<U> Max<U> for UTerm

where U: Unsigned,

type Output = U

The type of the maximum of Self and Rhs

fn max(self, rhs: U) -> Self::Output

Method returning the maximum

impl<U> Min<U> for UTerm

where U: Unsigned,

type Output = UTerm

The type of the minimum of Self and Rhs

fn min(self, _: U) -> Self::Output

Method returning the minimum

impl Mul<B0> for UTerm

UTerm * B0 = UTerm

type Output = UTerm

The resulting type after applying the * operator.

fn mul(self, _: B0) -> Self::Output

Performs the * operation.

impl Mul<B1> for UTerm

UTerm * B1 = UTerm

type Output = UTerm

The resulting type after applying the * operator.

fn mul(self, _: B1) -> Self::Output

Performs the * operation.

impl<U: Unsigned> Mul<U> for UTerm

UTerm * U = UTerm

type Output = UTerm

The resulting type after applying the * operator.

fn mul(self, _: U) -> Self::Output

Performs the * operation.

impl<U: Unsigned, B: Bit> Mul<UTerm> for UInt<U, B>

UInt<U, B> * UTerm = UTerm

type Output = UTerm

The resulting type after applying the * operator.

fn mul(self, _: UTerm) -> Self::Output

Performs the * operation.

impl Ord for UTerm

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

This method returns an Ordering between self and other.

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

where Self: Sized,

Compares and returns the maximum of two values.

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

where Self: Sized,

Compares and returns the minimum of two values.

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

where Self: Sized,

Restrict a value to a certain interval.

impl<Ur: Unsigned, Br: Bit> PartialDiv<UInt<Ur, Br>> for UTerm

type Output = UTerm

The type of the result of the division

fn partial_div(self, _: UInt<Ur, Br>) -> Self::Output

Method for performing the division

impl PartialEq for UTerm

fn eq(&self, other: &UTerm) -> bool

Tests for self and other values to be equal, and is used by ==.

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

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

impl PartialOrd for UTerm

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

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

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

#[doc(hidden)] fn __chaining_lt(&self, other: &Rhs) -> ControlFlow<bool>

🔬This is a nightly-only experimental API. (partial_ord_chaining_methods)

If self == other, returns ControlFlow::Continue(()). Otherwise, returns ControlFlow::Break(self < other).

#[doc(hidden)] fn __chaining_le(&self, other: &Rhs) -> ControlFlow<bool>

🔬This is a nightly-only experimental API. (partial_ord_chaining_methods)

Same as __chaining_lt, but for <= instead of <.

#[doc(hidden)] fn __chaining_gt(&self, other: &Rhs) -> ControlFlow<bool>

🔬This is a nightly-only experimental API. (partial_ord_chaining_methods)

Same as __chaining_lt, but for > instead of <.

#[doc(hidden)] fn __chaining_ge(&self, other: &Rhs) -> ControlFlow<bool>

🔬This is a nightly-only experimental API. (partial_ord_chaining_methods)

Same as __chaining_lt, but for >= instead of <.

impl Pow<UTerm> for f32

type Output = f32

The result of the exponentiation.

fn powi(self, _: UTerm) -> Self::Output

This function isn’t used in this crate, but may be useful for others. It is implemented for primitives.

impl Pow<UTerm> for f64

type Output = f64

The result of the exponentiation.

fn powi(self, _: UTerm) -> Self::Output

This function isn’t used in this crate, but may be useful for others. It is implemented for primitives.

impl Pow<UTerm> for i16

type Output = i16

The result of the exponentiation.

fn powi(self, _: UTerm) -> Self::Output

This function isn’t used in this crate, but may be useful for others. It is implemented for primitives.

impl Pow<UTerm> for i32

type Output = i32

The result of the exponentiation.

fn powi(self, _: UTerm) -> Self::Output

This function isn’t used in this crate, but may be useful for others. It is implemented for primitives.

impl Pow<UTerm> for i64

type Output = i64

The result of the exponentiation.

fn powi(self, _: UTerm) -> Self::Output

This function isn’t used in this crate, but may be useful for others. It is implemented for primitives.

impl Pow<UTerm> for i8

type Output = i8

The result of the exponentiation.

fn powi(self, _: UTerm) -> Self::Output

This function isn’t used in this crate, but may be useful for others. It is implemented for primitives.

impl Pow<UTerm> for isize

type Output = isize

The result of the exponentiation.

fn powi(self, _: UTerm) -> Self::Output

This function isn’t used in this crate, but may be useful for others. It is implemented for primitives.

impl Pow<UTerm> for u16

type Output = u16

The result of the exponentiation.

fn powi(self, _: UTerm) -> Self::Output

This function isn’t used in this crate, but may be useful for others. It is implemented for primitives.

impl Pow<UTerm> for u32

type Output = u32

The result of the exponentiation.

fn powi(self, _: UTerm) -> Self::Output

This function isn’t used in this crate, but may be useful for others. It is implemented for primitives.

impl Pow<UTerm> for u64

type Output = u64

The result of the exponentiation.

fn powi(self, _: UTerm) -> Self::Output

This function isn’t used in this crate, but may be useful for others. It is implemented for primitives.

impl Pow<UTerm> for u8

type Output = u8

The result of the exponentiation.

fn powi(self, _: UTerm) -> Self::Output

This function isn’t used in this crate, but may be useful for others. It is implemented for primitives.

impl Pow<UTerm> for usize

type Output = usize

The result of the exponentiation.

fn powi(self, _: UTerm) -> Self::Output

This function isn’t used in this crate, but may be useful for others. It is implemented for primitives.

impl<U: Unsigned> PrivateAnd<U> for UTerm

UTerm & X = UTerm

type Output = UTerm

fn private_and(self, _: U) -> Self::Output

impl<B: Bit, U: Unsigned> PrivateAnd<UTerm> for UInt<U, B>

X & UTerm = UTerm

type Output = UTerm

fn private_and(self, _: UTerm) -> Self::Output

impl<U: Unsigned, B: Bit, SoFar: Ord> PrivateCmp<UInt<U, B>, SoFar> for UTerm

Got to the end of just the Lhs. It’s Less.

type Output = Less

fn private_cmp(&self, _: &UInt<U, B>, _: SoFar) -> Self::Output

impl<U: Unsigned, B: Bit, SoFar: Ord> PrivateCmp<UTerm, SoFar> for UInt<U, B>

Got to the end of just the Rhs. Lhs is Greater.

type Output = Greater

fn private_cmp(&self, _: &UTerm, _: SoFar) -> Self::Output

impl<SoFar: Ord> PrivateCmp<UTerm, SoFar> for UTerm

Got to the end of both! Return SoFar

type Output = SoFar

fn private_cmp(&self, _: &UTerm, so_far: SoFar) -> Self::Output

impl<N, D, Q, I> PrivateDiv<N, D, Q, UTerm, I> for ()

where N: GetBit<I>, UInt<UTerm, GetBitOut<N, I>>: Trim, TrimOut<UInt<UTerm, GetBitOut<N, I>>>: Cmp<D>, (): PrivateDivIf<N, D, Q, TrimOut<UInt<UTerm, GetBitOut<N, I>>>, I, Compare<TrimOut<UInt<UTerm, GetBitOut<N, I>>>, D>>,

type Quotient = <() as PrivateDivIf<N, D, Q, <UInt<UTerm, <N as GetBit<I>>::Output> as Trim>::Output, I, <<UInt<UTerm, <N as GetBit<I>>::Output> as Trim>::Output as Cmp<D>>::Output>>::Quotient

type Remainder = <() as PrivateDivIf<N, D, Q, <UInt<UTerm, <N as GetBit<I>>::Output> as Trim>::Output, I, <<UInt<UTerm, <N as GetBit<I>>::Output> as Trim>::Output as Cmp<D>>::Output>>::Remainder

fn private_div_quotient(self, n: N, d: D, q: Q, _: U0, i: I) -> Self::Quotient

fn private_div_remainder(self, n: N, d: D, q: Q, _: U0, i: I) -> Self::Remainder

impl<N, D, Q, R> PrivateDivIf<N, D, Q, R, UTerm, Equal> for ()

where Q: SetBit<U0, B1>,

type Quotient = <Q as SetBit<UTerm, B1>>::Output

type Remainder = UTerm

fn private_div_if_quotient( self, _: N, _: D, q: Q, _: R, i: U0, _: Equal, ) -> Self::Quotient

fn private_div_if_remainder( self, _: N, _: D, _: Q, _: R, i: U0, _: Equal, ) -> Self::Remainder

impl<N, D, Q, R> PrivateDivIf<N, D, Q, R, UTerm, Greater> for ()

where R: Sub<D>, Q: SetBit<U0, B1>,

type Quotient = <Q as SetBit<UTerm, B1>>::Output

type Remainder = <R as Sub<D>>::Output

fn private_div_if_quotient( self, _: N, _: D, q: Q, _: R, i: U0, _: Greater, ) -> Self::Quotient

fn private_div_if_remainder( self, _: N, d: D, _: Q, r: R, _: U0, _: Greater, ) -> Self::Remainder

impl<N, D, Q, R> PrivateDivIf<N, D, Q, R, UTerm, Less> for ()

type Quotient = Q

type Remainder = R

fn private_div_if_quotient( self, _: N, _: D, q: Q, _: R, _: U0, _: Less, ) -> Self::Quotient

fn private_div_if_remainder( self, _: N, _: D, _: Q, r: R, _: U0, _: Less, ) -> Self::Remainder

impl<IU: InvertedUnsigned> PrivateInvert<IU> for UTerm

type Output = IU

fn private_invert(self, rhs: IU) -> Self::Output

impl<Ul: Unsigned + NonZero, Ur: Unsigned + NonZero> PrivateRem<UTerm, NInt<Ur>> for NInt<Ul>

type Output = Z0

fn private_rem(self, _: U0, _: NInt<Ur>) -> Self::Output

impl<Ul: Unsigned + NonZero, Ur: Unsigned + NonZero> PrivateRem<UTerm, NInt<Ur>> for PInt<Ul>

type Output = Z0

fn private_rem(self, _: U0, _: NInt<Ur>) -> Self::Output

impl<Ul: Unsigned + NonZero, Ur: Unsigned + NonZero> PrivateRem<UTerm, PInt<Ur>> for NInt<Ul>

type Output = Z0

fn private_rem(self, _: U0, _: PInt<Ur>) -> Self::Output

impl<Ul: Unsigned + NonZero, Ur: Unsigned + NonZero> PrivateRem<UTerm, PInt<Ur>> for PInt<Ul>

type Output = Z0

fn private_rem(self, _: U0, _: PInt<Ur>) -> Self::Output

impl<I> PrivateSetBit<I, B0> for UTerm

type Output = UTerm

fn private_set_bit(self, _: I, _: B0) -> Self::Output

impl<I> PrivateSetBit<I, B1> for UTerm

where U1: Shl<I>,

type Output = <UInt<UTerm, B1> as Shl<I>>::Output

fn private_set_bit(self, i: I, _: B1) -> Self::Output

impl<Un, Bn, B> PrivateSetBit<UTerm, B> for UInt<Un, Bn>

type Output = UInt<Un, B>

fn private_set_bit(self, _: U0, b: B) -> Self::Output

impl PrivateSquareRoot for UTerm

type Output = UTerm

impl<U: Unsigned> PrivateXor<U> for UTerm

UTerm ^ X = X

type Output = U

fn private_xor(self, rhs: U) -> Self::Output

impl<B: Bit, U: Unsigned> PrivateXor<UTerm> for UInt<U, B>

X ^ UTerm = X

type Output = UInt<U, B>

fn private_xor(self, _: UTerm) -> Self::Output

impl<Ur: Unsigned, Br: Bit> Rem<UInt<Ur, Br>> for UTerm

type Output = UTerm

The resulting type after applying the % operator.

fn rem(self, _: UInt<Ur, Br>) -> Self::Output

Performs the % operation.

impl Shl<B0> for UTerm

Shifting UTerm by a 0 bit: UTerm << B0 = UTerm

type Output = UTerm

The resulting type after applying the << operator.

fn shl(self, _: B0) -> Self::Output

Performs the << operation.

impl Shl<B1> for UTerm

Shifting UTerm by a 1 bit: UTerm << B1 = UTerm

type Output = UTerm

The resulting type after applying the << operator.

fn shl(self, _: B1) -> Self::Output

Performs the << operation.

impl<U: Unsigned> Shl<U> for UTerm

Shifting left UTerm by an unsigned integer: UTerm << U = UTerm

type Output = UTerm

The resulting type after applying the << operator.

fn shl(self, _: U) -> Self::Output

Performs the << operation.

impl<U: Unsigned, B: Bit> Shl<UTerm> for UInt<U, B>

Shifting left UInt by UTerm: UInt<U, B> << UTerm = UInt<U, B>

type Output = UInt<U, B>

The resulting type after applying the << operator.

fn shl(self, _: UTerm) -> Self::Output

Performs the << operation.

impl Shr<B0> for UTerm

Shifting right UTerm by a 0 bit: UTerm >> B0 = UTerm

type Output = UTerm

The resulting type after applying the >> operator.

fn shr(self, _: B0) -> Self::Output

Performs the >> operation.

impl Shr<B1> for UTerm

Shifting right UTerm by a 1 bit: UTerm >> B1 = UTerm

type Output = UTerm

The resulting type after applying the >> operator.

fn shr(self, _: B1) -> Self::Output

Performs the >> operation.

impl<U: Unsigned> Shr<U> for UTerm

Shifting right a UTerm by an unsigned integer: UTerm >> U = UTerm

type Output = UTerm

The resulting type after applying the >> operator.

fn shr(self, _: U) -> Self::Output

Performs the >> operation.

impl<U: Unsigned, B: Bit> Shr<UTerm> for UInt<U, B>

Shifting right UInt by UTerm: UInt<U, B> >> UTerm = UInt<U, B>

type Output = UInt<U, B>

The resulting type after applying the >> operator.

fn shr(self, _: UTerm) -> Self::Output

Performs the >> operation.

impl Sub<B0> for UTerm

UTerm - B0 = Term

type Output = UTerm

The resulting type after applying the - operator.

fn sub(self, _: B0) -> Self::Output

Performs the - operation.

impl Sub for UTerm

UTerm - UTerm = UTerm

type Output = UTerm

The resulting type after applying the - operator.

fn sub(self, _: UTerm) -> Self::Output

Performs the - operation.

impl ToInt<i16> for UTerm

const INT: i16 = 0i16

The concrete value for the type. Can be used in const contexts.

fn to_int() -> i16

Method returning the concrete value for the type.

impl ToInt<i32> for UTerm

const INT: i32 = 0i32

The concrete value for the type. Can be used in const contexts.

fn to_int() -> i32

Method returning the concrete value for the type.

impl ToInt<i64> for UTerm

const INT: i64 = 0i64

The concrete value for the type. Can be used in const contexts.

fn to_int() -> i64

Method returning the concrete value for the type.

impl ToInt<i8> for UTerm

const INT: i8 = 0i8

The concrete value for the type. Can be used in const contexts.

fn to_int() -> i8

Method returning the concrete value for the type.

impl ToInt<isize> for UTerm

const INT: isize = 0isize

The concrete value for the type. Can be used in const contexts.

fn to_int() -> isize

Method returning the concrete value for the type.

impl ToInt<u16> for UTerm

const INT: u16 = 0u16

The concrete value for the type. Can be used in const contexts.

fn to_int() -> u16

Method returning the concrete value for the type.

impl ToInt<u32> for UTerm

const INT: u32 = 0u32

The concrete value for the type. Can be used in const contexts.

fn to_int() -> u32

Method returning the concrete value for the type.

impl ToInt<u64> for UTerm

const INT: u64 = 0u64

The concrete value for the type. Can be used in const contexts.

fn to_int() -> u64

Method returning the concrete value for the type.

impl ToInt<u8> for UTerm

const INT: u8 = 0u8

The concrete value for the type. Can be used in const contexts.

fn to_int() -> u8

Method returning the concrete value for the type.

impl ToInt<usize> for UTerm

const INT: usize = 0usize

The concrete value for the type. Can be used in const contexts.

fn to_int() -> usize

Method returning the concrete value for the type.

impl Unsigned for UTerm

const U8: u8 = 0u8

const U16: u16 = 0u16

const U32: u32 = 0u32

const U64: u64 = 0u64

const USIZE: usize = 0usize

const I8: i8 = 0i8

const I16: i16 = 0i16

const I32: i32 = 0i32

const I64: i64 = 0i64

const ISIZE: isize = 0isize

fn to_u8() -> u8

fn to_u16() -> u16

fn to_u32() -> u32

fn to_u64() -> u64

fn to_usize() -> usize

fn to_i8() -> i8

fn to_i16() -> i16

fn to_i32() -> i32

fn to_i64() -> i64

fn to_isize() -> isize

impl Copy for UTerm

impl StructuralPartialEq for UTerm

impl TrivialClone for UTerm

impl Zero for UTerm