Struct typenum::int::Z0

source ·
pub struct Z0;
Expand description

The type-level signed integer 0.

Implementations§

source§

impl Z0

source

pub fn new() -> Z0

Instantiates a singleton representing the integer 0.

Trait Implementations§

source§

impl Abs for Z0

§

type Output = Z0

The absolute value.
source§

impl<I: Integer> Add<I> for Z0

Z0 + I = I

§

type Output = I

The resulting type after applying the + operator.
source§

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

Performs the + operation. Read more
source§

impl<U: Unsigned + NonZero> Add<Z0> for NInt<U>

NInt + Z0 = NInt

§

type Output = NInt<U>

The resulting type after applying the + operator.
source§

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

Performs the + operation. Read more
source§

impl<U: Unsigned + NonZero> Add<Z0> for PInt<U>

PInt + Z0 = PInt

§

type Output = PInt<U>

The resulting type after applying the + operator.
source§

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

Performs the + operation. Read more
source§

impl Clone for Z0

source§

fn clone(&self) -> Z0

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl<U: Unsigned + NonZero> Cmp<NInt<U>> for Z0

0 > -X

§

type Output = Greater

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

impl<U: Unsigned + NonZero> Cmp<PInt<U>> for Z0

0 < X

§

type Output = Less

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

impl<U: Unsigned + NonZero> Cmp<Z0> for NInt<U>

-X < 0

§

type Output = Less

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

impl<U: Unsigned + NonZero> Cmp<Z0> for PInt<U>

X > 0

§

type Output = Greater

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

impl Cmp<Z0> for Z0

0 == 0

§

type Output = Equal

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

impl Debug for Z0

source§

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

Formats the value using the given formatter. Read more
source§

impl Default for Z0

source§

fn default() -> Z0

Returns the “default value” for a type. Read more
source§

impl<I: Integer + NonZero> Div<I> for Z0

Z0 / I = Z0 where I != 0

§

type Output = Z0

The resulting type after applying the / operator.
source§

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

Performs the / operation. Read more
source§

impl<U> Gcd<NInt<U>> for Z0where U: Unsigned + NonZero,

§

type Output = PInt<U>

The greatest common divisor.
source§

impl<U> Gcd<PInt<U>> for Z0where U: Unsigned + NonZero,

§

type Output = PInt<U>

The greatest common divisor.
source§

impl<U> Gcd<Z0> for NInt<U>where U: Unsigned + NonZero,

§

type Output = PInt<U>

The greatest common divisor.
source§

impl<U> Gcd<Z0> for PInt<U>where U: Unsigned + NonZero,

§

type Output = PInt<U>

The greatest common divisor.
source§

impl Gcd<Z0> for Z0

§

type Output = Z0

The greatest common divisor.
source§

impl Hash for Z0

source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · source§

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

Feeds a slice of this type into the given Hasher. Read more
source§

impl Integer for Z0

source§

const I8: i8 = 0i8

source§

const I16: i16 = 0i16

source§

const I32: i32 = 0i32

source§

const I64: i64 = 0i64

source§

const ISIZE: isize = 0isize

source§

fn to_i8() -> i8

source§

fn to_i16() -> i16

source§

fn to_i32() -> i32

source§

fn to_i64() -> i64

source§

fn to_isize() -> isize

source§

impl<U> Max<NInt<U>> for Z0where U: Unsigned + NonZero,

§

type Output = Z0

The type of the maximum of Self and Rhs
source§

fn max(self, _: NInt<U>) -> Self::Output

Method returning the maximum
source§

impl<U> Max<PInt<U>> for Z0where U: Unsigned + NonZero,

§

type Output = PInt<U>

The type of the maximum of Self and Rhs
source§

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

Method returning the maximum
source§

impl<U> Max<Z0> for NInt<U>where U: Unsigned + NonZero,

§

type Output = Z0

The type of the maximum of Self and Rhs
source§

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

Method returning the maximum
source§

impl<U> Max<Z0> for PInt<U>where U: Unsigned + NonZero,

§

type Output = PInt<U>

The type of the maximum of Self and Rhs
source§

fn max(self, _: Z0) -> Self::Output

Method returning the maximum
source§

impl Max<Z0> for Z0

§

type Output = Z0

The type of the maximum of Self and Rhs
source§

fn max(self, _: Z0) -> Self::Output

Method returning the maximum
source§

impl<U> Min<NInt<U>> for Z0where U: Unsigned + NonZero,

§

type Output = NInt<U>

The type of the minimum of Self and Rhs
source§

fn min(self, rhs: NInt<U>) -> Self::Output

Method returning the minimum
source§

impl<U> Min<PInt<U>> for Z0where U: Unsigned + NonZero,

§

type Output = Z0

The type of the minimum of Self and Rhs
source§

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

Method returning the minimum
source§

impl<U> Min<Z0> for NInt<U>where U: Unsigned + NonZero,

§

type Output = NInt<U>

The type of the minimum of Self and Rhs
source§

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

Method returning the minimum
source§

impl<U> Min<Z0> for PInt<U>where U: Unsigned + NonZero,

§

type Output = Z0

The type of the minimum of Self and Rhs
source§

fn min(self, rhs: Z0) -> Self::Output

Method returning the minimum
source§

impl Min<Z0> for Z0

§

type Output = Z0

The type of the minimum of Self and Rhs
source§

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

Method returning the minimum
source§

impl Mul<ATerm> for Z0

§

type Output = ATerm

The resulting type after applying the * operator.
source§

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

Performs the * operation. Read more
source§

impl<I: Integer> Mul<I> for Z0

Z0 * I = Z0

§

type Output = Z0

The resulting type after applying the * operator.
source§

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

Performs the * operation. Read more
source§

impl<V, A> Mul<TArr<V, A>> for Z0where Z0: Mul<A>,

§

type Output = TArr<Z0, <Z0 as Mul<A>>::Output>

The resulting type after applying the * operator.
source§

fn mul(self, rhs: TArr<V, A>) -> Self::Output

Performs the * operation. Read more
source§

impl<U: Unsigned + NonZero> Mul<Z0> for NInt<U>

N * Z0 = Z0

§

type Output = Z0

The resulting type after applying the * operator.
source§

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

Performs the * operation. Read more
source§

impl<U: Unsigned + NonZero> Mul<Z0> for PInt<U>

P * Z0 = Z0

§

type Output = Z0

The resulting type after applying the * operator.
source§

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

Performs the * operation. Read more
source§

impl Neg for Z0

-Z0 = Z0

§

type Output = Z0

The resulting type after applying the - operator.
source§

fn neg(self) -> Self::Output

Performs the unary - operation. Read more
source§

impl Ord for Z0

source§

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

This method returns an Ordering between self and other. Read more
1.21.0 · source§

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

Compares and returns the maximum of two values. Read more
1.21.0 · source§

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

Compares and returns the minimum of two values. Read more
1.50.0 · source§

fn clamp(self, min: Self, max: Self) -> Selfwhere Self: Sized + PartialOrd<Self>,

Restrict a value to a certain interval. Read more
source§

impl PartialEq<Z0> for Z0

source§

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl PartialOrd<Z0> for Z0

source§

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

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · source§

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

This method tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · source§

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

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · source§

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

This method tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · source§

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

This method tests greater than or equal to (for self and other) and is used by the >= operator. Read more
source§

impl<U: Unsigned + NonZero> Pow<NInt<U>> for Z0

0^N = 0

§

type Output = Z0

The result of the exponentiation.
source§

fn powi(self, _: NInt<U>) -> Self::Output

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

impl<U: Unsigned + NonZero> Pow<PInt<U>> for Z0

0^P = 0

§

type Output = Z0

The result of the exponentiation.
source§

fn powi(self, _: PInt<U>) -> Self::Output

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

impl<U: Unsigned + NonZero> Pow<Z0> for NInt<U>

N^0 = 1

§

type Output = PInt<UInt<UTerm, B1>>

The result of the exponentiation.
source§

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

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

impl<U: Unsigned + NonZero> Pow<Z0> for PInt<U>

P^0 = 1

§

type Output = PInt<UInt<UTerm, B1>>

The result of the exponentiation.
source§

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

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

impl Pow<Z0> for Z0

0^0 = 1

§

type Output = PInt<UInt<UTerm, B1>>

The result of the exponentiation.
source§

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

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

impl Pow<Z0> for f32

§

type Output = f32

The result of the exponentiation.
source§

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

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

impl Pow<Z0> for f64

§

type Output = f64

The result of the exponentiation.
source§

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

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

impl Pow<Z0> for i16

§

type Output = i16

The result of the exponentiation.
source§

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

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

impl Pow<Z0> for i32

§

type Output = i32

The result of the exponentiation.
source§

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

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

impl Pow<Z0> for i64

§

type Output = i64

The result of the exponentiation.
source§

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

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

impl Pow<Z0> for i8

§

type Output = i8

The result of the exponentiation.
source§

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

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

impl Pow<Z0> for isize

§

type Output = isize

The result of the exponentiation.
source§

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

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

impl Pow<Z0> for u16

§

type Output = u16

The result of the exponentiation.
source§

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

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

impl Pow<Z0> for u32

§

type Output = u32

The result of the exponentiation.
source§

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

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

impl Pow<Z0> for u64

§

type Output = u64

The result of the exponentiation.
source§

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

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

impl Pow<Z0> for u8

§

type Output = u8

The result of the exponentiation.
source§

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

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

impl Pow<Z0> for usize

§

type Output = usize

The result of the exponentiation.
source§

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

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

impl<I: Integer + NonZero> Rem<I> for Z0

Z0 % I = Z0 where I != 0

§

type Output = Z0

The resulting type after applying the % operator.
source§

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

Performs the % operation. Read more
source§

impl<U: Unsigned + NonZero> Sub<NInt<U>> for Z0

Z0 - N = P

§

type Output = PInt<U>

The resulting type after applying the - operator.
source§

fn sub(self, _: NInt<U>) -> Self::Output

Performs the - operation. Read more
source§

impl<U: Unsigned + NonZero> Sub<PInt<U>> for Z0

Z0 - P = N

§

type Output = NInt<U>

The resulting type after applying the - operator.
source§

fn sub(self, _: PInt<U>) -> Self::Output

Performs the - operation. Read more
source§

impl<U: Unsigned + NonZero> Sub<Z0> for NInt<U>

NInt - Z0 = NInt

§

type Output = NInt<U>

The resulting type after applying the - operator.
source§

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

Performs the - operation. Read more
source§

impl<U: Unsigned + NonZero> Sub<Z0> for PInt<U>

PInt - Z0 = PInt

§

type Output = PInt<U>

The resulting type after applying the - operator.
source§

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

Performs the - operation. Read more
source§

impl Sub<Z0> for Z0

Z0 - Z0 = Z0

§

type Output = Z0

The resulting type after applying the - operator.
source§

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

Performs the - operation. Read more
source§

impl ToInt<i16> for Z0

source§

fn to_int() -> i16

Method returning the concrete value for the type.
source§

const INT: i16 = 0i16

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

impl ToInt<i32> for Z0

source§

fn to_int() -> i32

Method returning the concrete value for the type.
source§

const INT: i32 = 0i32

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

impl ToInt<i64> for Z0

source§

fn to_int() -> i64

Method returning the concrete value for the type.
source§

const INT: i64 = 0i64

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

impl ToInt<i8> for Z0

source§

fn to_int() -> i8

Method returning the concrete value for the type.
source§

const INT: i8 = 0i8

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

impl Copy for Z0

source§

impl Eq for Z0

source§

impl Sealed for Z0

source§

impl StructuralEq for Z0

source§

impl StructuralPartialEq for Z0

source§

impl Zero for Z0

Auto Trait Implementations§

§

impl RefUnwindSafe for Z0

§

impl Send for Z0

§

impl Sync for Z0

§

impl Unpin for Z0

§

impl UnwindSafe for Z0

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<M, N> PartialDiv<N> for Mwhere M: Integer + Div<N> + Rem<N, Output = Z0>,

§

type Output = <M as Div<N>>::Output

The type of the result of the division
source§

fn partial_div(self, rhs: N) -> <M as PartialDiv<N>>::Output

Method for performing the division
source§

impl<T> Same<T> for T

§

type Output = T

Should always be Self
source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

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

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.