Struct mz_repr::adt::range::RangeBound

pub struct RangeBound<B, const UPPER: bool = false> {
    pub inclusive: bool,
    pub bound: Option<B>,
}

Represents a terminal point of a range.

Fields

inclusive: bool

bound: Option<B>

None value represents an infinite bound.

Implementations

impl<'a, const UPPER: bool, B: Copy + Ord + PartialOrd + Display + Debug> RangeBound<B, UPPER>

where Datum<'a>: From<B>,

fn elem_cmp<T: RangeOps<'a>>(&self, elem: &T) -> Ordering

where <T as TryFrom<Datum<'a>>>::Error: Debug,

Determines where elem lies in relation to the range bound.

Panics

• If self.bound.datum() is not convertible to T.

fn satisfied_by<T: RangeOps<'a>>(&self, elem: &T) -> bool

where <T as TryFrom<Datum<'a>>>::Error: Debug,

Does elem satisfy this bound?

fn range_bound_cmp<const OTHER_UPPER: bool>( &self, other: &RangeBound<B, OTHER_UPPER>, ) -> Ordering

impl<'a, const UPPER: bool> RangeBound<Datum<'a>, UPPER>

pub fn new(d: Datum<'a>, inclusive: bool) -> RangeBound<Datum<'a>, UPPER>

Create a new RangeBound whose value is “infinite” (i.e. None) if d == Datum::Null, otherwise finite (i.e. Some).

There is not a corresponding generic implementation of this because genericizing how to express infinite bounds is less clear.

fn canonicalize(&mut self) -> Result<(), InvalidRangeError>

Rewrite the bounds to the consistent format. This is absolutely necessary to perform the correct equality/comparison operations on types.

fn canonicalize_inner<T: RangeOps<'a>>( &mut self, d: Datum<'a>, ) -> Result<(), InvalidRangeError>

where <T as TryFrom<Datum<'a>>>::Error: Debug,

Canonicalize self’s representation for types that have discrete steps between values.

Continuous values (e.g. timestamps, numeric) must not be canonicalized.

Trait Implementations

impl<B: Clone, const UPPER: bool> Clone for RangeBound<B, UPPER>

fn clone(&self) -> RangeBound<B, UPPER>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<B: Debug, const UPPER: bool> Debug for RangeBound<B, UPPER>

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

Formats the value using the given formatter.

impl<const UPPER: bool, D: Display> Display for RangeBound<D, UPPER>

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

Formats the value using the given formatter.

impl<B: Hash, const UPPER: bool> Hash for RangeBound<B, UPPER>

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<const UPPER: bool, D: Ord> Ord for RangeBound<D, UPPER>

fn cmp(&self, other: &Self) -> 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 + PartialOrd,

Restrict a value to a certain interval.

impl<B: PartialEq, const UPPER: bool> PartialEq for RangeBound<B, UPPER>

fn eq(&self, other: &RangeBound<B, UPPER>) -> 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<const UPPER: bool, D: PartialOrd + Ord> PartialOrd for RangeBound<D, UPPER>

fn partial_cmp(&self, other: &Self) -> 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<B: Copy, const UPPER: bool> Copy for RangeBound<B, UPPER>

impl<B: Eq, const UPPER: bool> Eq for RangeBound<B, UPPER>

impl<B, const UPPER: bool> StructuralPartialEq for RangeBound<B, UPPER>