Struct typenum::int::Z0

pub struct Z0;

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

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 NInt<U>

NInt + Z0 = NInt

type Output = NInt<U>

The resulting type after applying the + operator.

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

Performs the + operation.

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

PInt + Z0 = PInt

type Output = PInt<U>

The resulting type after applying the + operator.

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

Performs the + operation.

impl Clone for Z0

fn clone(&self) -> Z0

Returns a copy of the value.

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

Performs copy-assignment from 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.

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.

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.

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.

impl Cmp for Z0

0 == 0

type Output = Equal

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

impl Debug for Z0

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

Formats the value using the given formatter.

impl Default for Z0

fn default() -> Z0

Returns the “default value” for a type.

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

Z0 / I = Z0 where I != 0

type Output = Z0

The resulting type after applying the / operator.

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

Performs the / operation.

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<U> Gcd<Z0> for NInt<U>

where U: Unsigned + NonZero,

type Output = PInt<U>

The greatest common divisor.

impl<U> Gcd<Z0> for PInt<U>

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 Hash for Z0

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

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 Integer for Z0

const I8: i8 = 0i8

const I16: i16 = 0i16

const I32: i32 = 0i32

const I64: i64 = 0i64

const ISIZE: isize = 0isize

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,

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,

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<U> Max<Z0> for NInt<U>

where U: Unsigned + NonZero,

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> Max<Z0> for PInt<U>

where U: Unsigned + NonZero,

type Output = PInt<U>

The type of the maximum of Self and Rhs

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

Method returning the maximum

impl Max for Z0

type Output = Z0

The type of the maximum of Self and Rhs

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

Method returning the maximum

impl<U> Min<NInt<U>> for Z0

where U: Unsigned + NonZero,

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,

type Output = Z0

The type of the minimum of Self and Rhs

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

Method returning the minimum

impl<U> Min<Z0> for NInt<U>

where U: Unsigned + NonZero,

type Output = NInt<U>

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,

type Output = Z0

The type of the minimum of Self and Rhs

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

Method returning the minimum

impl Min for Z0

type Output = Z0

The type of the minimum of Self and Rhs

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

Method returning the minimum

impl Mul<ATerm> for Z0

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

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>,

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

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 NInt<U>

N * Z0 = Z0

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 PInt<U>

P * Z0 = Z0

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

type Output = Z0

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl Ord for Z0

fn cmp(&self, other: &Z0) -> 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 + PartialOrd,

Restrict a value to a certain interval.

impl PartialEq for Z0

fn eq(&self, other: &Z0) -> 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 !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for Z0

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

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

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

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

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

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

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

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

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

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

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<U: Unsigned + NonZero> Pow<Z0> for NInt<U>

N^0 = 1

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

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

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

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 Z0

0^0 = 1

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

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

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

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 i16

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

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

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 i8

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 isize

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 Pow<Z0> for u16

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

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

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 u8

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 usize

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

type Output = Z0

The resulting type after applying the % operator.

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

Performs the % operation.

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

Z0 - N = P

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

type Output = NInt<U>

The resulting type after applying the - operator.

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

Performs the - operation.

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

NInt - Z0 = NInt

type Output = NInt<U>

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

type Output = PInt<U>

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub for Z0

Z0 - Z0 = Z0

type Output = Z0

The resulting type after applying the - operator.

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

Performs the - operation.

impl ToInt<i16> for Z0

fn to_int() -> i16

Method returning the concrete value for the type.

const INT: i16 = 0i16

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

impl ToInt<i32> for Z0

fn to_int() -> i32

Method returning the concrete value for the type.

const INT: i32 = 0i32

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

impl ToInt<i64> for Z0

fn to_int() -> i64

Method returning the concrete value for the type.

const INT: i64 = 0i64

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

impl ToInt<i8> for Z0

fn to_int() -> i8

Method returning the concrete value for the type.

const INT: i8 = 0i8

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

impl Copy for Z0

impl Eq for Z0

impl Sealed for Z0

impl StructuralPartialEq for Z0

impl Zero for Z0