Struct KeyRange 

pub struct KeyRange {
    pub lo: Option<i64>,
    pub hi: Option<i64>,
}

A half-open integer key range [lo, hi); None = unbounded on that side.

Fields

lo: Option<i64>

hi: Option<i64>

Implementations

impl KeyRange

pub const ALL: KeyRange

The whole key space.

pub fn contains(&self, k: i64) -> bool

Whether k falls inside this range.

pub fn width(&self) -> Option<u128>

Number of integer keys the range spans, when both ends are bounded.

pub fn to_shard(&self, key: &str) -> ShardSpec

The PK-range shard descriptor a SQL source’s apply_shard narrows to — the same shape plan_pk_shards emits, so the range predicate is built by one shared, tested routine. NULL keys are owned by the unbounded-above range, so a NULL-key row is read exactly once across a partition of the key space.

pub fn bisect(&self, obs: Option<(i64, i64)>) -> Option<(KeyRange, KeyRange)>

Split the range in two at its midpoint. An unbounded side is first clamped to the observed key bounds (obs, the union of both sides’ key_min..=key_max), because a digest can only tell us where rows are. Returns None when the range cannot be split further (one key wide, or no observed bounds to clamp with) — the caller then treats it as a leaf.

Trait Implementations

impl Clone for KeyRange

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for KeyRange

impl Debug for KeyRange

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for KeyRange

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for KeyRange

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

Formats the value using the given formatter.

impl Eq for KeyRange

impl PartialEq for KeyRange

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for KeyRange

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for KeyRange