Enum AllIntegers 

#[non_exhaustive]
pub enum AllIntegers {
    Integer(Integers),
    NonZero(NonZeroIntegers),
    Positive(PositiveIntegers),
    NonNegative(NonNegativeIntegers),
    Negative(NegativeIntegers),
    NonPositive(NonPositiveIntegers),
    Prime(Primes),
}

The family of all kinds of integers, also known as AllZ.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Integer(Integers)

NonZero(NonZeroIntegers)

Positive(PositiveIntegers)

NonNegative(NonNegativeIntegers)

Negative(NegativeIntegers)

NonPositive(NonPositiveIntegers)

Prime(Primes)

Trait Implementations

impl Bound for AllIntegers

This implementation defers to the actual integer variant.

fn is_lower_bounded(&self) -> bool

Returns true if the number is lower bounded.

fn is_upper_bounded(&self) -> bool

Returns true if the number is upper bounded.

fn lower_bound(&self) -> Option<Self>

Returns the lower bound, if any.

fn upper_bound(&self) -> Option<Self>

Returns the upper bound, if any.

impl Clone for AllIntegers

fn clone(&self) -> AllIntegers

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Count for AllIntegers

fn is_countable(&self) -> bool

All integers are countable.

fn is_uncountable(&self) -> bool

Returns false if the number is countable.

impl Countable for AllIntegers

This implementation defers to the actual integer variant.

fn next(&self) -> NumeraResult<Self>

Returns the next countable value.

fn previous(&self) -> NumeraResult<Self>

Returns the previous countable value.

impl Debug for AllIntegers

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

Formats the value using the given formatter.

impl<N: Number> From<AllIntegers> for AllNumbers<N>

fn from(n: AllIntegers) -> AllNumbers<N>

Converts to this type from the input type.

impl From<Integers> for AllIntegers

fn from(z: Integers) -> AllIntegers

Converts to this type from the input type.

impl From<NegativeIntegers> for AllIntegers

fn from(z: NegativeIntegers) -> AllIntegers

Converts to this type from the input type.

impl From<NonNegativeIntegers> for AllIntegers

fn from(z: NonNegativeIntegers) -> AllIntegers

Converts to this type from the input type.

impl From<NonPositiveIntegers> for AllIntegers

fn from(z: NonPositiveIntegers) -> AllIntegers

Converts to this type from the input type.

impl From<NonZeroIntegers> for AllIntegers

fn from(z: NonZeroIntegers) -> AllIntegers

Converts to this type from the input type.

impl From<PositiveIntegers> for AllIntegers

fn from(z: PositiveIntegers) -> AllIntegers

Converts to this type from the input type.

impl From<Primes> for AllIntegers

fn from(z: Primes) -> AllIntegers

Converts to this type from the input type.

impl Ident for AllIntegers

This implementation defers to the actual integer variant.

fn can_zero(&self) -> bool

Returns true if the number can represent 0, the additive identity.

fn can_one(&self) -> bool

Returns true if the number can represent 1, the multiplicative identity.

fn can_neg_one(&self) -> bool

Returns true if the number can represent -1, the additive inverse of the multiplicative identity.

fn is_zero(&self) -> bool

Returns true if the current value is 0. the additive identity.

fn is_one(&self) -> bool

Returns true if the current value is 1, the multiplicative identity.

fn is_neg_one(&self) -> bool

Returns true if the current value is -1, the additive inverse of the multiplicative identity.

impl Number for AllIntegers

This implementation is no-op.

type InnerRepr = AllIntegers

The inner primitive representation of the number.

type InnermostRepr = AllIntegers

The innermost primitive representation of the number.

fn from_inner_repr(value: AllIntegers) -> NumeraResult<Self>

Forms a new number from its given inner representation.

unsafe fn from_inner_repr_unchecked(value: AllIntegers) -> Self

Available on crate feature not(safe) only.

Forms a new number from its given inner representation.

fn from_innermost_repr(value: AllIntegers) -> NumeraResult<Self>

Forms a new number from its innermost representation.

unsafe fn from_innermost_repr_unchecked(value: AllIntegers) -> Self

Available on crate feature not(safe) only.

Forms a new number from its innermost representation.

fn into_inner_repr(self) -> Self::InnerRepr

Deconstructs the number to its inner representation.

fn into_innermost_repr(self) -> Self::InnermostRepr

Deconstructs the number to its innermost representation.

fn try_from_inner_repr(inner: impl Into<Self::InnerRepr>) -> NumeraResult<Self>

where Self: Sized,

Forms a new number from its converted given inner representation.

impl PartialEq for AllIntegers

fn eq(&self, other: &AllIntegers) -> 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 Sign for AllIntegers

This implementation defers to the actual integer variant.

fn can_positive(&self) -> bool

Returns true if the type can represent positive numbers.

fn can_negative(&self) -> bool

Returns true if the type can represent negative numbers.

fn is_positive(&self) -> bool

Returns true if the value is positive (> 0).

fn is_negative(&self) -> bool

Returns true if the value is negative (< 0).

impl TryFrom<AllIntegers> for Integers

type Error = NumeraErrors

The type returned in the event of a conversion error.

fn try_from(z: AllIntegers) -> Result<Integers, Self::Error>

Performs the conversion.

impl TryFrom<AllIntegers> for NegativeIntegers

type Error = NumeraErrors

The type returned in the event of a conversion error.

fn try_from(z: AllIntegers) -> Result<NegativeIntegers, Self::Error>

Performs the conversion.

impl TryFrom<AllIntegers> for NonNegativeIntegers

type Error = NumeraErrors

The type returned in the event of a conversion error.

fn try_from(z: AllIntegers) -> Result<NonNegativeIntegers, Self::Error>

Performs the conversion.

impl TryFrom<AllIntegers> for NonPositiveIntegers

type Error = NumeraErrors

The type returned in the event of a conversion error.

fn try_from(z: AllIntegers) -> Result<NonPositiveIntegers, Self::Error>

Performs the conversion.

impl TryFrom<AllIntegers> for NonZeroIntegers

type Error = NumeraErrors

The type returned in the event of a conversion error.

fn try_from(z: AllIntegers) -> Result<NonZeroIntegers, Self::Error>

Performs the conversion.

impl TryFrom<AllIntegers> for PositiveIntegers

type Error = NumeraErrors

The type returned in the event of a conversion error.

fn try_from(z: AllIntegers) -> Result<PositiveIntegers, Self::Error>

Performs the conversion.

impl TryFrom<AllIntegers> for Primes

type Error = NumeraErrors

The type returned in the event of a conversion error.

fn try_from(z: AllIntegers) -> Result<Primes, Self::Error>

Performs the conversion.

impl<N: Number> TryFrom<AllNumbers<N>> for AllIntegers

type Error = NumeraErrors

The type returned in the event of a conversion error.

fn try_from(n: AllNumbers<N>) -> Result<AllIntegers, Self::Error>

Performs the conversion.

impl Eq for AllIntegers

impl StructuralPartialEq for AllIntegers