Struct IsizeCO 

pub struct IsizeCO { /* private fields */ }

Implementations

impl IsizeCO

pub const fn try_new(start: isize, end_excl: isize) -> Option<Self>

pub const unsafe fn new_unchecked(start: isize, end_excl: isize) -> Self

pub const fn checked_from_midpoint_len(mid: isize, len: usize) -> Option<Self>

Constructs an IsizeCO interval from a midpoint and length (usize).

Parameters

• mid: the desired midpoint of the interval
• len: the desired length of the interval in units, must be 1..=usize::MAX

Returns

• Some(IsizeCO) if the interval [start, end_excl) can be represented in isize
• None if len = 0 or the computed start / end_excl would overflow isize

Guarantees

• Returned interval satisfies start < end_excl
• Maximum accepted input length is usize::MAX

pub const fn saturating_from_midpoint_len( mid: isize, len: usize, ) -> Option<Self>

Constructs an IsizeCO interval from a midpoint and length (usize) with saturating semantics.

Parameters

• mid: the desired midpoint of the interval
• len: the desired length of the interval in units, must be 1..=usize::MAX

Behavior

• Values are saturated at isize::MIN / isize::MAX to prevent overflow.
• If len = 0, returns None.

Guarantees

• Returned interval satisfies start < end_excl
• Maximum accepted input length is usize::MAX
• Fully compatible with codegen for other signed integer interval types

impl IsizeCO

pub const fn start(self) -> isize

pub const fn end_excl(self) -> isize

pub const fn end_incl(self) -> isize

pub const fn len(self) -> usize

pub const fn midpoint(self) -> isize

Returns the midpoint of the interval [start, end_excl), using floor division if the length is even.

Guarantees

• midpoint() ∈ [self.start, self.end_excl - 1]
• Works for intervals with maximum length (entire isize range)

pub const fn contains(self, x: isize) -> bool

pub const fn contains_interval(self, other: Self) -> bool

pub const fn iter(self) -> Range<isize>

pub const fn to_range(self) -> Range<isize>

pub const fn intersects(self, other: Self) -> bool

pub const fn is_adjacent(self, other: Self) -> bool

pub const fn is_contiguous_with(self, other: Self) -> bool

impl IsizeCO

pub const fn intersection(self, other: Self) -> Option<Self>

Returns the intersection of two intervals.

If the intervals do not overlap, returns None.

pub const fn convex_hull(self, other: Self) -> Self

Returns the convex hull (smallest interval containing both) of two intervals.

Always returns a valid IsizeCO.

pub const fn between(self, other: Self) -> Option<Self>

Returns the interval strictly between two intervals.

If the intervals are contiguous or overlap, returns None.

pub const fn union(self, other: Self) -> OneTwo<Self>

Returns the union of two intervals.

• If intervals are contiguous or overlapping, returns One containing the merged interval.
• Otherwise, returns Two containing both intervals in ascending order.

pub const fn difference(self, other: Self) -> ZeroOneTwo<Self>

Returns the difference of two intervals (self - other).

• If no overlap, returns One(self).
• If partial overlap, returns One or Two depending on remaining segments.
• If fully contained, returns Zero.

pub const fn symmetric_difference(self, other: Self) -> ZeroOneTwo<Self>

Returns the symmetric difference of two intervals.

Equivalent to (self - other) ∪ (other - self).

• If intervals do not overlap, returns Two(self, other) in order.
• If intervals partially overlap, returns remaining non-overlapping segments as One or Two.

impl IsizeCO

pub const fn checked_minkowski_add(self, other: Self) -> Option<Self>

pub const fn checked_minkowski_sub(self, other: Self) -> Option<Self>

pub const fn checked_minkowski_mul(self, other: Self) -> Option<Self>

pub const fn checked_minkowski_div(self, other: Self) -> Option<Self>

impl IsizeCO

pub const fn checked_minkowski_add_n(self, n: isize) -> Option<Self>

pub const fn checked_minkowski_sub_n(self, n: isize) -> Option<Self>

pub const fn checked_minkowski_mul_n(self, n: isize) -> Option<Self>

pub const fn checked_minkowski_div_n(self, n: isize) -> Option<Self>

impl IsizeCO

pub const fn saturating_minkowski_add(self, other: Self) -> Option<Self>

pub const fn saturating_minkowski_sub(self, other: Self) -> Option<Self>

pub const fn saturating_minkowski_mul(self, other: Self) -> Option<Self>

pub const fn saturating_minkowski_div(self, other: Self) -> Option<Self>

impl IsizeCO

pub const fn saturating_minkowski_add_n(self, n: isize) -> Option<Self>

pub const fn saturating_minkowski_sub_n(self, n: isize) -> Option<Self>

pub const fn saturating_minkowski_mul_n(self, n: isize) -> Option<Self>

pub const fn saturating_minkowski_div_n(self, n: isize) -> Option<Self>

Trait Implementations

impl Clone for IsizeCO

fn clone(&self) -> IsizeCO

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IsizeCO

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

Formats the value using the given formatter.

impl Hash for IsizeCO

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

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 Ord for IsizeCO

fn cmp(&self, other: &IsizeCO) -> 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 PartialEq for IsizeCO

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

fn partial_cmp(&self, other: &IsizeCO) -> 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 Copy for IsizeCO

impl Eq for IsizeCO

impl StructuralPartialEq for IsizeCO