Enum Range

pub enum Range<Idx> {
    Continuous(ContinuousRange<Idx>),
    Composite(Vec<ContinuousRange<Idx>>),
}

Variants

Continuous(ContinuousRange<Idx>)

Composite(Vec<ContinuousRange<Idx>>)

Implementations

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

pub fn empty() -> Self

A range containing no value

[]

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

A range containing a single value

value

pub fn continuous(start: Idx, end: Idx) -> Self

where Idx: PartialOrd,

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

[start..end]

pub fn continuous_exclusive(start: Idx, end: Idx) -> Self

where Idx: PartialOrd,

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

(start..end)

pub fn continuous_start_exclusive(start: Idx, end: Idx) -> Range<Idx>

where Idx: PartialOrd,

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

(start..end]

pub fn continuous_end_exclusive(start: Idx, end: Idx) -> Range<Idx>

where Idx: PartialOrd,

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

[start..end)

pub fn from(start: Idx) -> Self

A range starting from start (inclusive)

[start..)

pub fn from_exclusive(start: Idx) -> Self

A range starting from start (exclusive)

(start..)

pub fn to(end: Idx) -> Self

A range ending with end (inclusive)

(..end]

pub fn to_exclusive(end: Idx) -> Self

A range ending with end (exclusive)

(..end)

pub fn full() -> Range<Idx>

A range containing all values

pub fn composite(items: impl IntoIterator<Item = Range<Idx>>) -> Range<Idx>

where Idx: PartialOrd,

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

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

where Idx: PartialOrd,

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

where Idx: PartialOrd,

pub fn intersection(self, _other: &Range<Idx>) -> Range<Idx>

pub fn difference(self, _other: &Range<Idx>) -> Range<Idx>

pub fn overlaps(self, _other: &Range<Idx>) -> bool

pub fn compare_bounds(&self, _other: &Range<Idx>) -> RangesRelation

Compare the bounds of two ranges

pub fn simplify_mut(&mut self)

where Idx: PartialOrd,

pub fn simplify(&self) -> Self

where Idx: PartialOrd + Clone,

pub fn is_empty(&self) -> bool

pub fn is_full(&self) -> bool

where Idx: PartialOrd + Clone,

Trait Implementations

impl<Idx: PartialOrd + Clone> Add<&Range<Idx>> for Range<Idx>

type Output = Range<Idx>

The resulting type after applying the + operator.

fn add(self, other: &Range<Idx>) -> Range<Idx>

Performs the + operation.

impl<Idx: Clone> Clone for Range<Idx>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Idx: Debug> Debug for Range<Idx>

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

Formats the value using the given formatter.

impl<Idx> Default for Range<Idx>

fn default() -> Self

Returns the “default value” for a 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 Range<Idx>

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

Converts to this type from the input type.

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

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

Converts to this type from the input type.

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

fn from(_: RangeFull) -> Self

Converts to this type from the input type.

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

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

Converts to this type from the input type.

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

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

Converts to this type from the input type.

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

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

Converts to this type from the input type.

impl<Idx: Hash> Hash for Range<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 Range<Idx>

fn eq(&self, other: &Range<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: PartialOrd + Clone> Sub for Range<Idx>

type Output = Range<Idx>

The resulting type after applying the - operator.

fn sub(self, other: Range<Idx>) -> Range<Idx>

Performs the - operation.

impl<Idx> StructuralPartialEq for Range<Idx>