Enum ContinuousRange

pub enum ContinuousRange<Idx> {
    Empty,
    Single(Idx),
    Inclusive(Idx, Idx),
    Exclusive(Idx, Idx),
    StartExclusive(Idx, Idx),
    EndExclusive(Idx, Idx),
    From(Idx),
    FromExclusive(Idx),
    To(Idx),
    ToExclusive(Idx),
    Full,
}

Variants

Empty

A range containing no value

[]

Single(Idx)

A range containing a single value

value

Inclusive(Idx, Idx)

A range between start (inclusive) and end (inclusive)

[start..end]

Exclusive(Idx, Idx)

A range between start (exclusive) and end (exclusive)

(start..end)

StartExclusive(Idx, Idx)

A range between start (exclusive) and end (inclusive)

(start..end]

EndExclusive(Idx, Idx)

A range between start (inclusive) and end (exclusive)

[start..end)

From(Idx)

A range starting from start (inclusive)

[start..)

FromExclusive(Idx)

A range starting from start (exclusive)

(start..)

To(Idx)

A range ending with end (inclusive)

(..end]

ToExclusive(Idx)

A range ending with end (exclusive)

(..end)

Full

A range containing all values

Implementations

impl<Idx: PartialOrd + Clone> ContinuousRange<Idx>

pub fn empty() -> ContinuousRange<Idx>

A range containing no value

[]

pub fn single(value: Idx) -> ContinuousRange<Idx>

A range containing a single value

value

pub fn inclusive(start: Idx, end: Idx) -> ContinuousRange<Idx>

where Idx: PartialOrd,

A range between start (inclusive) and end (inclusive)

[start..end]

pub fn exclusive(start: Idx, end: Idx) -> ContinuousRange<Idx>

where Idx: PartialOrd,

A range between start (exclusive) and end (exclusive)

(start..end)

pub fn start_exclusive(start: Idx, end: Idx) -> ContinuousRange<Idx>

where Idx: PartialOrd,

A range between start (exclusive) and end (inclusive)

(start..end]

pub fn end_exclusive(start: Idx, end: Idx) -> ContinuousRange<Idx>

where Idx: PartialOrd,

A range between start (inclusive) and end (exclusive)

[start..end)

pub fn from(start: Idx) -> ContinuousRange<Idx>

A range starting from start (inclusive)

[start..)

pub fn from_exclusive(start: Idx) -> ContinuousRange<Idx>

A range starting from start (exclusive)

(start..)

pub fn to(end: Idx) -> ContinuousRange<Idx>

A range ending with end (inclusive)

(..end]

pub fn to_exclusive(end: Idx) -> ContinuousRange<Idx>

A range ending with end (exclusive)

(..end)

pub fn full() -> ContinuousRange<Idx>

A range containing all values

pub fn from_bounds(bounds: (Bound<&Idx>, Bound<&Idx>)) -> Self

Create a new range from the specified bounds

pub fn range_bounds(&self) -> Option<(Bound<&Idx>, Bound<&Idx>)>

Get the bounds of the range or None if empty

pub fn start(&self) -> Option<Bound<&Idx>>

pub fn end(&self) -> Option<Bound<&Idx>>

pub fn contains(&self, value: impl Borrow<Idx>) -> bool

where Idx: PartialOrd + PartialEq,

Check if the range contains the provide value

pub fn contains_range(&self, other: &ContinuousRange<Idx>) -> bool

where Idx: Debug,

pub fn disjoint_from_range(&self, other: &ContinuousRange<Idx>) -> bool

where Idx: Debug,

pub fn union( &self, other: &ContinuousRange<Idx>, ) -> Option<ContinuousRange<Idx>>

where Idx: PartialOrd + Debug,

pub fn intersection(&self, other: &ContinuousRange<Idx>) -> ContinuousRange<Idx>

where Idx: PartialOrd + Debug,

pub fn difference( &self, other: &ContinuousRange<Idx>, ) -> Option<ContinuousRange<Idx>>

where Idx: PartialOrd + Debug,

pub fn intersects(&self, other: &ContinuousRange<Idx>) -> bool

where Idx: Debug,

pub fn compare(&self, other: &ContinuousRange<Idx>) -> Option<RangesRelation>

where Idx: Debug,

Compare the bounds of two ranges. Returns Option::None if an empty range is compared to a non-empty range.

Panics

This function may panic if the PartialOrd contract isn’t respected.

pub fn simplify_mut(&mut self)

where Idx: PartialOrd,

pub fn simplify(&self) -> Self

where Idx: PartialOrd,

pub fn is_empty(&self) -> bool

pub fn is_full(&self) -> bool

Trait Implementations

impl<Idx: Clone> Clone for ContinuousRange<Idx>

fn clone(&self) -> ContinuousRange<Idx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Idx: Debug> Debug for ContinuousRange<Idx>

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

Formats the value using the given formatter.

impl<Idx> Default for ContinuousRange<Idx>

fn default() -> Self

Returns the “default value” for a type.

impl<Idx: PartialOrd + Clone> From<()> for ContinuousRange<Idx>

fn from(_: ()) -> Self

Converts to this type from the input type.

impl<Idx> From<ContinuousRange<Idx>> for Range<Idx>

fn from(r: ContinuousRange<Idx>) -> Self

Converts to this type from the input type.

impl<Idx: PartialOrd + Clone> From<Range<Idx>> for ContinuousRange<Idx>

fn from(r: Range<Idx>) -> Self

Converts to this type from the input type.

impl<Idx: PartialOrd + Clone> From<RangeFrom<Idx>> for ContinuousRange<Idx>

fn from(r: RangeFrom<Idx>) -> Self

Converts to this type from the input type.

impl<Idx: PartialOrd + Clone> From<RangeFull> for ContinuousRange<Idx>

fn from(_: RangeFull) -> Self

Converts to this type from the input type.

impl<Idx: PartialOrd + Clone> From<RangeInclusive<Idx>> for ContinuousRange<Idx>

fn from(r: RangeInclusive<Idx>) -> Self

Converts to this type from the input type.

impl<Idx: PartialOrd + Clone> From<RangeTo<Idx>> for ContinuousRange<Idx>

fn from(r: RangeTo<Idx>) -> Self

Converts to this type from the input type.

impl<Idx: PartialOrd + Clone> From<RangeToInclusive<Idx>> for ContinuousRange<Idx>

fn from(r: RangeToInclusive<Idx>) -> Self

Converts to this type from the input type.

impl<Idx: Hash> Hash for ContinuousRange<Idx>

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<Idx: PartialEq> PartialEq for ContinuousRange<Idx>

fn eq(&self, other: &ContinuousRange<Idx>) -> 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<Idx> StructuralPartialEq for ContinuousRange<Idx>