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

PInt + Z0 = PInt

type Output = PInt

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 NInt

NInt + Z0 = NInt

type Output = NInt

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> 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> 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 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<U: Unsigned + NonZero> Cmp<Z0> for PInt

X > 0

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

-X < 0

type Output = Less

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

type Output = PInt

The greatest common divisor.

source

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

type Output = PInt

The greatest common divisor.

source

impl Gcd<Z0> for Z0

type Output = Z0

The greatest common divisor.

source

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

type Output = PInt

The greatest common divisor.

source

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

type Output = PInt

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,

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

source

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

type Output = Z0

The type of the maximum of Self and Rhs

source

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

Method returning the maximum

source

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

type Output = PInt

The type of the maximum of Self and Rhs

source

fn max(self, rhs: PInt) -> 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 Max<Z0> for PInt where
U: Unsigned + NonZero,

type Output = PInt

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

type Output = NInt

The type of the minimum of Self and Rhs

source

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

Method returning the minimum

source

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

type Output = Z0

The type of the minimum of Self and Rhs

source

fn min(self, _: PInt) -> 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 Min<Z0> for PInt 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 NInt where
U: Unsigned + NonZero,

type Output = NInt

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 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 Z0 where
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 PInt

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

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 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) -> Self

Compares and returns the maximum of two values. Read more

1.21.0 · source

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

Compares and returns the minimum of two values. Read more

1.50.0 · source

fn clamp(self, min: Self, max: Self) -> 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 ==. Read more

1.0.0 · source

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

This method tests for !=.

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

0^N = 0

type Output = Z0

The result of the exponentiation.

source

fn powi(self, _: NInt) -> 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> for Z0

0^P = 0

type Output = Z0

The result of the exponentiation.

source

fn powi(self, _: PInt) -> 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<U: Unsigned + NonZero> Pow<Z0> for PInt

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

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

Z0 - N = P

type Output = PInt

The resulting type after applying the - operator.

source

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

Performs the - operation. Read more

source

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

Z0 - P = N

type Output = NInt

The resulting type after applying the - operator.

source

fn sub(self, _: PInt) -> 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<U: Unsigned + NonZero> Sub<Z0> for PInt

PInt - Z0 = PInt

type Output = PInt

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 NInt

NInt - Z0 = NInt

type Output = NInt

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 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 T where
T: 'static + ?Sized,

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

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

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

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

const: unstable · source

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

Mutably borrows from an owned value. Read more

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

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

const: unstable · 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 M where
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 for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

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

Performs the conversion.

source

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

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

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

Performs the conversion.

Struct typenum::int::Z0

Implementations

impl Z0

pub fn new() -> Z0

Trait Implementations

impl Abs for Z0

type Output = Z0

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

type Output = I

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

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

type Output = PInt<U>

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

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

type Output = NInt<U>

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

impl Clone for Z0

fn clone(&self) -> Z0

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

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

type Output = Greater

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

type Output = Less

impl Cmp<Z0> for Z0

type Output = Equal

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

type Output = Greater

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

type Output = Less

impl Debug for Z0

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

impl Default for Z0

fn default() -> Z0

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

type Output = Z0

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

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

type Output = PInt<U>

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

type Output = PInt<U>

impl Gcd<Z0> for Z0

type Output = Z0

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

type Output = PInt<U>

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

type Output = PInt<U>

impl Hash for Z0

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

fn hash_slice<H>(data: &[Self], state: &mut H) where H: 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

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

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

type Output = PInt<U>

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

impl Max<Z0> for Z0

type Output = Z0

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

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

type Output = PInt<U>

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

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

type Output = Z0

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

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

type Output = NInt<U>

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

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

type Output = Z0

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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