Enum range_set::range_compare::RangeDisjoint

pub enum RangeDisjoint {
    EmptyBoth,
    EmptyLhs,
    EmptyRhs,
    LessThanProper,
    LessThanAdjacent,
    GreaterThanProper,
    GreaterThanAdjacent,
}

Ways in which a pair of ranges (A,B) can be disjoint

Variants

EmptyBoth

A = B = {}

EmptyLhs

A = {}

EmptyRhs

B = {}

LessThanProper

[ A ] [ B ]

LessThanAdjacent

[ A ][ B ]

GreaterThanProper

[ B ] [ A ]

GreaterThanAdjacent

[ B ][ A ]

Implementations

impl RangeDisjoint

pub fn compare<T: PrimInt>(
    left: &RangeInclusive<T>,
    right: &RangeInclusive<T>
) -> Option<Self>

Tests two inclusive ranges for disjointness, returning None if they intersect.

assert_eq!(RangeDisjoint::compare (&(0..=5), &(0..=5)), None);
assert_eq!(
  RangeDisjoint::compare (&(1..=0), &(1..=0)),
  Some (RangeDisjoint::EmptyBoth));
assert_eq!(
  RangeDisjoint::compare (&(1..=0), &(0..=5)),
  Some (RangeDisjoint::EmptyLhs));
assert_eq!(
  RangeDisjoint::compare (&(0..=5), &(1..=0)),
  Some (RangeDisjoint::EmptyRhs));
assert_eq!(
  RangeDisjoint::compare (&(0..=2), &(4..=5)),
  Some (RangeDisjoint::LessThanProper));
assert_eq!(
  RangeDisjoint::compare (&(0..=2), &(3..=5)),
  Some (RangeDisjoint::LessThanAdjacent));
assert_eq!(
  RangeDisjoint::compare (&(4..=5), &(0..=2)),
  Some (RangeDisjoint::GreaterThanProper));
assert_eq!(
  RangeDisjoint::compare (&(3..=5), &(0..=2)),
  Some (RangeDisjoint::GreaterThanAdjacent));

Trait Implementations

impl Debug for RangeDisjoint

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

Formats the value using the given formatter.

impl From<RangeDisjoint> for RangeCompare

fn from(disjoint: RangeDisjoint) -> Self

Performs the conversion.

impl PartialEq<RangeDisjoint> for RangeDisjoint

fn eq(&self, other: &RangeDisjoint) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl Eq for RangeDisjoint

impl StructuralEq for RangeDisjoint

impl StructuralPartialEq for RangeDisjoint