Enum PropertyValue 

pub enum PropertyValue {
    Null,
    Bool(bool),
    Long(i64),
    Float(f64),
    Text(String),
    Json(Value),
    Int32(i32),
    Int16(i16),
    Decimal(Decimal),
    Date(NaiveDate),
    Time(NaiveTime),
    Timestamp(DateTime<FixedOffset>),
    Uuid(Uuid),
    Bytes(Vec<u8>),
    Array(Vec<PropertyValue>),
}

Typed property value, at SQL fidelity.

Variants

Null

SQL NULL / JSON null.

Bool(bool)

Boolean.

Long(i64)

SQL BIGINT.

Float(f64)

SQL DOUBLE PRECISION. Already a double — the gap this type had was never width, it was exactness, and Decimal fills that.

Text(String)

Free-form text.

Json(Value)

Arbitrary nested JSON (JSONB columns, document subdocuments).

Int32(i32)

SQL INT/INTEGER. Distinct from Long so a 32-bit column does not silently come back 64-bit on round-trip.

Int16(i16)

SQL SMALLINT.

Decimal(Decimal)

SQL DECIMAL/NUMERIC and money. Exact — never f64.

Date(NaiveDate)

SQL DATE.

Time(NaiveTime)

SQL TIME.

Timestamp(DateTime<FixedOffset>)

SQL TIMESTAMP WITH TIME ZONE. The offset is part of the value and is preserved verbatim: +02:00 does not come back as Z.

Uuid(Uuid)

SQL UUID/UNIQUEIDENTIFIER.

Bytes(Vec<u8>)

SQL BLOB/BYTEA/VARBINARY. Base64 in every JSON form.

Array(Vec<PropertyValue>)

SQL array / document-store array. Elements are themselves typed, so Array<Decimal> stays exact.

Implementations

impl PropertyValue

pub fn as_str(&self) -> Option<&str>

The &str inside a Text value; None for every other variant.

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

The tag name used in the envelope and in error/type reporting.

pub fn to_json(&self) -> Value

The type-PRESERVING JSON form: what serde emits, what RocksDB stores, and what a .ant file carries. Legacy variants are bare scalars; SQL-parity variants are envelopes.

pub fn to_compat_json(&self) -> Value

The BACKWARD-COMPATIBLE JSON form for /public/v1: every typed value flattened to the bare scalar it would have been stored as before SQL parity existed.

Deliberately lossy. The KAG-compatible surface has a published shape and a generation of clients that parse it; emitting an envelope there would widen the contract for every caller, in exchange for a type they never asked for. Callers who want the types use the Antares-native API.

pub fn from_json(v: Value) -> Self

Read the type-preserving form back. Unknown/!malformed envelopes fall through to Json, so no input is ever rejected here — this runs against stored data, where refusing to decode would mean losing a record that is already durable.

impl PropertyValue

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

Total ordering used by ORDER BY and by range comparisons.

Within a rank the comparison is type-appropriate: integers and decimals compare EXACTLY (a decimal never round-trips through f64 to be compared), timestamps compare as instants so a +02:00 value orders correctly against a Z one, bytes compare lexicographically, and arrays compare element-wise then by length.

pub fn is_sql_typed(&self) -> bool

Whether this carries one of the SQL-parity types — i.e. a value whose wire form is a tagged envelope.

pub fn coerce_like(&self, like: &Self) -> Self

Reinterpret an untyped literal as the type of like.

A query says WHERE due = "2024-03-01" or WHERE amount > "10.50". The literal arrives as Text — the query language has no date or decimal literal — so comparing it against a stored Date or Decimal by cross-type rank would silently match nothing. This pulls the literal to the stored value’s type so the comparison is the one the caller meant.

Returns self unchanged when the coercion does not apply or the literal does not parse as that type; the comparison then falls back to cross-type ordering rather than inventing a match.

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

Equality by VALUE rather than by representation: Long(1) equals Int32(1) equals Decimal("1.0"), and a +02:00 timestamp equals the same instant written as Z. This is what a filter comparison uses; derived PartialEq stays representation-exact for tests and dedup.

Trait Implementations

impl Clone for PropertyValue

fn clone(&self) -> PropertyValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PropertyValue

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for PropertyValue

fn deserialize<D: Deserializer<'de>>(d: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl PartialEq for PropertyValue

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for PropertyValue

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 Serialize for PropertyValue

fn serialize<S: Serializer>(&self, s: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for PropertyValue