Struct I128CO

Source

pub struct I128CO { /* private fields */ }

Implementations§

Source §

pub const fn checked_from_midpoint_len(mid: i128, len: u128) -> Option<Self>

Constructs an I128CO interval from a midpoint and length (u128).

§Parameters

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

§Returns

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

§Guarantees

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

Source

pub const fn saturating_from_midpoint_len(mid: i128, len: u128) -> Option<Self>

Constructs an I128CO interval from a midpoint and length (u128) with saturating semantics.

§Parameters

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

§Behavior

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

§Guarantees

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

Source §

impl I128CO

Source

pub const fn start(self) -> i128

Source

pub const fn end_excl(self) -> i128

Source

pub const fn end_incl(self) -> i128

Source

pub const fn len(self) -> u128

Source

pub const fn midpoint(self) -> i128

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source §

impl I128CO

Source

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

Returns the intersection of two intervals.

If the intervals do not overlap, returns None.

Source

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

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

Always returns a valid I128CO.

Source

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.

Source

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.

Source

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.

Source

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.

Source §