Enum CanonVal 

pub enum CanonVal {
    Absent,
    Null,
    Bool(bool),
    Int(i64),
    Float(u64),
    Str(Arc<str>),
    Json(Arc<str>),
}

One column of a CanonKey — a type-tagged, Hash + Eq value. The tag is the variant itself, so Int(1) and Str("1") are distinct keys (the JS prefixes a type char; the Rust enum carries the type for free).

Variants

Absent

Mirrors OwnedValue::Absent — never met on a join key in practice (presence-required, PROJECTION-SUPPORT-DESIGN.md §2.1), carried for totality.

Null

Bool(bool)

Int(i64)

Float(u64)

A float outside the Int class, keyed by its bits (total_cmp identity).

Str(Arc<str>)

Json(Arc<str>)

Implementations

impl CanonVal

pub fn of(v: &OwnedValue) -> CanonVal

The canonical class of an owned cell.

pub fn of_value(v: Value<'_>) -> CanonVal

Borrowed-cell form of CanonVal::of (a flat row’s cells are Value<'_>s). Str/Json allocate — the key escapes the row.

pub fn to_owned_value(&self) -> OwnedValue

The inverse of CanonVal::of up to equivalence: an OwnedValue in this value’s class — Int(i) for a folded integral float (the canonical representative), the exact bits for any other float.

A per-partition hydrate (design 310 §4.4) is a fetch constrained on the partition columns, and a fetch constraint is a (ColId, OwnedValue) pair matched with values_equal — so constraining on the canonical Int(5) finds a Float(5.0) cell on both leaves, for the same reason join constraints already do.

Trait Implementations

impl Clone for CanonVal

fn clone(&self) -> CanonVal

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CanonVal

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

Formats the value using the given formatter.

impl Hash for CanonVal

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

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 Ord for CanonVal

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

Restrict a value to a certain interval.

impl PartialEq for CanonVal

fn eq(&self, other: &CanonVal) -> 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 PartialOrd for CanonVal

fn partial_cmp(&self, other: &CanonVal) -> 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 Eq for CanonVal

impl StructuralPartialEq for CanonVal