Struct NonValueI32 

pub struct NonValueI32<const V: i32>(/* private fields */);

𝟙 ⚗️ A signed integer that is known not to equal some specific value.

It has the same memory layout optimization as NonZeroI32, so that Option<NonValueI32> is the same size as NonValueI32.

Examples

assert![NonValueI8::<13>::new(13).is_none()];
assert![NonValueI8::<13>::new(12).unwrap().get() == 12];

See also NonExtremeI32.

Implementations

impl<const V: i32> NonValueI32<V>

pub const MAX: NonValueI32<V>

Returns the maximum possible value.

pub const MIN: NonValueI32<V>

Returns the minimum possible value.

pub const VALID_VALUES: i32 = 2_147_483_647i32

Returns the number of valid values.

pub const INVALID_VALUES: i32 = 1i32

Returns the number of invalid values.

pub const fn new(value: i32) -> Option<NonValueI32<V>>

Returns a NonValueI32 with the given value, if it is not equal to V.

pub const fn new_lossy(value: i32) -> NonValueI32<V>

Creates a non-value integer, automatically converting the prohibited value V to the closest valid number (V-1 for most cases, V+1 for MIN).

Guarantees

• For unsigned MAX: V-1 → stored as !(V-1)
• For signed MIN: V+1 → stored as (V+1) ^ MIN
• All others: V-1 → stored as (V-1) ^ V

Features

• Can use the unsafe_niche feature internally.

Example

let x = assert_eq![NonValueU8::<255>::new_lossy(255).get(), 254];
let y = assert_eq![NonValueI8::<-128>::new_lossy(-128).get(), -127];

pub const unsafe fn new_unchecked(value: i32) -> NonValueI32<V>

Returns a NonValueI32 if the given value if it is not equal to V.

Panics

Panics in debug if the given value is equal to V.

Safety

The given value must never be equal to V.

pub const fn get(&self) -> i32

Returns the value as a primitive type.

pub const fn is_max(&self) -> bool

Returns true if it is equal to the maximum value (MAX).

pub const fn is_min(&self) -> bool

Returns true if it is equal to the minimum value (MIN).

pub const fn checked_add( &self, other: i32, ) -> Result<NonValueI32<V>, NicheValueError>

Checked integer addition. Computes self + rhs.

Errors

Returns Overflow if the operations overflows, or InvalidValue if the result equals the forbidden value V.

pub const fn checked_sub( &self, other: i32, ) -> Result<NonValueI32<V>, NicheValueError>

Checked integer substration. Computes self - rhs.

Errors

Returns Overflow if the operations overflows, or InvalidValue if the result equals the forbidden value V.

pub const fn strict_add(&self, other: i32) -> NonValueI32<V>

Strict integer addition. Computes self + rhs.

Panics

Panics on overflow or if the result equals the forbidden value V.

pub const fn strict_sub(&self, other: i32) -> NonValueI32<V>

Strict integer substration. Computes self - rhs.

Panics

Panics on overflow or if the result equals the forbidden value V.

pub const fn saturating_add(&self, other: i32) -> NonValueI32<V>

Saturating integer addition. Computes self + rhs.

Saturates at the numeric bounds instead of overflowing. If the result would equal V it will return V - 1.

pub const fn saturating_sub(&self, other: i32) -> NonValueI32<V>

Saturating integer substration. Computes self - rhs.

Saturates at the numeric bounds instead of overflowing. If the result would equal V it will return V + 1.

pub const fn wrapping_add(&self, other: i32) -> NonValueI32<V>

Wraping integer addition. Computes self + rhs.

Wraps at the numeric bounds instead of overflowing. If the result would equal V it will return V + 1.

pub const fn wrapping_sub(&self, other: i32) -> NonValueI32<V>

Wraping integer subtraction. Computes self - rhs.

Wraps at the numeric bounds instead of overflowing. If the result would equal V it will return V - 1.

Trait Implementations

impl<const V: i32> Binary for NonValueI32<V>

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

Formats the value using the given formatter.

impl<const V: i32> BitSized<{<$IP>::BYTE_SIZE * 8}> for NonValueI32<V>

const BIT_SIZE: usize = _

The bit size of this type (only the relevant data part, without padding).

const MIN_BYTE_SIZE: usize = _

The rounded up byte size for this type.

fn bit_size(&self) -> usize

Returns the bit size of this type (only the relevant data part, without padding).

fn min_byte_size(&self) -> usize

Returns the rounded up byte size for this type.

impl<const V: i32> Clone for NonValueI32<V>

fn clone(&self) -> NonValueI32<V>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<const V: i32> Debug for NonValueI32<V>

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

Formats the value using the given formatter.

impl Default for NonValueI32<devela_base_core::::num::niche::mem::non_value::__impls_NonValueI32::NonExtremeI32::{constant#0}>

fn default() -> NonValueI32<devela_base_core::::num::niche::mem::non_value::__impls_NonValueI32::NonExtremeI32::{constant#0}>

Features

Makes use of the unsafe_niche feature if enabled.

impl<const V: i32> Display for NonValueI32<V>

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

Formats the value using the given formatter.

impl<const V: i32> From<NonValueI32<V>> for i32

fn from(value: NonValueI32<V>) -> i32

Converts to this type from the input type.

impl<const V: i32> FromStr for NonValueI32<V>

type Err = ParseIntError

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<NonValueI32<V>, <NonValueI32<V> as FromStr>::Err>

Parses a string s to return a value of this type.

impl<const V: i32> Hash for NonValueI32<V>

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

where __H: Hasher,

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<const V: i32> LowerHex for NonValueI32<V>

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

Formats the value using the given formatter.

impl<const V: i32> Octal for NonValueI32<V>

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

Formats the value using the given formatter.

impl<const V: i32> Ord for NonValueI32<V>

fn cmp(&self, other: &NonValueI32<V>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

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

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl<const V: i32> PartialEq for NonValueI32<V>

fn eq(&self, other: &NonValueI32<V>) -> 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<const V: i32> PartialOrd for NonValueI32<V>

fn partial_cmp(&self, other: &NonValueI32<V>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<const V: i32> TryFrom<i32> for NonValueI32<V>

fn try_from( value: i32, ) -> Result<NonValueI32<V>, <NonValueI32<V> as TryFrom<i32>>::Error>

Features

Makes use of the unsafe_niche feature if enabled.

type Error = TryFromIntError

The type returned in the event of a conversion error.

impl<const V: i32> UpperHex for NonValueI32<V>

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

Formats the value using the given formatter.

impl<const V: i32> Copy for NonValueI32<V>

impl<const V: i32> Eq for NonValueI32<V>

impl<const V: i32> StructuralPartialEq for NonValueI32<V>