Enum typenum::int::Z0

pub enum Z0 {}

The type-level signed integer 0.

Trait Implementations

impl PartialEq for Z0

fn eq(&self, _: &Self) -> 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 !=.

impl Eq for Z0

impl PartialOrd for Z0

fn partial_cmp(&self, _: &Self) -> 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 Ord for Z0

fn cmp(&self, _: &Self) -> Ordering

This method returns an Ordering between self and other.

impl Clone for Z0

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for Z0

impl Hash for Z0

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

Feeds this value into the state given, updating the hasher as necessary.

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

Feeds a slice of this type into the state provided.

impl Default for Z0

fn default() -> Self

Returns the "default value" for a type.

impl Debug for Z0

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

Formats the value using the given formatter.

impl Integer for Z0

fn to_i8() -> i8

fn to_i16() -> i16

fn to_i32() -> i32

fn to_i64() -> i64

fn to_isize() -> isize

impl Neg for Z0

-Z0 = Z0

type Output = Z0

The resulting type after applying the - operator

fn neg(self) -> Self::Output

The method for the unary - operator

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

Z0 + I = I

type Output = I

The resulting type after applying the + operator

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

The method for the + operator

impl Sub<Z0> for Z0

Z0 - Z0 = Z0

type Output = Z0

The resulting type after applying the - operator

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

The method for the - operator

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

The method for the - operator

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

The method for the - operator

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

The method for the * operator

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

The method for the / operator

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.

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

The method for the % operator

impl Pow<Z0> for Z0

0⁰ = 1

type Output = P1

The result of the exponentiation.

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

0^P = 0

type Output = Z0

The result of the exponentiation.

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

0^N = 0

type Output = Z0

The result of the exponentiation.