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

Z0 + I = I

§

type Output = I

The resulting type after applying the + operator.
source§

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

Performs the + operation. Read more
source§

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.
source§

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

Performs the + operation. Read more
source§

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.
source§

fn add(self, _: Z0) -> <PInt<U> as Add<Z0>>::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> 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.
source§

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.
source§

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.
source§

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.
source§

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.
source§

impl Debug for Z0

source§

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

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> Div<I> for Z0
where I: Integer + NonZero,

Z0 / I = Z0 where I != 0

§

type Output = Z0

The resulting type after applying the / operator.
source§

fn div(self, _: I) -> <Z0 as Div<I>>::Output

Performs the / operation. Read more
source§

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

§

type Output = PInt<U>

The greatest common divisor.
source§

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

§

type Output = PInt<U>

The greatest common divisor.
source§

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

§

type Output = PInt<U>

The greatest common divisor.
source§

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

§

type Output = PInt<U>

The greatest common divisor.
source§

impl Gcd<Z0> for Z0

§

type Output = Z0

The greatest common divisor.
source§

impl Hash for Z0

source§

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

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, Self: Sized,

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

impl Integer for Z0

source§

const I8: i8 = 0i8

source§

const I16: i16 = 0i16

source§

const I32: i32 = 0i32

source§

const I64: i64 = 0i64

source§

const ISIZE: isize = 0isize

source§

fn to_i8() -> i8

source§

fn to_i16() -> i16

source§

fn to_i32() -> i32

source§

fn to_i64() -> i64

source§

fn to_isize() -> isize

source§

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

§

type Output = Z0

The type of the maximum of Self and Rhs
source§

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

Method returning the maximum
source§

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

§

type Output = PInt<U>

The type of the maximum of Self and Rhs
source§

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

Method returning the maximum
source§

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

§

type Output = Z0

The type of the maximum of Self and Rhs
source§

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

Method returning the maximum
source§

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

§

type Output = PInt<U>

The type of the maximum of Self and Rhs
source§

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

Method returning the maximum
source§

impl Max for Z0

§

type Output = Z0

The type of the maximum of Self and Rhs
source§

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

Method returning the maximum
source§

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

§

type Output = NInt<U>

The type of the minimum of Self and Rhs
source§

fn min(self, rhs: NInt<U>) -> <Z0 as Min<NInt<U>>>::Output

Method returning the minimum
source§

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

§

type Output = Z0

The type of the minimum of Self and Rhs
source§

fn min(self, _: PInt<U>) -> <Z0 as Min<PInt<U>>>::Output

Method returning the minimum
source§

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

§

type Output = NInt<U>

The type of the minimum of Self and Rhs
source§

fn min(self, _: Z0) -> <NInt<U> as Min<Z0>>::Output

Method returning the minimum
source§

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

§

type Output = Z0

The type of the minimum of Self and Rhs
source§

fn min(self, rhs: Z0) -> <PInt<U> as Min<Z0>>::Output

Method returning the minimum
source§

impl Min for Z0

§

type Output = Z0

The type of the minimum of Self and Rhs
source§

fn min(self, _: Z0) -> <Z0 as Min>::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) -> <Z0 as Mul<ATerm>>::Output

Performs the * operation. Read more
source§

impl<I> Mul<I> for Z0
where I: Integer,

Z0 * I = Z0

§

type Output = Z0

The resulting type after applying the * operator.
source§

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

Performs the * operation. Read more
source§

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

N * Z0 = Z0

§

type Output = Z0

The resulting type after applying the * operator.
source§

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

Performs the * operation. Read more
source§

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

P * Z0 = Z0

§

type Output = Z0

The resulting type after applying the * operator.
source§

fn mul(self, _: Z0) -> <PInt<U> as Mul<Z0>>::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) -> <Z0 as Neg>::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
where Self: Sized,

Compares and returns the maximum of two values. Read more
1.21.0 · source§

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

Compares and returns the minimum of two values. Read more
1.50.0 · source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized + PartialOrd,

Restrict a value to a certain interval. Read more
source§

impl PartialEq for Z0

source§

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

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

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.
source§

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

0^N = 0

§

type Output = Z0

The result of the exponentiation.
source§

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. Read more
source§

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

0^P = 0

§

type Output = Z0

The result of the exponentiation.
source§

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. Read more
source§

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.
source§

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. Read more
source§

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.
source§

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. 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) -> <Z0 as Pow<Z0>>::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> Rem<I> for Z0
where I: Integer + NonZero,

Z0 % I = Z0 where I != 0

§

type Output = Z0

The resulting type after applying the % operator.
source§

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

Performs the % operation. Read more
source§

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.
source§

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

Performs the - operation. Read more
source§

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.
source§

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

Performs the - operation. Read more
source§

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.
source§

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

Performs the - operation. Read more
source§

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.
source§

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

Performs the - operation. Read more
source§

impl Sub for Z0

Z0 - Z0 = Z0

§

type Output = Z0

The resulting type after applying the - operator.
source§

fn sub(self, _: Z0) -> <Z0 as Sub>::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 StructuralPartialEq for Z0

source§

impl Zero for Z0

Auto Trait Implementations§

§

impl Freeze for Z0

§

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,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

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

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

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

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

§

type Output = T

Should always be Self
source§

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

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

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

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

Performs the conversion.
source§

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

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

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

Performs the conversion.