Struct diffgeom::typenum::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.

Methods

impl UTerm

fn new() -> UTerm

Instantiates a singleton representing this unsigned integer.

Trait Implementations

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

Zero == Zero

type Output = Equal

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

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

Zero < Nonzero

type Output = Less

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

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

The method for the + operator

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

The method for the + operator

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, U) -> <UTerm as Add<U>>::Output

The method for the + operator

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

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

type Output = UTerm

fn shr(self, U) -> <UTerm as Shr<U>>::Output

impl Shr<B0> for UTerm

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

type Output = UTerm

fn shr(self, B0) -> <UTerm as Shr<B0>>::Output

impl Shr<B1> for UTerm

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

type Output = UTerm

fn shr(self, B1) -> <UTerm as Shr<B1>>::Output

impl Debug for UTerm

fn fmt(&self, __arg_0: &mut Formatter) -> Result<(), Error>

Formats the value using the given formatter.

impl Eq for UTerm

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

0 ^ X = X

type Output = Ur

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

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

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

type Output = UTerm

fn shl(self, U) -> <UTerm as Shl<U>>::Output

impl Shl<B1> for UTerm

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

type Output = UTerm

fn shl(self, B1) -> <UTerm as Shl<B1>>::Output

impl Shl<B0> for UTerm

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

type Output = UTerm

fn shl(self, B0) -> <UTerm as Shl<B0>>::Output

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 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<Ur, Br> Rem<UInt<Ur, Br>> for UTerm where
    Br: Bit,
    Ur: Unsigned, 

type Output = UTerm

fn rem(self, UInt<Ur, Br>) -> <UTerm as Rem<UInt<Ur, Br>>>::Output

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

The method for the * operator

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

The method for the * operator

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

The method for the * operator

impl<I> GetBit<I> for UTerm

type Output = B0

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

type Output = UTerm

The resulting type after applying the / operator

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

The method for the / operator

impl Unsigned for UTerm

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<U> BitOr<U> for UTerm where
    U: Unsigned, 

UTerm | X = X

type Output = U

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

impl Default for UTerm

fn default() -> UTerm

impl PartialOrd<UTerm> for UTerm

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

impl Hash for UTerm

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

impl PartialEq<UTerm> for UTerm

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

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<Ur, Br> PartialDiv<UInt<Ur, Br>> for UTerm where
    Br: Bit,
    Ur: Unsigned, 

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<Ur> BitAnd<Ur> for UTerm where
    Ur: Unsigned, 

0 & X = 0

type Output = UTerm

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

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

The method for the - operator

impl Sub<UTerm> for UTerm

UTerm - UTerm = UTerm

type Output = UTerm

The resulting type after applying the - operator

fn sub(self, UTerm) -> <UTerm as Sub<UTerm>>::Output

The method for the - operator

impl Ord for UTerm

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

impl Copy for UTerm

impl<T> ArrayLength<T> for UTerm

type ArrayType = ()

Associated type representing the array type for the number