Type Alias U0

pub type U0 = UTerm;

Aliased Type

pub struct U0;

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 0 bytes

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) -> <UTerm as Add<B0>>::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) -> <UTerm as Add<B1>>::Output

Performs the + operation.

impl<U> Add<U> for UTerm

where U: Unsigned,

UTerm + U = U

type Output = U

The resulting type after applying the + operator.

fn add(self, rhs: U) -> <UTerm as Add<U>>::Output

Performs the + operation.

impl<T> ArrayLength<T> for UTerm

type ArrayType

Associated type representing the array type for the number

impl<Ur> BitAnd<Ur> for UTerm

where Ur: Unsigned,

0 & X = 0

type Output = UTerm

The resulting type after applying the & operator.

fn bitand(self, _: Ur) -> <UTerm as BitAnd<Ur>>::Output

Performs the & operation.

impl<U> BitOr<U> for UTerm

where U: Unsigned,

UTerm | X = X

type Output = U

The resulting type after applying the | operator.

fn bitor(self, rhs: U) -> <UTerm as BitOr<U>>::Output

Performs the | operation.

impl<Ur> BitXor<Ur> for UTerm

where Ur: Unsigned,

0 ^ X = X

type Output = Ur

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: Ur) -> <UTerm as BitXor<Ur>>::Output

Performs the ^ operation.

impl Clone for UTerm

fn clone(&self) -> UTerm

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<U, B> Cmp<UInt<U, B>> for UTerm

where U: Unsigned, B: Bit,

Zero < Nonzero

type Output = Less

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

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.

impl Debug for UTerm

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

Formats the value using the given formatter.

impl Default for UTerm

fn default() -> UTerm

Returns the “default value” for a type.

impl<Ur, Br> Div<UInt<Ur, Br>> for UTerm

where Ur: Unsigned, Br: Bit,

type Output = UTerm

The resulting type after applying the / operator.

fn div(self, _: UInt<Ur, Br>) -> <UTerm as Div<UInt<Ur, Br>>>::Output

Performs the / operation.

impl Gcd<UTerm> for UTerm

gcd(0, 0) = 0

type Output = UTerm

The greatest common divisor.

impl<X> Gcd<UTerm> for X

where X: Unsigned + NonZero,

gcd(x, 0) = x

type Output = X

The greatest common divisor.

impl<Y> Gcd<Y> for UTerm

where Y: Unsigned + NonZero,

gcd(0, y) = y

type Output = Y

The greatest common divisor.

impl<I> GetBit<I> for UTerm

type Output = B0

impl Hash for UTerm

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

where __H: Hasher,

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 Len for UTerm

Length of UTerm by itself is 0

type Output = UTerm

The length as a type-level unsigned integer.

fn len(&self) -> <UTerm as Len>::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) -> <UTerm as Max<U>>::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) -> <UTerm as Min<U>>::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) -> <UTerm as Mul<B0>>::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) -> <UTerm as Mul<B1>>::Output

Performs the * operation.

impl<U> Mul<U> for UTerm

where U: Unsigned,

UTerm * U = UTerm

type Output = UTerm

The resulting type after applying the * operator.

fn mul(self, _: U) -> <UTerm as Mul<U>>::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, Br> PartialDiv<UInt<Ur, Br>> for UTerm

where Ur: Unsigned, Br: Bit,

type Output = UTerm

The type of the result of the division

fn partial_div( self, _: UInt<Ur, Br>, ) -> <UTerm as PartialDiv<UInt<Ur, Br>>>::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.

impl<Ur, Br> Rem<UInt<Ur, Br>> for UTerm

where Ur: Unsigned, Br: Bit,

type Output = UTerm

The resulting type after applying the % operator.

fn rem(self, _: UInt<Ur, Br>) -> <UTerm as Rem<UInt<Ur, Br>>>::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) -> <UTerm as Shl<B0>>::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) -> <UTerm as Shl<B1>>::Output

Performs the << operation.

impl<U> Shl<U> for UTerm

where U: Unsigned,

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

type Output = UTerm

The resulting type after applying the << operator.

fn shl(self, _: U) -> <UTerm as Shl<U>>::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) -> <UTerm as Shr<B0>>::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) -> <UTerm as Shr<B1>>::Output

Performs the >> operation.

impl<U> Shr<U> for UTerm

where U: Unsigned,

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) -> <UTerm as Shr<U>>::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) -> <UTerm as Sub<B0>>::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) -> <UTerm as Sub>::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<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 Eq for UTerm

impl StructuralPartialEq for UTerm

impl Zero for UTerm