Type Alias U0

pub type U0 = UTerm;

Aliased Type

struct 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) -> <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