mz_repr::adt::range

Struct Range

Source
pub struct Range<D> {
    pub inner: Option<RangeInner<D>>,
}
Expand description

A range of values along the domain D.

D is generic to facilitate interoperating over multiple representation, e.g. Datum and mz_pgrepr::Value. Because of the latter, we have to “manually derive” traits over Range.

Also notable, is that Datums themselves store ranges as Range<DatumNested<'a>>, which lets us avoid unnecessary boxing of the range’s finite bounds, which are most often expressed as Datum.

Fields§

§inner: Option<RangeInner<D>>

None value represents empty range

Implementations§

Source§

impl<D> Range<D>

Source

pub fn new(inner: Option<(RangeLowerBound<D>, RangeUpperBound<D>)>) -> Range<D>

Create a new range.

Note that when constructing Range<Datum<'a>>, the range must still be canonicalized. If this becomes a common operation, we should consider addinga new_canonical function that performs both steps.

Source

pub fn internal_flag_bits(&self) -> u8

Get the flag bits appropriate to use in our internal (i.e. row) encoding of range values.

Note that this differs from the flags appropriate to encode with Postgres, which has UB_INFINITE and LB_INCLUSIVE in the alternate position.

Source

pub fn pg_flag_bits(&self) -> u8

Get the flag bits appropriate to use in PG-compatible encodings of range values.

Note that this differs from the flags appropriate for our internal encoding, which has UB_INFINITE and LB_INCLUSIVE in the alternate position.

Source

pub fn into_bounds<F, O>(self, conv: F) -> Range<O>
where F: Fn(D) -> O,

Converts self from having bounds of type D to type O, converting the current bounds using conv.

Source§

impl<'a, B: Copy + Ord + PartialOrd + Display + Debug> Range<B>
where Datum<'a>: From<B>,

Range implementations meant to work with Range<Datum> and Range<DatumNested>.

Source

pub fn contains_elem<T: RangeOps<'a>>(&self, elem: &T) -> bool
where <T as TryFrom<Datum<'a>>>::Error: Debug,

Source

pub fn contains_range(&self, other: &Range<B>) -> bool

Source

pub fn overlaps(&self, other: &Range<B>) -> bool

Source

pub fn before(&self, other: &Range<B>) -> bool

Source

pub fn after(&self, other: &Range<B>) -> bool

Source

pub fn overleft(&self, other: &Range<B>) -> bool

Source

pub fn overright(&self, other: &Range<B>) -> bool

Source

pub fn adjacent(&self, other: &Range<B>) -> bool

Source

pub fn union(&self, other: &Range<B>) -> Result<Range<B>, InvalidRangeError>

Source

pub fn intersection(&self, other: &Range<B>) -> Range<B>

Source

pub fn difference( &self, other: &Range<B>, ) -> Result<Range<Datum<'a>>, InvalidRangeError>

Source§

impl<'a> Range<Datum<'a>>

Source

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

Canonicalize the range by PG’s heuristics, which are:

  • Infinite bounds are always exclusive
  • If type has step:
  • Exclusive lower bounds are rewritten as inclusive += step
  • Inclusive lower bounds are rewritten as exclusive += step
  • Ranges are empty if lower >= upper after prev. step unless range type does not have step and both bounds are inclusive
§Panics
  • If the upper and lower bounds are finite and of different types.

Trait Implementations§

Source§

impl<D: Clone> Clone for Range<D>

Source§

fn clone(&self) -> Self

Returns a copy of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl<'a, E> DatumType<'a, E> for Range<Datum<'a>>

Source§

fn nullable() -> bool

Whether this Rust type can represent NULL values
Source§

fn fallible() -> bool

Whether this Rust type can represent errors
Source§

fn try_from_result( res: Result<Datum<'a>, E>, ) -> Result<Self, Result<Datum<'a>, E>>

Try to convert a Result whose Ok variant is a Datum into this native Rust type (Self). If it fails the error variant will contain the original result.
Source§

fn into_result(self, temp_storage: &'a RowArena) -> Result<Datum<'a>, E>

Convert this Rust type into a Result containing a Datum, or an error
Source§

impl<'a, E> DatumType<'a, E> for Range<DatumNested<'a>>

Source§

fn nullable() -> bool

Whether this Rust type can represent NULL values
Source§

fn fallible() -> bool

Whether this Rust type can represent errors
Source§

fn try_from_result( res: Result<Datum<'a>, E>, ) -> Result<Self, Result<Datum<'a>, E>>

Try to convert a Result whose Ok variant is a Datum into this native Rust type (Self). If it fails the error variant will contain the original result.
Source§

fn into_result(self, _temp_storage: &'a RowArena) -> Result<Datum<'a>, E>

Convert this Rust type into a Result containing a Datum, or an error
Source§

impl<D: Debug> Debug for Range<D>

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<D: Display> Display for Range<D>

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<'a, T: FromSql<'a>> FromSql<'a> for Range<T>

Source§

fn from_sql( ty: &PgType, raw: &'a [u8], ) -> Result<Range<T>, Box<dyn Error + Sync + Send>>

Creates a new value of this type from a buffer of data of the specified Postgres Type in its binary format. Read more
Source§

fn accepts(ty: &PgType) -> bool

Determines if a value of this type can be created from the specified Postgres Type.
Source§

fn from_sql_null(ty: &Type) -> Result<Self, Box<dyn Error + Sync + Send>>

Creates a new value of this type from a NULL SQL value. Read more
Source§

fn from_sql_nullable( ty: &Type, raw: Option<&'a [u8]>, ) -> Result<Self, Box<dyn Error + Sync + Send>>

A convenience function that delegates to from_sql and from_sql_null depending on the value of raw.
Source§

impl<D: Hash> Hash for Range<D>

Source§

fn hash<H: Hasher>(&self, hasher: &mut H)

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
Source§

impl<D: Ord> Ord for Range<D>

Source§

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other. Read more
1.21.0 · Source§

fn max(self, other: Self) -> Self
where Self: Sized,

Compares and returns the maximum of two values. Read more
1.21.0 · Source§

fn min(self, other: Self) -> Self
where Self: Sized,

Compares and returns the minimum of two values. Read more
1.50.0 · Source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized,

Restrict a value to a certain interval. Read more
Source§

impl<D: PartialEq> PartialEq for Range<D>

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl<D: Ord + PartialOrd> PartialOrd for Range<D>

Source§

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · Source§

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

Tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · Source§

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

Tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · Source§

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

Tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · Source§

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

Tests greater than or equal to (for self and other) and is used by the >= operator. Read more
Source§

impl<D: Copy> Copy for Range<D>

Source§

impl<D: Eq> Eq for Range<D>

Auto Trait Implementations§

§

impl<D> Freeze for Range<D>
where D: Freeze,

§

impl<D> RefUnwindSafe for Range<D>
where D: RefUnwindSafe,

§

impl<D> Send for Range<D>
where D: Send,

§

impl<D> Sync for Range<D>
where D: Sync,

§

impl<D> Unpin for Range<D>
where D: Unpin,

§

impl<D> UnwindSafe for Range<D>
where D: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T, U> CastInto<U> for T
where U: CastFrom<T>,

Source§

fn cast_into(self) -> U

Performs the cast.
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
Source§

impl<Q, K> Comparable<K> for Q
where Q: Ord + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn compare(&self, key: &K) -> Ordering

Compare self to key and return their ordering.
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> FromRef<T> for T
where T: Clone,

Source§

fn from_ref(input: &T) -> T

Converts to this type from a reference to the input type.
Source§

impl<T> FutureExt for T

Source§

fn with_context(self, otel_cx: Context) -> WithContext<Self>

Attaches the provided Context to this type, returning a WithContext wrapper. Read more
Source§

fn with_current_context(self) -> WithContext<Self>

Attaches the current Context to this type, returning a WithContext wrapper. Read more
Source§

impl<T> Hashable for T
where T: Hash,

Source§

type Output = u64

The type of the output value.
Source§

fn hashed(&self) -> u64

A well-distributed integer derived from the data.
Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoRequest<T> for T

Source§

fn into_request(self) -> Request<T>

Wrap the input message T in a tonic::Request
Source§

impl<T, U> OverrideFrom<Option<&T>> for U
where U: OverrideFrom<T>,

Source§

fn override_from(self, layer: &Option<&T>) -> U

Override the configuration represented by Self with values from the given layer.
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize = _

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> PreferredContainer for T
where T: Ord + Clone + 'static,

Source§

type Container = Vec<T>

The preferred container for the type.
Source§

impl<T> ProgressEventTimestamp for T
where T: Data + Debug + Any,

Source§

fn as_any(&self) -> &(dyn Any + 'static)

Upcasts this ProgressEventTimestamp to Any. Read more
Source§

fn type_name(&self) -> &'static str

Returns the name of the concrete type of this object. Read more
Source§

impl<P, R> ProtoType<R> for P
where R: RustType<P>,

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<'a, S, T> Semigroup<&'a S> for T
where T: Semigroup<S>,

Source§

fn plus_equals(&mut self, rhs: &&'a S)

The method of std::ops::AddAssign, for types that do not implement AddAssign.
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T> ToString for T
where T: Display + ?Sized,

Source§

default fn to_string(&self) -> String

Converts the given value to a String. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

impl<T> Allocation for T
where T: RefUnwindSafe + Send + Sync,

Source§

impl<T> Data for T
where T: Clone + 'static,

Source§

impl<T> Data for T
where T: Data + Ord + Debug,

Source§

impl<T> FromSqlOwned for T
where T: for<'a> FromSql<'a>,

Source§

impl<T> Sequence for T
where T: Eq + Hash,