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 Add 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>::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 Cmp<NInt> 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

fn compare<IM>(&self, &NInt) -> <Z0 as Cmp<NInt>>::Output where
IM: InternalMarker,

source

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

fn compare<IM>(&self, &PInt) -> <Z0 as Cmp<PInt>>::Output where
IM: InternalMarker,

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

fn compare<IM>(&self, &Z0) -> <Z0 as Cmp<Z0>>::Output where
IM: InternalMarker,

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 Div 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>::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 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,

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

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

0^N = 0

type Output = Z0

The result of the exponentiation.

source

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

0^P = 0

type Output = Z0

The result of the exponentiation.

source

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

Performs the % operation. Read more

source

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

Z0 - N = P

type Output = PInt

The resulting type after applying the - operator.

source

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

Performs the - operation. Read more

source

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

Z0 - P = N

type Output = NInt

The resulting type after applying the - operator.

source

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

impl ToInt<i32> for Z0

source

fn to_int() -> i32

Method returning the concrete value for the type.

source

impl ToInt<i64> for Z0

source

fn to_int() -> i64

Method returning the concrete value for the type.

source

impl ToInt<i8> for Z0

source

fn to_int() -> i8

Method returning the concrete value for the type.

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

🔬 This is a nightly-only experimental API. (toowned_clone_into)

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

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 digest::consts::Z0

Implementations

impl Z0

pub fn new() -> Z0

Trait Implementations

impl Abs for Z0

type Output = Z0

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

type Output = I

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

impl Clone for Z0

fn clone(&self) -> Z0

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

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

type Output = Greater

fn compare<IM>(&self, &NInt<U>) -> <Z0 as Cmp<NInt<U>>>::Output where IM: InternalMarker,

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

type Output = Less

fn compare<IM>(&self, &PInt<U>) -> <Z0 as Cmp<PInt<U>>>::Output where IM: InternalMarker,

impl Cmp<Z0> for Z0

type Output = Equal

fn compare<IM>(&self, &Z0) -> <Z0 as Cmp<Z0>>::Output where IM: InternalMarker,

impl Debug for Z0

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

impl Default for Z0

fn default() -> Z0

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

type Output = Z0

fn div(self, I) -> <Z0 as Div<I>>::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 Hash for Z0

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

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

impl Integer for Z0

const I8: i8

const I16: i16

const I32: i32

const I64: i64

const ISIZE: isize

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

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

type Output = PInt<U>

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

impl Max<Z0> for Z0

type Output = Z0

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

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

type Output = NInt<U>

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

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

type Output = Z0

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

impl Min<Z0> for Z0

type Output = Z0

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

impl Mul<ATerm> for Z0

type Output = ATerm

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

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

type Output = Z0

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

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

type Output = TArr<Z0, <Z0 as Mul<A>>::Output>

fn mul(self, rhs: TArr<V, A>) -> <Z0 as Mul<TArr<V, A>>>::Output

impl Neg for Z0

type Output = Z0

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

impl Ord for Z0

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

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

fn compare<IM>(&self, &NInt<U>) -> <Z0 as Cmp<NInt<U>>>::Output where
IM: InternalMarker,

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

fn compare<IM>(&self, &PInt<U>) -> <Z0 as Cmp<PInt<U>>>::Output where
IM: InternalMarker,

fn compare<IM>(&self, &Z0) -> <Z0 as Cmp<Z0>>::Output where
IM: InternalMarker,

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<T> Any for T where
T: 'static + ?Sized,

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

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