Struct typenum::int::Z0

[+] Show declaration

pub struct Z0;

[−] Expand description

The type-level signed integer 0.

Implementations

impl Z0[−]

pub fn new() -> Z0[−]

Instantiates a singleton representing the integer 0.

Trait Implementations

impl Abs for Z0

type Output = Z0

The absolute value.

impl<I: Integer> Add<I> for Z0[+]

Z0 + I = I

[+] Show hidden undocumented items

type Output = I

The resulting type after applying the + operator.

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

Performs the + operation.

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

PInt + Z0 = PInt

[+] Show hidden undocumented items

type Output = PInt<U>

The resulting type after applying the + operator.

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

Performs the + operation.

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

NInt + Z0 = NInt

[+] Show hidden undocumented items

type Output = NInt<U>

The resulting type after applying the + operator.

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

Performs the + operation.

impl Clone for Z0[+]

[+] Show hidden undocumented items

fn clone(&self) -> Z0[−]

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)[−]

Performs copy-assignment from source.

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

0 > -X

[+] Show hidden undocumented items

type Output = Greater

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

fn compare<IM: InternalMarker>(&self, _: &NInt<U>) -> Self::Output

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

0 < X

[+] Show hidden undocumented items

type Output = Less

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

fn compare<IM: InternalMarker>(&self, _: &PInt<U>) -> Self::Output

impl Cmp<Z0> for Z0[+]

0 == 0

[+] Show hidden undocumented items

type Output = Equal

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

fn compare<IM: InternalMarker>(&self, _: &Z0) -> Self::Output

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

X > 0

[+] Show hidden undocumented items

type Output = Greater

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

fn compare<IM: InternalMarker>(&self, _: &Z0) -> Self::Output

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

-X < 0

[+] Show hidden undocumented items

type Output = Less

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

fn compare<IM: InternalMarker>(&self, _: &Z0) -> Self::Output

impl Copy for Z0

impl Debug for Z0[+]

[+] Show hidden undocumented items

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

Formats the value using the given formatter.

impl Default for Z0[+]

[+] Show hidden undocumented items

fn default() -> Z0[−]

Returns the “default value” for a type.

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

Z0 / I = Z0 where I != 0

[+] Show hidden undocumented items

type Output = Z0

The resulting type after applying the / operator.

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

Performs the / operation.

impl Eq for Z0

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

type Output = PInt<U>

The greatest common divisor.

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

type Output = PInt<U>

The greatest common divisor.

impl Gcd<Z0> for Z0

type Output = Z0

The greatest common divisor.

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

type Output = PInt<U>

The greatest common divisor.

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

type Output = PInt<U>

The greatest common divisor.

impl Hash for Z0[+]

[+] Show hidden undocumented items

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

impl Integer for Z0[+]

[+] Show hidden undocumented items

const I8: i8

const I16: i16

const I32: i32

const I64: i64

const ISIZE: isize

fn to_i8() -> i8

fn to_i16() -> i16

fn to_i32() -> i32

fn to_i64() -> i64

fn to_isize() -> isize

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

[+] Show hidden undocumented items

type Output = Z0

The type of the maximum of Self and Rhs

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

Method returning the maximum

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

[+] Show hidden undocumented items

type Output = PInt<U>

The type of the maximum of Self and Rhs

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

Method returning the maximum

impl Max<Z0> for Z0[+]

[+] Show hidden undocumented items

type Output = Z0

The type of the maximum of Self and Rhs

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

Method returning the maximum

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

[+] Show hidden undocumented items

type Output = PInt<U>

The type of the maximum of Self and Rhs

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

Method returning the maximum

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

[+] Show hidden undocumented items

type Output = Z0

The type of the maximum of Self and Rhs

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

Method returning the maximum

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

[+] Show hidden undocumented items

type Output = NInt<U>

The type of the minimum of Self and Rhs

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

Method returning the minimum

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

[+] Show hidden undocumented items

type Output = Z0

The type of the minimum of Self and Rhs

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

Method returning the minimum

impl Min<Z0> for Z0[+]

[+] Show hidden undocumented items

type Output = Z0

The type of the minimum of Self and Rhs

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

Method returning the minimum

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

[+] Show hidden undocumented items

type Output = Z0

The type of the minimum of Self and Rhs

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

Method returning the minimum

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

[+] Show hidden undocumented items

type Output = NInt<U>

The type of the minimum of Self and Rhs

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

Method returning the minimum

impl Mul<ATerm> for Z0[+]

[+] Show hidden undocumented items

type Output = ATerm

The resulting type after applying the * operator.

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

Performs the * operation.

impl<I: Integer> Mul<I> for Z0[+]

Z0 * I = Z0

[+] Show hidden undocumented items

type Output = Z0

The resulting type after applying the * operator.

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

Performs the * operation.

impl<V, A> Mul<TArr<V, A>> for Z0 where
    Z0: Mul<A>, [+]

[+] Show hidden undocumented items

type Output = TArr<Z0, Prod<Z0, A>>

The resulting type after applying the * operator.

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

Performs the * operation.

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

P * Z0 = Z0

[+] Show hidden undocumented items

type Output = Z0

The resulting type after applying the * operator.

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

Performs the * operation.

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

N * Z0 = Z0

[+] Show hidden undocumented items

type Output = Z0

The resulting type after applying the * operator.

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

Performs the * operation.

impl Neg for Z0[+]

-Z0 = Z0

[+] Show hidden undocumented items

type Output = Z0

The resulting type after applying the - operator.

fn neg(self) -> Self::Output[−]

Performs the unary - operation.

impl Ord for Z0[+]

[+] Show hidden undocumented items

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

This method returns an Ordering between self and other.

[+] Expand attributes

#[must_use]pub fn max(self, other: Self) -> Self[−]

Compares and returns the maximum of two values.

[+] Expand attributes

#[must_use]pub fn min(self, other: Self) -> Self[−]

Compares and returns the minimum of two values.

[+] Expand attributes

#[must_use]pub fn clamp(self, min: Self, max: Self) -> Self[−]

Restrict a value to a certain interval.

impl PartialEq<Z0> for Z0[+]

[+] Show hidden undocumented items

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

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

[+] Expand attributes

#[must_use]pub fn ne(&self, other: &Rhs) -> bool[−]

This method tests for !=.

impl PartialOrd<Z0> for Z0[+]

[+] Show hidden undocumented items

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

This method returns an ordering between self and other values if one exists.

[+] Expand attributes

#[must_use]pub fn lt(&self, other: &Rhs) -> bool[−]

This method tests less than (for self and other) and is used by the < operator.

[+] Expand attributes

#[must_use]pub fn le(&self, other: &Rhs) -> bool[−]

This method tests less than or equal to (for self and other) and is used by the <= operator.

[+] Expand attributes

#[must_use]pub fn gt(&self, other: &Rhs) -> bool[−]

This method tests greater than (for self and other) and is used by the > operator.

[+] Expand attributes

#[must_use]pub fn ge(&self, other: &Rhs) -> bool[−]

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

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

0^N = 0

[+] Show hidden undocumented items

type Output = Z0

The result of the exponentiation.

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.

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

0^P = 0

[+] Show hidden undocumented items

type Output = Z0

The result of the exponentiation.

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.

impl Pow<Z0> for Z0[+]

0^0 = 1

[+] Show hidden undocumented items

type Output = P1

The result of the exponentiation.

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.

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

P^0 = 1

[+] Show hidden undocumented items

type Output = P1

The result of the exponentiation.

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.

impl Pow<Z0> for i8[+]

[+] Show hidden undocumented items

type Output = i8

The result of the exponentiation.

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.

impl Pow<Z0> for i16[+]

[+] Show hidden undocumented items

type Output = i16

The result of the exponentiation.

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.

impl Pow<Z0> for i32[+]

[+] Show hidden undocumented items

type Output = i32

The result of the exponentiation.

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.

impl Pow<Z0> for i64[+]

[+] Show hidden undocumented items

type Output = i64

The result of the exponentiation.

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.

impl Pow<Z0> for isize[+]

[+] Show hidden undocumented items

type Output = isize

The result of the exponentiation.

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.

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

N^0 = 1

[+] Show hidden undocumented items

type Output = P1

The result of the exponentiation.

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.

impl Pow<Z0> for f32[+]

[+] Show hidden undocumented items

type Output = f32

The result of the exponentiation.

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.

impl Pow<Z0> for f64[+]

[+] Show hidden undocumented items

type Output = f64

The result of the exponentiation.

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.

impl Pow<Z0> for u8[+]

[+] Show hidden undocumented items

type Output = u8

The result of the exponentiation.

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.

impl Pow<Z0> for u16[+]

[+] Show hidden undocumented items

type Output = u16

The result of the exponentiation.

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.

impl Pow<Z0> for u32[+]

[+] Show hidden undocumented items

type Output = u32

The result of the exponentiation.

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.

impl Pow<Z0> for u64[+]

[+] Show hidden undocumented items

type Output = u64

The result of the exponentiation.

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.

impl Pow<Z0> for usize[+]

[+] Show hidden undocumented items

type Output = usize

The result of the exponentiation.

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.

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

Z0 % I = Z0 where I != 0

[+] Show hidden undocumented items

type Output = Z0

The resulting type after applying the % operator.

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

Performs the % operation.

impl StructuralEq for Z0

impl StructuralPartialEq for Z0

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

Z0 - N = P

[+] Show hidden undocumented items

type Output = PInt<U>

The resulting type after applying the - operator.

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

Performs the - operation.

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

Z0 - P = N

[+] Show hidden undocumented items

type Output = NInt<U>

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<Z0> for Z0[+]

Z0 - Z0 = Z0

[+] Show hidden undocumented items

type Output = Z0

The resulting type after applying the - operator.

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

Performs the - operation.

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

PInt - Z0 = PInt

[+] Show hidden undocumented items

type Output = PInt<U>

The resulting type after applying the - operator.

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

Performs the - operation.

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

NInt - Z0 = NInt

[+] Show hidden undocumented items

type Output = NInt<U>

The resulting type after applying the - operator.

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

Performs the - operation.

impl ToInt<i16> for Z0[+]

[+] Show hidden undocumented items

fn to_int() -> i16[−]

Method returning the concrete value for the type.

impl ToInt<i32> for Z0[+]

[+] Show hidden undocumented items

fn to_int() -> i32[−]

Method returning the concrete value for the type.

impl ToInt<i64> for Z0[+]

[+] Show hidden undocumented items

fn to_int() -> i64[−]

Method returning the concrete value for the type.

impl ToInt<i8> for Z0[+]

[+] Show hidden undocumented items

fn to_int() -> i8[−]

Method returning the concrete value for the type.

impl Zero for Z0