Struct 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> Add<I> for Z0

where I: Integer,

Z0 + I = I

type Output = I

The resulting type after applying the + operator.

fn add(self, rhs: I) -> <Z0 as Add<I>>::Output

Performs the + operation.

impl<U> Add<Z0> for NInt<U>

where U: Unsigned + NonZero,

NInt + Z0 = NInt

type Output = NInt<U>

The resulting type after applying the + operator.

fn add(self, _: Z0) -> <NInt<U> as Add<Z0>>::Output

Performs the + operation.

impl<U> Add<Z0> for PInt<U>

where U: Unsigned + NonZero,

PInt + Z0 = PInt

type Output = PInt<U>

The resulting type after applying the + operator.

fn add(self, _: Z0) -> <PInt<U> as Add<Z0>>::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> Cmp<NInt<U>> for Z0

where U: Unsigned + NonZero,

0 > -X

type Output = Greater

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

impl<U> Cmp<PInt<U>> for Z0

where U: Unsigned + NonZero,

0 < X

type Output = Less

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

impl<U> Cmp<Z0> for NInt<U>

where U: Unsigned + NonZero,

-X < 0

type Output = Less

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

impl<U> Cmp<Z0> for PInt<U>

where U: Unsigned + NonZero,

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<(), Error>

Formats the value using the given formatter.

impl Default for Z0

fn default() -> Z0

Returns the “default value” for a type.

impl<I> Div<I> for Z0

where I: Integer + NonZero,

Z0 / I = Z0 where I != 0

type Output = Z0

The resulting type after applying the / operator.

fn div(self, _: I) -> <Z0 as Div<I>>::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>(&self, state: &mut __H)

where __H: Hasher,

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>) -> <Z0 as Max<NInt<U>>>::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>) -> <Z0 as Max<PInt<U>>>::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) -> <NInt<U> as Max<Z0>>::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) -> <PInt<U> as Max<Z0>>::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) -> <Z0 as Max>::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>) -> <Z0 as Min<NInt<U>>>::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>) -> <Z0 as Min<PInt<U>>>::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) -> <NInt<U> as Min<Z0>>::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) -> <PInt<U> as Min<Z0>>::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) -> <Z0 as Min>::Output

Method returning the minimum

impl Mul<ATerm> for Z0

type Output = ATerm

The resulting type after applying the * operator.

fn mul(self, _: ATerm) -> <Z0 as Mul<ATerm>>::Output

Performs the * operation.

impl<I> Mul<I> for Z0

where I: Integer,

Z0 * I = Z0

type Output = Z0

The resulting type after applying the * operator.

fn mul(self, _: I) -> <Z0 as Mul<I>>::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>) -> <Z0 as Mul<TArr<V, A>>>::Output

Performs the * operation.

impl<U> Mul<Z0> for NInt<U>

where U: Unsigned + NonZero,

N * Z0 = Z0

type Output = Z0

The resulting type after applying the * operator.

fn mul(self, _: Z0) -> <NInt<U> as Mul<Z0>>::Output

Performs the * operation.

impl<U> Mul<Z0> for PInt<U>

where U: Unsigned + NonZero,

P * Z0 = Z0

type Output = Z0

The resulting type after applying the * operator.

fn mul(self, _: Z0) -> <PInt<U> as Mul<Z0>>::Output

Performs the * operation.

impl Neg for Z0

-Z0 = Z0

type Output = Z0

The resulting type after applying the - operator.

fn neg(self) -> <Z0 as Neg>::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,

Restrict a value to a certain interval.

impl PartialEq for Z0

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

Tests for self and other values to be equal, and is used by ==.

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

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

Tests less than (for self and other) and is used by the < operator.

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

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

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

Tests greater than (for self and other) and is used by the > operator.

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

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

impl<U> Pow<NInt<U>> for Z0

where U: Unsigned + NonZero,

0^N = 0

type Output = Z0

The result of the exponentiation.

fn powi(self, _: NInt<U>) -> <Z0 as Pow<NInt<U>>>::Output

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

impl<U> Pow<PInt<U>> for Z0

where U: Unsigned + NonZero,

0^P = 0

type Output = Z0

The result of the exponentiation.

fn powi(self, _: PInt<U>) -> <Z0 as Pow<PInt<U>>>::Output

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

impl<U> Pow<Z0> for NInt<U>

where U: Unsigned + NonZero,

N^0 = 1

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

The result of the exponentiation.

fn powi(self, _: Z0) -> <NInt<U> as Pow<Z0>>::Output

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

impl<U> Pow<Z0> for PInt<U>

where U: Unsigned + NonZero,

P^0 = 1

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

The result of the exponentiation.

fn powi(self, _: Z0) -> <PInt<U> as Pow<Z0>>::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) -> <Z0 as Pow<Z0>>::Output

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

impl<I> Rem<I> for Z0

where I: Integer + NonZero,

Z0 % I = Z0 where I != 0

type Output = Z0

The resulting type after applying the % operator.

fn rem(self, _: I) -> <Z0 as Rem<I>>::Output

Performs the % operation.

impl<U> Sub<NInt<U>> for Z0

where U: Unsigned + NonZero,

Z0 - N = P

type Output = PInt<U>

The resulting type after applying the - operator.

fn sub(self, _: NInt<U>) -> <Z0 as Sub<NInt<U>>>::Output

Performs the - operation.

impl<U> Sub<PInt<U>> for Z0

where U: Unsigned + NonZero,

Z0 - P = N

type Output = NInt<U>

The resulting type after applying the - operator.

fn sub(self, _: PInt<U>) -> <Z0 as Sub<PInt<U>>>::Output

Performs the - operation.

impl<U> Sub<Z0> for NInt<U>

where U: Unsigned + NonZero,

NInt - Z0 = NInt

type Output = NInt<U>

The resulting type after applying the - operator.

fn sub(self, _: Z0) -> <NInt<U> as Sub<Z0>>::Output

Performs the - operation.

impl<U> Sub<Z0> for PInt<U>

where U: Unsigned + NonZero,

PInt - Z0 = PInt

type Output = PInt<U>

The resulting type after applying the - operator.

fn sub(self, _: Z0) -> <PInt<U> as Sub<Z0>>::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) -> <Z0 as Sub>::Output

Performs the - operation.

impl ToInt<i16> for Z0

const INT: i16 = 0i16

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

fn to_int() -> i16

Method returning the concrete value for the type.

impl ToInt<i32> for Z0

const INT: i32 = 0i32

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

fn to_int() -> i32

Method returning the concrete value for the type.

impl ToInt<i64> for Z0

const INT: i64 = 0i64

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

fn to_int() -> i64

Method returning the concrete value for the type.

impl ToInt<i8> for Z0

const INT: i8 = 0i8

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

fn to_int() -> i8

Method returning the concrete value for the type.

impl Copy for Z0

impl Eq for Z0

impl StructuralPartialEq for Z0

impl Zero for Z0

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 0 bytes