Struct typenum::uint::UTerm[][src]

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[src]

pub fn new() -> UTerm[src]

Instantiates a singleton representing this unsigned integer.

Trait Implementations

impl Add<B0> for UTerm[src]

UTerm + B0 = UTerm

type Output = UTerm

The resulting type after applying the + operator.

impl Add<B1> for UTerm[src]

UTerm + B1 = UInt<UTerm, B1>

type Output = UInt<UTerm, B1>

The resulting type after applying the + operator.

impl<U: Unsigned> Add<U> for UTerm[src]

UTerm + U = U

type Output = U

The resulting type after applying the + operator.

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

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

type Output = UInt<U, B>

The resulting type after applying the + operator.

impl<Ur: Unsigned> BitAnd<Ur> for UTerm[src]

0 & X = 0

type Output = UTerm

The resulting type after applying the & operator.

impl<U: Unsigned> BitOr<U> for UTerm[src]

UTerm | X = X

type Output = U

The resulting type after applying the | operator.

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

X | UTerm = X

type Output = Self

The resulting type after applying the | operator.

impl<Ur: Unsigned> BitXor<Ur> for UTerm[src]

0 ^ X = X

type Output = Ur

The resulting type after applying the ^ operator.

impl Clone for UTerm[src]

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

Zero < Nonzero

type Output = Less

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

impl Cmp<UTerm> for UTerm[src]

Zero == Zero

type Output = Equal

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

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

Nonzero > Zero

type Output = Greater

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

impl Copy for UTerm[src]

impl Debug for UTerm[src]

impl Default for UTerm[src]

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

type Output = UTerm

The resulting type after applying the / operator.

impl Eq for UTerm[src]

impl Gcd<UTerm> for U0[src]

gcd(0, 0) = 0

type Output = U0

The greatest common divisor.

impl<X> Gcd<UTerm> for X where
    X: Unsigned + NonZero
[src]

gcd(x, 0) = x

type Output = X

The greatest common divisor.

impl<I> GetBit<I> for UTerm[src]

type Output = B0

impl<Un, Bn> GetBit<UTerm> for UInt<Un, Bn> where
    Bn: Copy
[src]

type Output = Bn

impl Hash for UTerm[src]

impl Len for UTerm[src]

Length of UTerm by itself is 0

type Output = U0

The length as a type-level unsigned integer.

impl<U> Max<U> for UTerm where
    U: Unsigned
[src]

type Output = U

The type of the maximum of Self and Rhs

impl<U> Min<U> for UTerm where
    U: Unsigned
[src]

type Output = UTerm

The type of the minimum of Self and Rhs

impl Mul<B0> for UTerm[src]

UTerm * B0 = UTerm

type Output = UTerm

The resulting type after applying the * operator.

impl Mul<B1> for UTerm[src]

UTerm * B1 = UTerm

type Output = UTerm

The resulting type after applying the * operator.

impl<U: Unsigned> Mul<U> for UTerm[src]

UTerm * U = UTerm

type Output = UTerm

The resulting type after applying the * operator.

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

UInt<U, B> * UTerm = UTerm

type Output = UTerm

The resulting type after applying the * operator.

impl Ord for UTerm[src]

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

type Output = UTerm

The type of the result of the division

impl PartialEq<UTerm> for UTerm[src]

impl PartialOrd<UTerm> for UTerm[src]

impl Pow<UTerm> for f32[src]

type Output = f32

The result of the exponentiation.

impl Pow<UTerm> for f64[src]

type Output = f64

The result of the exponentiation.

impl Pow<UTerm> for i64[src]

type Output = i64

The result of the exponentiation.

impl Pow<UTerm> for isize[src]

type Output = isize

The result of the exponentiation.

impl Pow<UTerm> for u8[src]

type Output = u8

The result of the exponentiation.

impl Pow<UTerm> for u16[src]

type Output = u16

The result of the exponentiation.

impl Pow<UTerm> for u32[src]

type Output = u32

The result of the exponentiation.

impl Pow<UTerm> for u64[src]

type Output = u64

The result of the exponentiation.

impl Pow<UTerm> for usize[src]

type Output = usize

The result of the exponentiation.

impl Pow<UTerm> for i8[src]

type Output = i8

The result of the exponentiation.

impl Pow<UTerm> for i16[src]

type Output = i16

The result of the exponentiation.

impl Pow<UTerm> for i32[src]

type Output = i32

The result of the exponentiation.

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

type Output = UTerm

The resulting type after applying the % operator.

impl Shl<B0> for UTerm[src]

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

type Output = UTerm

The resulting type after applying the << operator.

impl Shl<B1> for UTerm[src]

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

type Output = UTerm

The resulting type after applying the << operator.

impl<U: Unsigned> Shl<U> for UTerm[src]

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

type Output = UTerm

The resulting type after applying the << operator.

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

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

type Output = UInt<U, B>

The resulting type after applying the << operator.

impl Shr<B0> for UTerm[src]

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

type Output = UTerm

The resulting type after applying the >> operator.

impl Shr<B1> for UTerm[src]

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

type Output = UTerm

The resulting type after applying the >> operator.

impl<U: Unsigned> Shr<U> for UTerm[src]

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

type Output = UTerm

The resulting type after applying the >> operator.

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

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

type Output = UInt<U, B>

The resulting type after applying the >> operator.

impl StructuralEq for UTerm[src]

impl StructuralPartialEq for UTerm[src]

impl Sub<B0> for UTerm[src]

UTerm - B0 = Term

type Output = UTerm

The resulting type after applying the - operator.

impl Sub<UTerm> for UTerm[src]

UTerm - UTerm = UTerm

type Output = UTerm

The resulting type after applying the - operator.

impl ToInt<i16> for UTerm[src]

impl ToInt<i32> for UTerm[src]

impl ToInt<i64> for UTerm[src]

impl ToInt<i8> for UTerm[src]

impl ToInt<u16> for UTerm[src]

impl ToInt<u32> for UTerm[src]

impl ToInt<u64> for UTerm[src]

impl ToInt<u8> for UTerm[src]

impl ToInt<usize> for UTerm[src]

impl Unsigned for UTerm[src]

impl Zero for UTerm[src]

Auto Trait Implementations

impl Send for UTerm

impl Sync for UTerm

impl Unpin for UTerm

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<X> Gcd<UTerm> for X where
    X: Unsigned + NonZero
[src]

type Output = X

The greatest common divisor.

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<X, N> Pow<N> for X where
    N: Unsigned,
    X: Unsigned + PrivatePow<UInt<UTerm, B1>, N>, 
[src]

type Output = <X as PrivatePow<UInt<UTerm, B1>, N>>::Output

The result of the exponentiation.

impl<T> Same<T> for T[src]

type Output = T

Should always be Self

impl<N, I, B> SetBit<I, B> for N where
    N: PrivateSetBit<I, B>,
    <N as PrivateSetBit<I, B>>::Output: Trim, 
[src]

type Output = <<N as PrivateSetBit<I, B>>::Output as Trim>::Output

impl<N> SquareRoot for N where
    N: PrivateSquareRoot, 
[src]

type Output = <N as PrivateSquareRoot>::Output

The result of the integer square root.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

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

The type returned in the event of a conversion error.