Struct U128CO 

pub struct U128CO { /* private fields */ }

Implementations

impl U128CO

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

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

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

Construct a U128CO from a midpoint and a length.

Returns None if the computed interval is invalid or overflows u128.

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

Saturating version: from midpoint + length, keeps start < end_excl

impl U128CO

pub const fn start(self) -> u128

pub const fn end_excl(self) -> u128

pub const fn end_incl(self) -> u128

impl U128CO

pub const fn len(self) -> u128

impl U128CO

pub const fn midpoint(self) -> u128

Returns the midpoint of the interval (floor division).

impl U128CO

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

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

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 U128CO

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

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

impl U128CO

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 U128CO.

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 U128CO

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

Minkowski addition: [a_start, a_end) + [b_start, b_end)

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

Minkowski subtraction: [a_start, a_end) - [b_start, b_end)

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

Minkowski multiplication: [a_start, a_end) * [b_start, b_end)

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

Minkowski division: [a_start, a_end) / [b_start, b_end)

impl U128CO

pub const fn checked_minkowski_add_scalar(self, n: u128) -> Option<Self>

Add a scalar to an interval: [start, end) + n

pub const fn checked_minkowski_sub_scalar(self, n: u128) -> Option<Self>

Subtract a scalar from an interval: [start, end) - n

pub const fn checked_minkowski_mul_scalar_hull(self, n: u128) -> Option<Self>

Multiply an interval by a scalar: [start, end) * n

pub const fn checked_minkowski_div_scalar_hull(self, n: u128) -> Option<Self>

Divide an interval by a scalar: [start, end) / n

impl U128CO

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_hull(self, other: Self) -> Option<Self>

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

impl U128CO

pub const fn saturating_minkowski_add_scalar(self, n: u128) -> Option<Self>

Saturating add scalar: [start, end) + n

pub const fn saturating_minkowski_sub_scalar(self, n: u128) -> Option<Self>

Saturating sub scalar: [start, end) - n

pub const fn saturating_minkowski_mul_scalar_hull(self, n: u128) -> Option<Self>

Saturating mul scalar: [start, end) * n

pub const fn saturating_minkowski_div_scalar_hull(self, n: u128) -> Option<Self>

Saturating div scalar: [start, end) / n

Trait Implementations

impl COAlgebra for U128CO

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

Returns the overlapping region of two intervals, if any.

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

Returns the smallest interval containing both intervals.

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

Returns the interval strictly between two separated intervals.

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

Returns the union of two intervals.

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

Returns self \ other.

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

Returns the symmetric difference of two intervals.

impl COBounds for U128CO

fn start(self) -> u128

Returns the inclusive lower bound.

fn end_excl(self) -> u128

Returns the exclusive upper bound.

fn end_incl(self) -> u128

Returns the inclusive upper bound.

impl COCheckedMinkowskiHull for U128CO

fn checked_minkowski_mul_hull(self, other: Self) -> Option<Self>

Returns the interval hull containing every point in self * other.

fn checked_minkowski_div_hull(self, other: Self) -> Option<Self>

Returns the interval hull containing every point in self / other.

fn checked_minkowski_mul_scalar_hull(self, scalar: u128) -> Option<Self>

Returns the interval hull containing every point in self * scalar.

fn checked_minkowski_div_scalar_hull(self, scalar: u128) -> Option<Self>

Returns the interval hull containing every point in self / scalar.

impl COCheckedMinkowskiLinear for U128CO

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

Returns the exact Minkowski sum self + other.

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

Returns the exact Minkowski subtraction self - other.

fn checked_minkowski_add_scalar(self, scalar: u128) -> Option<Self>

Returns the exact translation self + scalar.

fn checked_minkowski_sub_scalar(self, scalar: u128) -> Option<Self>

Returns the exact translation self - scalar.

impl COConstruct for U128CO

fn try_new(start: u128, end_excl: u128) -> Option<Self>

Constructs [start, end_excl), returning None for an empty or reversed interval.

unsafe fn new_unchecked(start: u128, end_excl: u128) -> Self

Constructs [start, end_excl) without checking the interval invariant.

impl COMeasure for U128CO

fn len(self) -> u128

Returns the exact interval length.

impl COMidpoint for U128CO

fn midpoint(self) -> u128

Returns the midpoint coordinate, using floor rounding where required.

impl COMidpointConstruct for U128CO

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

Constructs an interval centered around mid with exact length len.

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

Constructs an interval centered around mid with saturating endpoint arithmetic.

impl COPredicates for U128CO

fn contains(self, x: u128) -> bool

Returns whether x is contained in this interval.

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

Returns whether other is fully contained in this interval.

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

Returns whether this interval and other overlap with positive length.

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

Returns whether this interval and other touch at exactly one boundary without overlapping.

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

Returns whether this interval and other overlap or are adjacent.

impl COPrimitive for U128CO

type CoordType = u128

type MeasureType = u128

impl CORange for U128CO

fn to_range(self) -> Range<u128>

Returns the standard-library half-open range represented by this interval.

fn iter(self) -> Range<u128>

Returns the standard-library range used to iterate covered coordinates.

impl COSaturatingMinkowskiHull for U128CO

fn saturating_minkowski_mul_hull(self, other: Self) -> Option<Self>

Returns the saturated interval hull of self * other.

fn saturating_minkowski_div_hull(self, other: Self) -> Option<Self>

Returns the saturated interval hull of self / other.

fn saturating_minkowski_mul_scalar_hull(self, scalar: u128) -> Option<Self>

Returns the saturated interval hull of self * scalar.

fn saturating_minkowski_div_scalar_hull(self, scalar: u128) -> Option<Self>

Returns the saturated interval hull of self / scalar.

impl COSaturatingMinkowskiLinear for U128CO

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

Returns the saturated Minkowski sum self + other.

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

Returns the saturated Minkowski subtraction self - other.

fn saturating_minkowski_add_scalar(self, scalar: u128) -> Option<Self>

Returns the saturated translation self + scalar.

fn saturating_minkowski_sub_scalar(self, scalar: u128) -> Option<Self>

Returns the saturated translation self - scalar.

impl Clone for U128CO

fn clone(&self) -> U128CO

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for U128CO

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

Formats the value using the given formatter.

impl Hash for U128CO

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 U128CO

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

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

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

impl Eq for U128CO

impl StructuralPartialEq for U128CO