Struct Interval 

pub struct Interval { /* private fields */ }

Represents an inclusive interval with a minimum value and an optional maximum value.

When the maximum is None, the interval is considered unbounded above.

Implementations

impl Interval

pub fn new(range: impl RangeBounds<usize>) -> Interval

Creates a new Interval from any type that implements RangeBounds<usize>.

This allows creating intervals from Rust’s range expressions like 1..5, 0..=10, or 2...

pub fn min(&self) -> usize

Returns the minimum value of the interval.

pub fn max(&self) -> Option<usize>

Returns the maximum value of the interval, or None if the interval is unbounded.

pub fn contains(&self, count: usize) -> bool

Checks if the given count falls within this interval.

pub fn is_single(&self) -> bool

Checks if the interval represents a single value (i.e., min equals max).

pub fn is_unbounded(&self) -> bool

Checks if the interval is unbounded (i.e., has no maximum value).

pub fn range_notation(&self) -> String

Returns a string representation of the interval using standard range notation.

Examples:

• {3} for the single value 3
• {1,5} for the range 1 to 5 inclusive
• {2,} for 2 or more

pub fn shorthand_notation(&self) -> String

Returns a string representation of the interval using shorthand notation where applicable.

Examples:

• ? for {0,1} (optional)
• * for {0,} (zero or more)
• + for {1,} (one or more)

Trait Implementations

impl Clone for Interval

fn clone(&self) -> Interval

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Interval

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

Formats the value using the given formatter.

impl Default for Interval

fn default() -> Interval

Returns the “default value” for a type.

impl Display for Interval

Implements the Display trait for Interval, using the range_notation format.

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

Formats the value using the given formatter.

impl From<Quantifier> for Interval

fn from(quantifier: Quantifier) -> Interval

Converts to this type from the input type.

impl Hash for Interval

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 PartialEq for Interval

fn eq(&self, other: &Interval) -> 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 RangeBounds<usize> for Interval

Implementation of RangeBounds<usize> for Interval, allowing it to be used in contexts that expect range bounds, such as slice indexing.

fn start_bound(&self) -> Bound<&usize>

Returns the start bound of the interval.

• Returns Bound::Unbounded if min is 0
• Returns Bound::Included(&self.min) otherwise

fn end_bound(&self) -> Bound<&usize>

Returns the end bound of the interval.

• Returns Bound::Included(max) if max is Some
• Returns Bound::Unbounded if max is None

fn contains<U>(&self, item: &U) -> bool

where T: PartialOrd<U>, U: PartialOrd<T> + ?Sized,

Returns true if item is contained in the range.

fn is_empty(&self) -> bool

where T: PartialOrd,

🔬This is a nightly-only experimental API. (range_bounds_is_empty)

Returns true if the range contains no items. One-sided ranges (RangeFrom, etc) always return false.

impl Copy for Interval

impl Eq for Interval

impl StructuralPartialEq for Interval