Skip to main content

allen_intervals/relation/
precedes.rs

1/// Methods for checking for a "precedes" relation between intervals.
2pub trait Precedes<T>: Sized {
3    /// Returns `true` iff `self` precedes `other.0.
4    ///
5    /// ```plain
6    /// self:  ┌────────┐
7    /// other:            └────────┘
8    /// ```
9    #[inline]
10    fn precedes(&self, _other: &T) -> bool {
11        false
12    }
13
14    /// Returns `true` iff `self` is preceded by `other.0.
15    ///
16    /// ```plain
17    /// self:             ┌────────┐
18    /// other: └────────┘
19    /// ```
20    #[inline]
21    fn is_preceded_by(&self, other: &T) -> bool
22    where
23        T: Precedes<Self>,
24    {
25        other.precedes(self)
26    }
27}