Struct NonEmpty 

pub struct NonEmpty<T>(/* private fields */);

An interval that is known not to be empty.

Layout

NonEmpty<T> is guaranteed to have the same layout and bit validity as T with the exception that non-empty instances are valid.

Implementations

impl<T> NonEmpty<T>

pub unsafe fn new_unchecked(value: T) -> Self

Creates a non-empty without checking whether the value is non-empty. This results in undefined behavior if the value is empty.

Safety

The value must not be empty.

Trait Implementations

impl<T: Clone> Clone for NonEmpty<T>

fn clone(&self) -> NonEmpty<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T> Contains<NonEmpty<Interval<T>>> for NonEmpty<Interval<T>>

where T: PartialOrd,

fn contains(&self, other: &NonEmpty<Interval<T>>) -> bool

Returns true iff self contains `other.0.

fn is_contained_by(&self, other: &T) -> bool

where T: Contains<Self>,

Returns true iff self is contained by `other.0.

impl<T> Contains<NonEmpty<Interval<T>>> for NonEmpty<IntervalFrom<T>>

where T: PartialOrd,

fn contains(&self, other: &NonEmpty<Interval<T>>) -> bool

Returns true iff self contains `other.0.

fn is_contained_by(&self, other: &T) -> bool

where T: Contains<Self>,

Returns true iff self is contained by `other.0.

impl<T> Contains<NonEmpty<Interval<T>>> for NonEmpty<IntervalFull>

fn contains(&self, _other: &NonEmpty<Interval<T>>) -> bool

Returns true iff self contains `other.0.

fn is_contained_by(&self, other: &T) -> bool

where T: Contains<Self>,

Returns true iff self is contained by `other.0.

impl<T> Contains<NonEmpty<Interval<T>>> for NonEmpty<IntervalTo<T>>

where T: PartialOrd,

fn contains(&self, other: &NonEmpty<Interval<T>>) -> bool

Returns true iff self contains `other.0.

fn is_contained_by(&self, other: &T) -> bool

where T: Contains<Self>,

Returns true iff self is contained by `other.0.

impl<T> Contains<NonEmpty<IntervalFrom<T>>> for NonEmpty<Interval<T>>

fn contains(&self, _other: &T) -> bool

Returns true iff self contains `other.0.

fn is_contained_by(&self, other: &T) -> bool

where T: Contains<Self>,

Returns true iff self is contained by `other.0.

impl<T> Contains<NonEmpty<IntervalFrom<T>>> for NonEmpty<IntervalFrom<T>>

fn contains(&self, _other: &T) -> bool

Returns true iff self contains `other.0.

fn is_contained_by(&self, other: &T) -> bool

where T: Contains<Self>,

Returns true iff self is contained by `other.0.

impl<T> Contains<NonEmpty<IntervalFrom<T>>> for NonEmpty<IntervalFull>

fn contains(&self, _other: &T) -> bool

Returns true iff self contains `other.0.

fn is_contained_by(&self, other: &T) -> bool

where T: Contains<Self>,

Returns true iff self is contained by `other.0.

impl<T> Contains<NonEmpty<IntervalFrom<T>>> for NonEmpty<IntervalTo<T>>

fn contains(&self, _other: &T) -> bool

Returns true iff self contains `other.0.

fn is_contained_by(&self, other: &T) -> bool

where T: Contains<Self>,

Returns true iff self is contained by `other.0.

impl<T> Contains<NonEmpty<IntervalFull>> for NonEmpty<Interval<T>>

fn contains(&self, _other: &T) -> bool

Returns true iff self contains `other.0.

fn is_contained_by(&self, other: &T) -> bool

where T: Contains<Self>,

Returns true iff self is contained by `other.0.

impl<T> Contains<NonEmpty<IntervalFull>> for NonEmpty<IntervalFrom<T>>

fn contains(&self, _other: &T) -> bool

Returns true iff self contains `other.0.

fn is_contained_by(&self, other: &T) -> bool

where T: Contains<Self>,

Returns true iff self is contained by `other.0.

impl Contains<NonEmpty<IntervalFull>> for NonEmpty<IntervalFull>

fn contains(&self, _other: &T) -> bool

Returns true iff self contains `other.0.

fn is_contained_by(&self, other: &T) -> bool

where T: Contains<Self>,

Returns true iff self is contained by `other.0.

impl<T> Contains<NonEmpty<IntervalFull>> for NonEmpty<IntervalTo<T>>

fn contains(&self, _other: &T) -> bool

Returns true iff self contains `other.0.

fn is_contained_by(&self, other: &T) -> bool

where T: Contains<Self>,

Returns true iff self is contained by `other.0.

impl<T> Contains<NonEmpty<IntervalTo<T>>> for NonEmpty<Interval<T>>

fn contains(&self, _other: &T) -> bool

Returns true iff self contains `other.0.

fn is_contained_by(&self, other: &T) -> bool

where T: Contains<Self>,

Returns true iff self is contained by `other.0.

impl<T> Contains<NonEmpty<IntervalTo<T>>> for NonEmpty<IntervalFrom<T>>

fn contains(&self, _other: &T) -> bool

Returns true iff self contains `other.0.

fn is_contained_by(&self, other: &T) -> bool

where T: Contains<Self>,

Returns true iff self is contained by `other.0.

impl<T> Contains<NonEmpty<IntervalTo<T>>> for NonEmpty<IntervalFull>

fn contains(&self, _other: &T) -> bool

Returns true iff self contains `other.0.

fn is_contained_by(&self, other: &T) -> bool

where T: Contains<Self>,

Returns true iff self is contained by `other.0.

impl<T> Contains<NonEmpty<IntervalTo<T>>> for NonEmpty<IntervalTo<T>>

fn contains(&self, _other: &T) -> bool

Returns true iff self contains `other.0.

fn is_contained_by(&self, other: &T) -> bool

where T: Contains<Self>,

Returns true iff self is contained by `other.0.

impl<T: Copy> Copy for NonEmpty<T>

impl<T: Debug> Debug for NonEmpty<T>

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

Formats the value using the given formatter.

impl<T: Eq> Eq for NonEmpty<T>

impl<T> Equals<NonEmpty<Interval<T>>> for NonEmpty<Interval<T>>

where T: PartialOrd,

fn equals(&self, other: &NonEmpty<Interval<T>>) -> bool

Returns true iff self equals `other.0.

impl<T> Equals<NonEmpty<Interval<T>>> for NonEmpty<IntervalFrom<T>>

where T: PartialOrd,

fn equals(&self, other: &NonEmpty<Interval<T>>) -> bool

Returns true iff self equals `other.0.

impl<T> Equals<NonEmpty<Interval<T>>> for NonEmpty<IntervalFull>

fn equals(&self, _other: &T) -> bool

Returns true iff self equals `other.0.

impl<T> Equals<NonEmpty<Interval<T>>> for NonEmpty<IntervalTo<T>>

fn equals(&self, _other: &T) -> bool

Returns true iff self equals `other.0.

impl<T> Equals<NonEmpty<IntervalFrom<T>>> for NonEmpty<Interval<T>>

fn equals(&self, _other: &T) -> bool

Returns true iff self equals `other.0.

impl<T> Equals<NonEmpty<IntervalFrom<T>>> for NonEmpty<IntervalFrom<T>>

where T: PartialOrd,

fn equals(&self, other: &NonEmpty<IntervalFrom<T>>) -> bool

Returns true iff self equals `other.0.

impl<T> Equals<NonEmpty<IntervalFrom<T>>> for NonEmpty<IntervalFull>

fn equals(&self, _other: &T) -> bool

Returns true iff self equals `other.0.

impl<T> Equals<NonEmpty<IntervalFrom<T>>> for NonEmpty<IntervalTo<T>>

fn equals(&self, _other: &T) -> bool

Returns true iff self equals `other.0.

impl<T> Equals<NonEmpty<IntervalFull>> for NonEmpty<Interval<T>>

fn equals(&self, _other: &T) -> bool

Returns true iff self equals `other.0.

impl<T> Equals<NonEmpty<IntervalFull>> for NonEmpty<IntervalFrom<T>>

fn equals(&self, _other: &T) -> bool

Returns true iff self equals `other.0.

impl Equals<NonEmpty<IntervalFull>> for NonEmpty<IntervalFull>

fn equals(&self, _other: &NonEmpty<IntervalFull>) -> bool

Returns true iff self equals `other.0.

impl<T> Equals<NonEmpty<IntervalFull>> for NonEmpty<IntervalTo<T>>

fn equals(&self, _other: &T) -> bool

Returns true iff self equals `other.0.

impl<T> Equals<NonEmpty<IntervalTo<T>>> for NonEmpty<Interval<T>>

fn equals(&self, _other: &T) -> bool

Returns true iff self equals `other.0.

impl<T> Equals<NonEmpty<IntervalTo<T>>> for NonEmpty<IntervalFrom<T>>

fn equals(&self, _other: &T) -> bool

Returns true iff self equals `other.0.

impl<T> Equals<NonEmpty<IntervalTo<T>>> for NonEmpty<IntervalFull>

fn equals(&self, _other: &T) -> bool

Returns true iff self equals `other.0.

impl<T> Equals<NonEmpty<IntervalTo<T>>> for NonEmpty<IntervalTo<T>>

where T: PartialOrd,

fn equals(&self, other: &NonEmpty<IntervalTo<T>>) -> bool

Returns true iff self equals `other.0.

impl<T> Finishes<NonEmpty<Interval<T>>> for NonEmpty<Interval<T>>

where T: PartialOrd,

fn finishes(&self, other: &NonEmpty<Interval<T>>) -> bool

Returns true iff self finishes `other.0.

fn is_finished_by(&self, other: &T) -> bool

where T: Finishes<Self>,

Returns true iff self is finished by `other.0.

impl<T> Finishes<NonEmpty<Interval<T>>> for NonEmpty<IntervalFrom<T>>

where T: PartialOrd,

fn finishes(&self, other: &NonEmpty<Interval<T>>) -> bool

Returns true iff self finishes `other.0.

fn is_finished_by(&self, other: &T) -> bool

where T: Finishes<Self>,

Returns true iff self is finished by `other.0.

impl<T> Finishes<NonEmpty<Interval<T>>> for NonEmpty<IntervalFull>

fn finishes(&self, _other: &T) -> bool

Returns true iff self finishes `other.0.

fn is_finished_by(&self, other: &T) -> bool

where T: Finishes<Self>,

Returns true iff self is finished by `other.0.

impl<T> Finishes<NonEmpty<Interval<T>>> for NonEmpty<IntervalTo<T>>

fn finishes(&self, _other: &T) -> bool

Returns true iff self finishes `other.0.

fn is_finished_by(&self, other: &T) -> bool

where T: Finishes<Self>,

Returns true iff self is finished by `other.0.

impl<T> Finishes<NonEmpty<IntervalFrom<T>>> for NonEmpty<Interval<T>>

where T: PartialOrd,

fn finishes(&self, other: &NonEmpty<IntervalFrom<T>>) -> bool

Returns true iff self finishes `other.0.

fn is_finished_by(&self, other: &T) -> bool

where T: Finishes<Self>,

Returns true iff self is finished by `other.0.

impl<T> Finishes<NonEmpty<IntervalFrom<T>>> for NonEmpty<IntervalFrom<T>>

where T: PartialOrd,

fn finishes(&self, other: &NonEmpty<IntervalFrom<T>>) -> bool

Returns true iff self finishes `other.0.

fn is_finished_by(&self, other: &T) -> bool

where T: Finishes<Self>,

Returns true iff self is finished by `other.0.

impl<T> Finishes<NonEmpty<IntervalFrom<T>>> for NonEmpty<IntervalFull>

fn finishes(&self, _other: &T) -> bool

Returns true iff self finishes `other.0.

fn is_finished_by(&self, other: &T) -> bool

where T: Finishes<Self>,

Returns true iff self is finished by `other.0.

impl<T> Finishes<NonEmpty<IntervalFrom<T>>> for NonEmpty<IntervalTo<T>>

fn finishes(&self, _other: &T) -> bool

Returns true iff self finishes `other.0.

fn is_finished_by(&self, other: &T) -> bool

where T: Finishes<Self>,

Returns true iff self is finished by `other.0.

impl<T> Finishes<NonEmpty<IntervalFull>> for NonEmpty<Interval<T>>

fn finishes(&self, _other: &T) -> bool

Returns true iff self finishes `other.0.

fn is_finished_by(&self, other: &T) -> bool

where T: Finishes<Self>,

Returns true iff self is finished by `other.0.

impl<T> Finishes<NonEmpty<IntervalFull>> for NonEmpty<IntervalFrom<T>>

fn finishes(&self, _other: &NonEmpty<IntervalFull>) -> bool

Returns true iff self finishes `other.0.

fn is_finished_by(&self, other: &T) -> bool

where T: Finishes<Self>,

Returns true iff self is finished by `other.0.

impl Finishes<NonEmpty<IntervalFull>> for NonEmpty<IntervalFull>

fn finishes(&self, _other: &T) -> bool

Returns true iff self finishes `other.0.

fn is_finished_by(&self, other: &T) -> bool

where T: Finishes<Self>,

Returns true iff self is finished by `other.0.

impl<T> Finishes<NonEmpty<IntervalFull>> for NonEmpty<IntervalTo<T>>

fn finishes(&self, _other: &T) -> bool

Returns true iff self finishes `other.0.

fn is_finished_by(&self, other: &T) -> bool

where T: Finishes<Self>,

Returns true iff self is finished by `other.0.

impl<T> Finishes<NonEmpty<IntervalTo<T>>> for NonEmpty<Interval<T>>

where T: PartialOrd,

fn finishes(&self, other: &NonEmpty<IntervalTo<T>>) -> bool

Returns true iff self finishes `other.0.

fn is_finished_by(&self, other: &T) -> bool

where T: Finishes<Self>,

Returns true iff self is finished by `other.0.

impl<T> Finishes<NonEmpty<IntervalTo<T>>> for NonEmpty<IntervalFrom<T>>

fn finishes(&self, _other: &T) -> bool

Returns true iff self finishes `other.0.

fn is_finished_by(&self, other: &T) -> bool

where T: Finishes<Self>,

Returns true iff self is finished by `other.0.

impl<T> Finishes<NonEmpty<IntervalTo<T>>> for NonEmpty<IntervalFull>

fn finishes(&self, _other: &T) -> bool

Returns true iff self finishes `other.0.

fn is_finished_by(&self, other: &T) -> bool

where T: Finishes<Self>,

Returns true iff self is finished by `other.0.

impl<T> Finishes<NonEmpty<IntervalTo<T>>> for NonEmpty<IntervalTo<T>>

fn finishes(&self, _other: &T) -> bool

Returns true iff self finishes `other.0.

fn is_finished_by(&self, other: &T) -> bool

where T: Finishes<Self>,

Returns true iff self is finished by `other.0.

impl<T> From<IntervalFrom<T>> for NonEmpty<IntervalFrom<T>>

fn from(value: IntervalFrom<T>) -> Self

Converts to this type from the input type.

impl From<IntervalFull> for NonEmpty<IntervalFull>

fn from(value: IntervalFull) -> Self

Converts to this type from the input type.

impl<T> From<IntervalTo<T>> for NonEmpty<IntervalTo<T>>

fn from(value: IntervalTo<T>) -> Self

Converts to this type from the input type.

impl<T: Hash> Hash for NonEmpty<T>

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<I, T> IntervalBounds<T> for NonEmpty<I>

where I: IntervalBounds<T>,

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

Start index bound.

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

End index bound.

fn bounds(&self) -> Bounds<T>

Index bounds.

impl<T> Meets<NonEmpty<Interval<T>>> for NonEmpty<Interval<T>>

where T: PartialOrd,

fn meets(&self, other: &NonEmpty<Interval<T>>) -> bool

Returns true iff self meets `other.0.

fn is_met_by(&self, other: &T) -> bool

where T: Meets<Self>,

Returns true iff self is met by `other.0.

impl<T> Meets<NonEmpty<Interval<T>>> for NonEmpty<IntervalFrom<T>>

fn meets(&self, _other: &T) -> bool

Returns true iff self meets `other.0.

fn is_met_by(&self, other: &T) -> bool

where T: Meets<Self>,

Returns true iff self is met by `other.0.

impl<T> Meets<NonEmpty<Interval<T>>> for NonEmpty<IntervalFull>

fn meets(&self, _other: &T) -> bool

Returns true iff self meets `other.0.

fn is_met_by(&self, other: &T) -> bool

where T: Meets<Self>,

Returns true iff self is met by `other.0.

impl<T> Meets<NonEmpty<Interval<T>>> for NonEmpty<IntervalTo<T>>

where T: PartialOrd,

fn meets(&self, other: &NonEmpty<Interval<T>>) -> bool

Returns true iff self meets `other.0.

fn is_met_by(&self, other: &T) -> bool

where T: Meets<Self>,

Returns true iff self is met by `other.0.

impl<T> Meets<NonEmpty<IntervalFrom<T>>> for NonEmpty<Interval<T>>

where T: PartialOrd,

fn meets(&self, other: &NonEmpty<IntervalFrom<T>>) -> bool

Returns true iff self meets `other.0.

fn is_met_by(&self, other: &T) -> bool

where T: Meets<Self>,

Returns true iff self is met by `other.0.

impl<T> Meets<NonEmpty<IntervalFrom<T>>> for NonEmpty<IntervalFrom<T>>

fn meets(&self, _other: &T) -> bool

Returns true iff self meets `other.0.

fn is_met_by(&self, other: &T) -> bool

where T: Meets<Self>,

Returns true iff self is met by `other.0.

impl<T> Meets<NonEmpty<IntervalFrom<T>>> for NonEmpty<IntervalFull>

fn meets(&self, _other: &T) -> bool

Returns true iff self meets `other.0.

fn is_met_by(&self, other: &T) -> bool

where T: Meets<Self>,

Returns true iff self is met by `other.0.

impl<T> Meets<NonEmpty<IntervalFrom<T>>> for NonEmpty<IntervalTo<T>>

where T: PartialOrd,

fn meets(&self, other: &NonEmpty<IntervalFrom<T>>) -> bool

Returns true iff self meets `other.0.

fn is_met_by(&self, other: &T) -> bool

where T: Meets<Self>,

Returns true iff self is met by `other.0.

impl<T> Meets<NonEmpty<IntervalFull>> for NonEmpty<Interval<T>>

fn meets(&self, _other: &T) -> bool

Returns true iff self meets `other.0.

fn is_met_by(&self, other: &T) -> bool

where T: Meets<Self>,

Returns true iff self is met by `other.0.

impl<T> Meets<NonEmpty<IntervalFull>> for NonEmpty<IntervalFrom<T>>

fn meets(&self, _other: &T) -> bool

Returns true iff self meets `other.0.

fn is_met_by(&self, other: &T) -> bool

where T: Meets<Self>,

Returns true iff self is met by `other.0.

impl Meets<NonEmpty<IntervalFull>> for NonEmpty<IntervalFull>

fn meets(&self, _other: &T) -> bool

Returns true iff self meets `other.0.

fn is_met_by(&self, other: &T) -> bool

where T: Meets<Self>,

Returns true iff self is met by `other.0.

impl<T> Meets<NonEmpty<IntervalFull>> for NonEmpty<IntervalTo<T>>

fn meets(&self, _other: &T) -> bool

Returns true iff self meets `other.0.

fn is_met_by(&self, other: &T) -> bool

where T: Meets<Self>,

Returns true iff self is met by `other.0.

impl<T> Meets<NonEmpty<IntervalTo<T>>> for NonEmpty<Interval<T>>

fn meets(&self, _other: &T) -> bool

Returns true iff self meets `other.0.

fn is_met_by(&self, other: &T) -> bool

where T: Meets<Self>,

Returns true iff self is met by `other.0.

impl<T> Meets<NonEmpty<IntervalTo<T>>> for NonEmpty<IntervalFrom<T>>

fn meets(&self, _other: &T) -> bool

Returns true iff self meets `other.0.

fn is_met_by(&self, other: &T) -> bool

where T: Meets<Self>,

Returns true iff self is met by `other.0.

impl<T> Meets<NonEmpty<IntervalTo<T>>> for NonEmpty<IntervalFull>

fn meets(&self, _other: &T) -> bool

Returns true iff self meets `other.0.

fn is_met_by(&self, other: &T) -> bool

where T: Meets<Self>,

Returns true iff self is met by `other.0.

impl<T> Meets<NonEmpty<IntervalTo<T>>> for NonEmpty<IntervalTo<T>>

fn meets(&self, _other: &T) -> bool

Returns true iff self meets `other.0.

fn is_met_by(&self, other: &T) -> bool

where T: Meets<Self>,

Returns true iff self is met by `other.0.

impl<T: Ord> Ord for NonEmpty<T>

fn cmp(&self, other: &NonEmpty<T>) -> 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<T> Overlaps<NonEmpty<Interval<T>>> for NonEmpty<Interval<T>>

where T: PartialOrd,

fn overlaps(&self, other: &NonEmpty<Interval<T>>) -> bool

Returns true iff self overlaps `other.0.

fn is_overlapped_by(&self, other: &T) -> bool

where T: Overlaps<Self>,

Returns true iff self is overlapped by `other.0.

impl<T> Overlaps<NonEmpty<Interval<T>>> for NonEmpty<IntervalFrom<T>>

fn overlaps(&self, _other: &T) -> bool

Returns true iff self overlaps `other.0.

fn is_overlapped_by(&self, other: &T) -> bool

where T: Overlaps<Self>,

Returns true iff self is overlapped by `other.0.

impl<T> Overlaps<NonEmpty<Interval<T>>> for NonEmpty<IntervalFull>

fn overlaps(&self, _other: &T) -> bool

Returns true iff self overlaps `other.0.

fn is_overlapped_by(&self, other: &T) -> bool

where T: Overlaps<Self>,

Returns true iff self is overlapped by `other.0.

impl<T> Overlaps<NonEmpty<Interval<T>>> for NonEmpty<IntervalTo<T>>

where T: PartialOrd,

fn overlaps(&self, other: &NonEmpty<Interval<T>>) -> bool

Returns true iff self overlaps `other.0.

fn is_overlapped_by(&self, other: &T) -> bool

where T: Overlaps<Self>,

Returns true iff self is overlapped by `other.0.

impl<T> Overlaps<NonEmpty<IntervalFrom<T>>> for NonEmpty<Interval<T>>

where T: PartialOrd,

fn overlaps(&self, other: &NonEmpty<IntervalFrom<T>>) -> bool

Returns true iff self overlaps `other.0.

fn is_overlapped_by(&self, other: &T) -> bool

where T: Overlaps<Self>,

Returns true iff self is overlapped by `other.0.

impl<T> Overlaps<NonEmpty<IntervalFrom<T>>> for NonEmpty<IntervalFrom<T>>

fn overlaps(&self, _other: &T) -> bool

Returns true iff self overlaps `other.0.

fn is_overlapped_by(&self, other: &T) -> bool

where T: Overlaps<Self>,

Returns true iff self is overlapped by `other.0.

impl<T> Overlaps<NonEmpty<IntervalFrom<T>>> for NonEmpty<IntervalFull>

fn overlaps(&self, _other: &T) -> bool

Returns true iff self overlaps `other.0.

fn is_overlapped_by(&self, other: &T) -> bool

where T: Overlaps<Self>,

Returns true iff self is overlapped by `other.0.

impl<T> Overlaps<NonEmpty<IntervalFrom<T>>> for NonEmpty<IntervalTo<T>>

where T: PartialOrd,

fn overlaps(&self, other: &NonEmpty<IntervalFrom<T>>) -> bool

Returns true iff self overlaps `other.0.

fn is_overlapped_by(&self, other: &T) -> bool

where T: Overlaps<Self>,

Returns true iff self is overlapped by `other.0.

impl<T> Overlaps<NonEmpty<IntervalFull>> for NonEmpty<Interval<T>>

fn overlaps(&self, _other: &T) -> bool

Returns true iff self overlaps `other.0.

fn is_overlapped_by(&self, other: &T) -> bool

where T: Overlaps<Self>,

Returns true iff self is overlapped by `other.0.

impl<T> Overlaps<NonEmpty<IntervalFull>> for NonEmpty<IntervalFrom<T>>

fn overlaps(&self, _other: &T) -> bool

Returns true iff self overlaps `other.0.

fn is_overlapped_by(&self, other: &T) -> bool

where T: Overlaps<Self>,

Returns true iff self is overlapped by `other.0.

impl Overlaps<NonEmpty<IntervalFull>> for NonEmpty<IntervalFull>

fn overlaps(&self, _other: &T) -> bool

Returns true iff self overlaps `other.0.

fn is_overlapped_by(&self, other: &T) -> bool

where T: Overlaps<Self>,

Returns true iff self is overlapped by `other.0.

impl<T> Overlaps<NonEmpty<IntervalFull>> for NonEmpty<IntervalTo<T>>

fn overlaps(&self, _other: &T) -> bool

Returns true iff self overlaps `other.0.

fn is_overlapped_by(&self, other: &T) -> bool

where T: Overlaps<Self>,

Returns true iff self is overlapped by `other.0.

impl<T> Overlaps<NonEmpty<IntervalTo<T>>> for NonEmpty<Interval<T>>

fn overlaps(&self, _other: &T) -> bool

Returns true iff self overlaps `other.0.

fn is_overlapped_by(&self, other: &T) -> bool

where T: Overlaps<Self>,

Returns true iff self is overlapped by `other.0.

impl<T> Overlaps<NonEmpty<IntervalTo<T>>> for NonEmpty<IntervalFrom<T>>

fn overlaps(&self, _other: &T) -> bool

Returns true iff self overlaps `other.0.

fn is_overlapped_by(&self, other: &T) -> bool

where T: Overlaps<Self>,

Returns true iff self is overlapped by `other.0.

impl<T> Overlaps<NonEmpty<IntervalTo<T>>> for NonEmpty<IntervalFull>

fn overlaps(&self, _other: &T) -> bool

Returns true iff self overlaps `other.0.

fn is_overlapped_by(&self, other: &T) -> bool

where T: Overlaps<Self>,

Returns true iff self is overlapped by `other.0.

impl<T> Overlaps<NonEmpty<IntervalTo<T>>> for NonEmpty<IntervalTo<T>>

fn overlaps(&self, _other: &T) -> bool

Returns true iff self overlaps `other.0.

fn is_overlapped_by(&self, other: &T) -> bool

where T: Overlaps<Self>,

Returns true iff self is overlapped by `other.0.

impl<T: PartialEq> PartialEq for NonEmpty<T>

fn eq(&self, other: &NonEmpty<T>) -> 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<T: PartialOrd> PartialOrd for NonEmpty<T>

fn partial_cmp(&self, other: &NonEmpty<T>) -> 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<T> Precedes<NonEmpty<Interval<T>>> for NonEmpty<Interval<T>>

where T: PartialOrd,

fn precedes(&self, other: &NonEmpty<Interval<T>>) -> bool

Returns true iff self precedes `other.0.

fn is_preceded_by(&self, other: &T) -> bool

where T: Precedes<Self>,

Returns true iff self is preceded by `other.0.

impl<T> Precedes<NonEmpty<Interval<T>>> for NonEmpty<IntervalFrom<T>>

fn precedes(&self, _other: &T) -> bool

Returns true iff self precedes `other.0.

fn is_preceded_by(&self, other: &T) -> bool

where T: Precedes<Self>,

Returns true iff self is preceded by `other.0.

impl<T> Precedes<NonEmpty<Interval<T>>> for NonEmpty<IntervalFull>

fn precedes(&self, _other: &T) -> bool

Returns true iff self precedes `other.0.

fn is_preceded_by(&self, other: &T) -> bool

where T: Precedes<Self>,

Returns true iff self is preceded by `other.0.

impl<T> Precedes<NonEmpty<Interval<T>>> for NonEmpty<IntervalTo<T>>

where T: PartialOrd,

fn precedes(&self, other: &NonEmpty<Interval<T>>) -> bool

Returns true iff self precedes `other.0.

fn is_preceded_by(&self, other: &T) -> bool

where T: Precedes<Self>,

Returns true iff self is preceded by `other.0.

impl<T> Precedes<NonEmpty<IntervalFrom<T>>> for NonEmpty<Interval<T>>

where T: PartialOrd,

fn precedes(&self, other: &NonEmpty<IntervalFrom<T>>) -> bool

Returns true iff self precedes `other.0.

fn is_preceded_by(&self, other: &T) -> bool

where T: Precedes<Self>,

Returns true iff self is preceded by `other.0.

impl<T> Precedes<NonEmpty<IntervalFrom<T>>> for NonEmpty<IntervalFrom<T>>

fn precedes(&self, _other: &T) -> bool

Returns true iff self precedes `other.0.

fn is_preceded_by(&self, other: &T) -> bool

where T: Precedes<Self>,

Returns true iff self is preceded by `other.0.

impl<T> Precedes<NonEmpty<IntervalFrom<T>>> for NonEmpty<IntervalFull>

fn precedes(&self, _other: &T) -> bool

Returns true iff self precedes `other.0.

fn is_preceded_by(&self, other: &T) -> bool

where T: Precedes<Self>,

Returns true iff self is preceded by `other.0.

impl<T> Precedes<NonEmpty<IntervalFrom<T>>> for NonEmpty<IntervalTo<T>>

where T: PartialOrd,

fn precedes(&self, other: &NonEmpty<IntervalFrom<T>>) -> bool

Returns true iff self precedes `other.0.

fn is_preceded_by(&self, other: &T) -> bool

where T: Precedes<Self>,

Returns true iff self is preceded by `other.0.

impl<T> Precedes<NonEmpty<IntervalFull>> for NonEmpty<Interval<T>>

fn precedes(&self, _other: &T) -> bool

Returns true iff self precedes `other.0.

fn is_preceded_by(&self, other: &T) -> bool

where T: Precedes<Self>,

Returns true iff self is preceded by `other.0.

impl<T> Precedes<NonEmpty<IntervalFull>> for NonEmpty<IntervalFrom<T>>

fn precedes(&self, _other: &T) -> bool

Returns true iff self precedes `other.0.

fn is_preceded_by(&self, other: &T) -> bool

where T: Precedes<Self>,

Returns true iff self is preceded by `other.0.

impl Precedes<NonEmpty<IntervalFull>> for NonEmpty<IntervalFull>

fn precedes(&self, _other: &T) -> bool

Returns true iff self precedes `other.0.

fn is_preceded_by(&self, other: &T) -> bool

where T: Precedes<Self>,

Returns true iff self is preceded by `other.0.

impl<T> Precedes<NonEmpty<IntervalFull>> for NonEmpty<IntervalTo<T>>

fn precedes(&self, _other: &T) -> bool

Returns true iff self precedes `other.0.

fn is_preceded_by(&self, other: &T) -> bool

where T: Precedes<Self>,

Returns true iff self is preceded by `other.0.

impl<T> Precedes<NonEmpty<IntervalTo<T>>> for NonEmpty<Interval<T>>

fn precedes(&self, _other: &T) -> bool

Returns true iff self precedes `other.0.

fn is_preceded_by(&self, other: &T) -> bool

where T: Precedes<Self>,

Returns true iff self is preceded by `other.0.

impl<T> Precedes<NonEmpty<IntervalTo<T>>> for NonEmpty<IntervalFrom<T>>

fn precedes(&self, _other: &T) -> bool

Returns true iff self precedes `other.0.

fn is_preceded_by(&self, other: &T) -> bool

where T: Precedes<Self>,

Returns true iff self is preceded by `other.0.

impl<T> Precedes<NonEmpty<IntervalTo<T>>> for NonEmpty<IntervalFull>

fn precedes(&self, _other: &T) -> bool

Returns true iff self precedes `other.0.

fn is_preceded_by(&self, other: &T) -> bool

where T: Precedes<Self>,

Returns true iff self is preceded by `other.0.

impl<T> Precedes<NonEmpty<IntervalTo<T>>> for NonEmpty<IntervalTo<T>>

fn precedes(&self, _other: &T) -> bool

Returns true iff self precedes `other.0.

fn is_preceded_by(&self, other: &T) -> bool

where T: Precedes<Self>,

Returns true iff self is preceded by `other.0.

impl<T> Starts<NonEmpty<Interval<T>>> for NonEmpty<Interval<T>>

where T: PartialOrd,

fn starts(&self, other: &NonEmpty<Interval<T>>) -> bool

Returns true iff self starts `other.0.

fn is_started_by(&self, other: &T) -> bool

where T: Starts<Self>,

Returns true iff self is started by `other.0.

impl<T> Starts<NonEmpty<Interval<T>>> for NonEmpty<IntervalFrom<T>>

fn starts(&self, _other: &T) -> bool

Returns true iff self starts `other.0.

fn is_started_by(&self, other: &T) -> bool

where T: Starts<Self>,

Returns true iff self is started by `other.0.

impl<T> Starts<NonEmpty<Interval<T>>> for NonEmpty<IntervalFull>

fn starts(&self, _other: &T) -> bool

Returns true iff self starts `other.0.

fn is_started_by(&self, other: &T) -> bool

where T: Starts<Self>,

Returns true iff self is started by `other.0.

impl<T> Starts<NonEmpty<Interval<T>>> for NonEmpty<IntervalTo<T>>

fn starts(&self, _other: &T) -> bool

Returns true iff self starts `other.0.

fn is_started_by(&self, other: &T) -> bool

where T: Starts<Self>,

Returns true iff self is started by `other.0.

impl<T> Starts<NonEmpty<IntervalFrom<T>>> for NonEmpty<Interval<T>>

where T: PartialOrd,

fn starts(&self, other: &NonEmpty<IntervalFrom<T>>) -> bool

Returns true iff self starts `other.0.

fn is_started_by(&self, other: &T) -> bool

where T: Starts<Self>,

Returns true iff self is started by `other.0.

impl<T> Starts<NonEmpty<IntervalFrom<T>>> for NonEmpty<IntervalFrom<T>>

fn starts(&self, _other: &T) -> bool

Returns true iff self starts `other.0.

fn is_started_by(&self, other: &T) -> bool

where T: Starts<Self>,

Returns true iff self is started by `other.0.

impl<T> Starts<NonEmpty<IntervalFrom<T>>> for NonEmpty<IntervalFull>

fn starts(&self, _other: &T) -> bool

Returns true iff self starts `other.0.

fn is_started_by(&self, other: &T) -> bool

where T: Starts<Self>,

Returns true iff self is started by `other.0.

impl<T> Starts<NonEmpty<IntervalFrom<T>>> for NonEmpty<IntervalTo<T>>

fn starts(&self, _other: &T) -> bool

Returns true iff self starts `other.0.

fn is_started_by(&self, other: &T) -> bool

where T: Starts<Self>,

Returns true iff self is started by `other.0.

impl<T> Starts<NonEmpty<IntervalFull>> for NonEmpty<Interval<T>>

fn starts(&self, _other: &T) -> bool

Returns true iff self starts `other.0.

fn is_started_by(&self, other: &T) -> bool

where T: Starts<Self>,

Returns true iff self is started by `other.0.

impl<T> Starts<NonEmpty<IntervalFull>> for NonEmpty<IntervalFrom<T>>

fn starts(&self, _other: &T) -> bool

Returns true iff self starts `other.0.

fn is_started_by(&self, other: &T) -> bool

where T: Starts<Self>,

Returns true iff self is started by `other.0.

impl Starts<NonEmpty<IntervalFull>> for NonEmpty<IntervalFull>

fn starts(&self, _other: &T) -> bool

Returns true iff self starts `other.0.

fn is_started_by(&self, other: &T) -> bool

where T: Starts<Self>,

Returns true iff self is started by `other.0.

impl<T> Starts<NonEmpty<IntervalFull>> for NonEmpty<IntervalTo<T>>

fn starts(&self, _other: &T) -> bool

Returns true iff self starts `other.0.

fn is_started_by(&self, other: &T) -> bool

where T: Starts<Self>,

Returns true iff self is started by `other.0.

impl<T> Starts<NonEmpty<IntervalTo<T>>> for NonEmpty<Interval<T>>

where T: PartialOrd,

fn starts(&self, other: &NonEmpty<IntervalTo<T>>) -> bool

Returns true iff self starts `other.0.

fn is_started_by(&self, other: &T) -> bool

where T: Starts<Self>,

Returns true iff self is started by `other.0.

impl<T> Starts<NonEmpty<IntervalTo<T>>> for NonEmpty<IntervalFrom<T>>

fn starts(&self, _other: &T) -> bool

Returns true iff self starts `other.0.

fn is_started_by(&self, other: &T) -> bool

where T: Starts<Self>,

Returns true iff self is started by `other.0.

impl<T> Starts<NonEmpty<IntervalTo<T>>> for NonEmpty<IntervalFull>

fn starts(&self, _other: &T) -> bool

Returns true iff self starts `other.0.

fn is_started_by(&self, other: &T) -> bool

where T: Starts<Self>,

Returns true iff self is started by `other.0.

impl<T> Starts<NonEmpty<IntervalTo<T>>> for NonEmpty<IntervalTo<T>>

where T: PartialOrd,

fn starts(&self, other: &NonEmpty<IntervalTo<T>>) -> bool

Returns true iff self starts `other.0.

fn is_started_by(&self, other: &T) -> bool

where T: Starts<Self>,

Returns true iff self is started by `other.0.

impl<T> StructuralPartialEq for NonEmpty<T>

impl<T> TryFrom<Interval<T>> for NonEmpty<Interval<T>>

where T: PartialOrd,

type Error = IntervalError

The type returned in the event of a conversion error.

fn try_from(value: Interval<T>) -> Result<Self, Self::Error>

Performs the conversion.