The type-level signed integer 0.
impl Z0
pub fn new() -> Z0
Instantiates a singleton representing the integer 0.
impl Abs for Z0
impl<I> Add<I> for Z0 where
I: Integer,
The resulting type after applying the +
operator.
pub fn add(self, rhs: I) -> <Z0 as Add<I>>::Output
impl<U> Cmp<NInt<U>> for Z0 where
U: Unsigned + NonZero,
type Output = Greater
The result of the comparison. It should only ever be one of Greater
, Less
, or Equal
.
pub 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,
The result of the comparison. It should only ever be one of Greater
, Less
, or Equal
.
pub fn compare<IM>(&self, &PInt<U>) -> <Z0 as Cmp<PInt<U>>>::Output where
IM: InternalMarker,
impl Cmp<Z0> for Z0
type Output = Equal
The result of the comparison. It should only ever be one of Greater
, Less
, or Equal
.
pub fn compare<IM>(&self, &Z0) -> <Z0 as Cmp<Z0>>::Output where
IM: InternalMarker,
Formats the value using the given formatter. Read more
Returns the “default value” for a type. Read more
impl<I> Div<I> for Z0 where
I: Integer + NonZero,
The resulting type after applying the /
operator.
pub fn div(self, I) -> <Z0 as Div<I>>::Output
impl Eq for Z0
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 Gcd<Z0> for Z0
The greatest common divisor.
impl Integer for Z0
impl<U> Max<NInt<U>> for Z0 where
U: Unsigned + NonZero,
The type of the maximum of Self
and Rhs
pub 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
pub fn max(self, rhs: PInt<U>) -> <Z0 as Max<PInt<U>>>::Output
Method returning the maximum
impl Max<Z0> for Z0
The type of the maximum of Self
and Rhs
pub fn max(self, Z0) -> <Z0 as Max<Z0>>::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
pub 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,
The type of the minimum of Self
and Rhs
pub fn min(self, PInt<U>) -> <Z0 as Min<PInt<U>>>::Output
Method returning the minimum
impl Min<Z0> for Z0
The type of the minimum of Self
and Rhs
pub fn min(self, Z0) -> <Z0 as Min<Z0>>::Output
Method returning the minimum
impl Mul<ATerm> for Z0
type Output = ATerm
The resulting type after applying the *
operator.
pub fn mul(self, ATerm) -> <Z0 as Mul<ATerm>>::Output
impl<I> Mul<I> for Z0 where
I: Integer,
The resulting type after applying the *
operator.
pub fn mul(self, I) -> <Z0 as Mul<I>>::Output
impl<V, A> Mul<TArr<V, A>> for Z0 where
Z0: Mul<A>,
The resulting type after applying the *
operator.
pub fn mul(self, rhs: TArr<V, A>) -> <Z0 as Mul<TArr<V, A>>>::Output
The resulting type after applying the -
operator.
pub fn cmp(&self, other: &Z0) -> Ordering
#[must_use]
pub fn max(self, other: Self) -> Self
1.21.0[src]
Compares and returns the maximum of two values. Read more
#[must_use]
pub fn min(self, other: Self) -> Self
1.21.0[src]
Compares and returns the minimum of two values. Read more
#[must_use]
pub fn clamp(self, min: Self, max: Self) -> Self
1.50.0[src]
Restrict a value to a certain interval. Read more
pub fn eq(&self, other: &Z0) -> bool
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
#[must_use]
pub fn ne(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests for !=
.
This method returns an ordering between self
and other
values if one exists. Read more
#[must_use]
pub fn lt(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests less than (for self
and other
) and is used by the <
operator. Read more
#[must_use]
pub fn le(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
#[must_use]
pub fn gt(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
#[must_use]
pub fn ge(&self, other: &Rhs) -> bool
1.0.0[src]
This method tests greater than or equal to (for self
and other
) and is used by the >=
operator. Read more
impl<U> Pow<NInt<U>> for Z0 where
U: Unsigned + NonZero,
The result of the exponentiation.
pub 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
impl<U> Pow<PInt<U>> for Z0 where
U: Unsigned + NonZero,
The result of the exponentiation.
pub 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
impl Pow<Z0> for Z0
type Output = PInt<UInt<UTerm, B1>>
The result of the exponentiation.
pub 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
impl<I> Rem<I> for Z0 where
I: Integer + NonZero,
The resulting type after applying the %
operator.
pub fn rem(self, I) -> <Z0 as Rem<I>>::Output
impl<U> Sub<NInt<U>> for Z0 where
U: Unsigned + NonZero,
type Output = PInt<U>
The resulting type after applying the -
operator.
pub fn sub(self, NInt<U>) -> <Z0 as Sub<NInt<U>>>::Output
impl<U> Sub<PInt<U>> for Z0 where
U: Unsigned + NonZero,
type Output = NInt<U>
The resulting type after applying the -
operator.
pub fn sub(self, PInt<U>) -> <Z0 as Sub<PInt<U>>>::Output
The resulting type after applying the -
operator.
impl ToInt<i16> for Z0
Method returning the concrete value for the type.
impl ToInt<i32> for Z0
Method returning the concrete value for the type.
impl ToInt<i64> for Z0
Method returning the concrete value for the type.
impl ToInt<i8> for Z0
Method returning the concrete value for the type.
impl Zero for Z0
impl<T> Any for T where
T: 'static + ?Sized,
[src]
Immutably borrows from an owned value. Read more
Mutably borrows from an owned value. Read more
impl<T, U> Into<U> for T where
U: From<T>,
[src]
impl<M, N> PartialDiv<N> for M where
M: Integer + Div<N> + Rem<N, Output = Z0>,
The type of the result of the division
pub fn partial_div(self, rhs: N) -> <M as PartialDiv<N>>::Output
Method for performing the division
impl<T> Same<T> for T
The resulting type after obtaining ownership.
Creates owned data from borrowed data, usually by cloning. Read more
🔬 This is a nightly-only experimental API. (toowned_clone_into
)
recently added
Uses borrowed data to replace owned data, usually by cloning. Read more
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
The type returned in the event of a conversion error.
The type returned in the event of a conversion error.