Struct diffgeom::typenum::Z0

pub struct Z0;

The type-level signed integer 0.

Methods

impl Z0

fn new() -> Z0

Instantiates a singleton representing the integer 0.

Trait Implementations

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

0 < X

type Output = Less

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

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

0 > -X

type Output = Greater

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

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<I> Add<I> for Z0 where
    I: Integer, 

Z0 + I = I

type Output = I

The resulting type after applying the + operator

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

The method for the + operator

impl Debug for Z0

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

Formats the value using the given formatter.

impl Neg for Z0

-Z0 = Z0

type Output = Z0

fn neg(self) -> <Z0 as Neg>::Output

impl Pow<Z0> for Z0

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

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: NonZero + Unsigned, 

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

impl Min<Z0> for Z0

type Output = Z0

The type of the minimum of Self and Rhs

fn min(self, Z0) -> <Z0 as Min<Z0>>::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<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<I> Rem<I> for Z0 where
    I: NonZero + Integer, 

Z0 % I = Z0 where I != 0

type Output = Z0

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

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<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, TArr<V, A>) -> <Z0 as Mul<TArr<V, A>>>::Output

The method for the * operator

impl Mul<ATerm> for Z0

type Output = ATerm

The resulting type after applying the * operator

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

The method for the * operator

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

The method for the * operator

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

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

The method for the / operator

impl Default for Z0

fn default() -> Z0

impl PartialOrd<Z0> for Z0

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

impl Hash for Z0

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

impl PartialEq<Z0> for Z0

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

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

type Output = Z0

The type of the maximum of Self and Rhs

fn max(self, Z0) -> <Z0 as Max<Z0>>::Output

Method returning the maximum

impl Abs for Z0

type Output = Z0

The absolute value.

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

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

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) -> <Z0 as Sub<Z0>>::Output

The method for the - operator

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

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

The method for the - operator

impl Ord for Z0

fn cmp(&self, __arg_0: &Z0) -> Ordering

impl Copy for Z0