pub struct Interval<Bound> { /* private fields */ }
Expand description
Closed interval (endpoints included).
Trait Implementations§
source§impl<Bound> Cardinality for Interval<Bound>
impl<Bound> Cardinality for Interval<Bound>
IsSingleton
and IsEmpty
are defined automatically in gcollections
.
source§impl<Bound> Difference<Bound> for Interval<Bound>
impl<Bound> Difference<Bound> for Interval<Bound>
source§impl<Bound> Difference<Optional<Bound>> for Interval<Bound>
impl<Bound> Difference<Optional<Bound>> for Interval<Bound>
source§impl<Bound> Difference for Interval<Bound>
impl<Bound> Difference for Interval<Bound>
source§impl<Bound> Disjoint<Bound> for Interval<Bound>
impl<Bound> Disjoint<Bound> for Interval<Bound>
fn is_disjoint(&self, value: &Bound) -> bool
source§impl<Bound> Disjoint<Optional<Bound>> for Interval<Bound>
impl<Bound> Disjoint<Optional<Bound>> for Interval<Bound>
fn is_disjoint(&self, value: &Optional<Bound>) -> bool
source§impl<Bound> Disjoint for Interval<Bound>
impl<Bound> Disjoint for Interval<Bound>
fn is_disjoint(&self, other: &Interval<Bound>) -> bool
source§impl<Bound> Entailment for Interval<Bound>
impl<Bound> Entailment for Interval<Bound>
source§impl<Bound> Extend<Interval<Bound>> for IntervalSet<Bound>
impl<Bound> Extend<Interval<Bound>> for IntervalSet<Bound>
source§fn extend<I>(&mut self, iterable: I)where
I: IntoIterator<Item = Interval<Bound>>,
fn extend<I>(&mut self, iterable: I)where
I: IntoIterator<Item = Interval<Bound>>,
Extends a collection with the contents of an iterator. Read more
source§fn extend_one(&mut self, item: A)
fn extend_one(&mut self, item: A)
🔬This is a nightly-only experimental API. (
extend_one
)Extends a collection with exactly one element.
source§fn extend_reserve(&mut self, additional: usize)
fn extend_reserve(&mut self, additional: usize)
🔬This is a nightly-only experimental API. (
extend_one
)Reserves capacity in a collection for the given number of additional elements. Read more
source§impl<Bound> Intersection<Bound> for Interval<Bound>
impl<Bound> Intersection<Bound> for Interval<Bound>
source§impl<Bound> Intersection<Optional<Bound>> for Interval<Bound>
impl<Bound> Intersection<Optional<Bound>> for Interval<Bound>
source§impl<Bound> Intersection for Interval<Bound>
impl<Bound> Intersection for Interval<Bound>
source§impl<Bound> PartialEq for Interval<Bound>
impl<Bound> PartialEq for Interval<Bound>
source§impl<Bound> ProperSubset for Interval<Bound>
impl<Bound> ProperSubset for Interval<Bound>
fn is_proper_subset(&self, other: &Interval<Bound>) -> bool
source§impl<Bound> ShrinkLeft for Interval<Bound>
impl<Bound> ShrinkLeft for Interval<Bound>
fn shrink_left(&self, lb: Bound) -> Interval<Bound>
source§impl<Bound> ShrinkRight for Interval<Bound>
impl<Bound> ShrinkRight for Interval<Bound>
fn shrink_right(&self, ub: Bound) -> Interval<Bound>
source§impl<Bound> ToInterval<Bound> for Interval<Bound>
impl<Bound> ToInterval<Bound> for Interval<Bound>
fn to_interval(self) -> Interval<Bound>
impl<Bound: Copy> Copy for Interval<Bound>
impl<Bound: Width + Num> Eq for Interval<Bound>
impl<Bound> IntervalKind for Interval<Bound>
Auto Trait Implementations§
impl<Bound> RefUnwindSafe for Interval<Bound>where
Bound: RefUnwindSafe,
impl<Bound> Send for Interval<Bound>where
Bound: Send,
impl<Bound> Sync for Interval<Bound>where
Bound: Sync,
impl<Bound> Unpin for Interval<Bound>where
Bound: Unpin,
impl<Bound> UnwindSafe for Interval<Bound>where
Bound: UnwindSafe,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<R> IsSingleton for Rwhere
R: Cardinality,
impl<R> IsSingleton for Rwhere
R: Cardinality,
fn is_singleton(&self) -> bool
source§impl<R> StrictEntailment for Rwhere
R: Entailment + Eq,
impl<R> StrictEntailment for Rwhere
R: Entailment + Eq,
source§fn strict_entail(&self, other: &R) -> SKleene
fn strict_entail(&self, other: &R) -> SKleene
Must be similar to
a.entail(&b) && a != b
.