Enum Value 

#[non_exhaustive]
pub enum Value {
    Null,
    Bool(bool),
    Integer(i64),
    Float(f64),
    String(String),
    Bytes(Vec<u8>),
    Array(Vec<Value>),
    Object(HashMap<String, Value>),
    Uuid(String),
    Ulid(String),
    DateTime(NdbDateTime),
    NaiveDateTime(NdbDateTime),
    Duration(NdbDuration),
    Decimal(Decimal),
    Geometry(Geometry),
    Set(Vec<Value>),
    Regex(String),
    Range {
        start: Option<Box<Value>>,
        end: Option<Box<Value>>,
        inclusive: bool,
    },
    Record {
        table: String,
        id: String,
    },
    ArrayCell(ArrayCell),
    Vector(Arc<[f32]>),
}

A dynamic value that can represent any field type in a document or any parameter in a SQL query.

Serialization policy

JSON (#[serde(untagged)]) — API-boundary format, documented lossy. JSON output uses plain JSON types ("string", 1, true, null, […], {…}) so that HTTP/pgwire clients see idiomatic JSON without tagged wrappers. This is intentional but lossy for six variants:

Variant	JSON representation	Round-trip loss
Uuid(s)	"<s>"	decoded as String
Ulid(s)	"<s>"	decoded as String
Regex(s)	"<s>"	decoded as String
Range {…}	null	decoded as Null
Record {…}	null	decoded as Null
ArrayCell	{"coords":[…], "attrs":[…]}	decoded as Object without type discriminator
Vector(v)	[f32, …] (JSON number array)	decoded as Array<Float>

Round-trip through JSON is NOT preserved for these six variants. JSON is permitted only at the HTTP/pgwire API boundary (decode_payload_to_json() in the Control Plane); it must never be used for Data Plane storage, WAL records, or cross-plane messages.

zerompk MessagePack (hand-rolled ToMessagePack/FromMessagePack in value/msgpack.rs) — internal transport format, lossless. Every variant round-trips through MessagePack without loss. All internal paths (Data Plane, SPSC bridge, WAL payloads) MUST use zerompk. JSON is reserved for the API boundary and forbidden in these contexts.

#[non_exhaustive] — new value kinds will be added in future releases (e.g. Vector, typed collections). This attribute enforces Rust API hygiene only; the concrete serialization contract is described above.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Null

SQL NULL / missing value.

Bool(bool)

Boolean.

Integer(i64)

Signed 64-bit integer.

Float(f64)

64-bit floating point.

String(String)

UTF-8 string.

Bytes(Vec<u8>)

Raw bytes (embeddings, serialized blobs).

Array(Vec<Value>)

Ordered array of values.

Object(HashMap<String, Value>)

Nested key-value object.

Uuid(String)

UUID (any version, stored as 36-char hyphenated string).

Ulid(String)

ULID (26-char Crockford Base32).

DateTime(NdbDateTime)

UTC timestamp with microsecond precision (timezone-aware).

NaiveDateTime(NdbDateTime)

Naive (local/no-timezone) timestamp with microsecond precision.

Duration(NdbDuration)

Duration with microsecond precision (signed).

Decimal(Decimal)

Arbitrary-precision decimal (financial calculations, exact arithmetic).

Geometry(Geometry)

GeoJSON-compatible geometry (Point, LineString, Polygon, etc.).

Set(Vec<Value>)

Ordered set of unique values (auto-deduplicated, maintains insertion order).

Regex(String)

Compiled regex pattern (stored as pattern string).

Range

A range of values with optional bounds.

Fields

start: Option<Box<Value>>

Start bound (None = unbounded).

end: Option<Box<Value>>

End bound (None = unbounded).

inclusive: bool

Whether the end bound is inclusive (..= vs ..).

Record

A typed reference to another record: table:id.

Fields

table: String

The table/collection name.

id: String

The record’s document ID.

ArrayCell(ArrayCell)

One N-dimensional array cell (coords + attrs). Used by the array engine to carry a single cell across the SQL / wire boundary.

Vector(Arc<[f32]>)

Dense f32 embedding vector (e.g. HNSW, neural embeddings).

Stored as a reference-counted slice to allow cheap cloning without copying the underlying floats. Serialized as raw bytes (bytemuck::cast_slice) with zerompk tag 20; JSON serializes as a plain number array (lossy — decodes as Array<Float>, not Vector).

Implementations

impl Value

pub fn eq_coerced(&self, other: &Value) -> bool

Coerced equality: Value vs Value with numeric/string coercion.

Single source of truth for type coercion in filter evaluation. Used by matches_binary (msgpack path) and matches_value (Value path).

pub fn cmp_coerced(&self, other: &Value) -> Ordering

Coerced ordering: Value vs Value with numeric/string coercion.

Single source of truth for ordering in filter/sort evaluation.

impl Value

pub fn is_null(&self) -> bool

Returns true if this value is Null.

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

Try to extract as a string reference.

pub fn as_i64(&self) -> Option<i64>

Try to extract as i64.

pub fn as_f64(&self) -> Option<f64>

Try to extract as f64.

pub fn as_bool(&self) -> Option<bool>

Try to extract as bool.

pub fn as_bytes(&self) -> Option<&[u8]>

Try to extract as byte slice (for embeddings).

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

Try to extract as UUID string.

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

Try to extract as ULID string.

pub fn as_datetime(&self) -> Option<&NdbDateTime>

Try to extract as DateTime (timezone-aware).

pub fn as_naive_datetime(&self) -> Option<&NdbDateTime>

Try to extract as NaiveDateTime (no timezone).

pub fn as_duration(&self) -> Option<&NdbDuration>

Try to extract as Duration.

pub fn as_decimal(&self) -> Option<&Decimal>

Try to extract as Decimal.

pub fn as_geometry(&self) -> Option<&Geometry>

Try to extract as Geometry.

pub fn as_set(&self) -> Option<&[Value]>

Try to extract as a set (deduplicated array).

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

Try to extract as regex pattern string.

pub fn as_record(&self) -> Option<(&str, &str)>

Try to extract as a record reference (table, id).

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

Return the type name of this value as a string.

pub fn get(&self, field: &str) -> Option<&Value>

Look up a field by name. Returns None for non-Object variants.

pub fn get_mut(&mut self, field: &str) -> Option<&mut Value>

Mutable field lookup. Returns None for non-Object variants.

pub fn as_object(&self) -> Option<&HashMap<String, Value>>

Try to extract as an object (HashMap reference).

pub fn as_object_mut(&mut self) -> Option<&mut HashMap<String, Value>>

Try to extract as a mutable object.

pub fn as_array(&self) -> Option<&[Value]>

Try to extract as an array slice.

pub fn as_array_iter(&self) -> Option<impl Iterator<Item = &Value>>

Get array elements (for IN/array operations).

pub fn vector(floats: impl Into<Arc<[f32]>>) -> Value

Construct a Value::Vector from any slice of f32 values.

pub fn as_vector(&self) -> Option<&[f32]>

Try to extract as an f32 embedding slice.

impl Value

pub fn to_sql_literal(&self) -> String

Convert to a SQL literal string for substitution into SQL text.

Trait Implementations

impl Clone for Value

fn clone(&self) -> Value

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Value

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

Formats the value using the given formatter.

impl Default for Value

fn default() -> Value

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Value

fn deserialize<__D>( __deserializer: __D, ) -> Result<Value, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Value

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

Formats the value using the given formatter.

impl From<&[f32]> for Value

fn from(v: &[f32]) -> Value

Converts to this type from the input type.

impl From<&str> for Value

fn from(s: &str) -> Value

Converts to this type from the input type.

impl From<Arc<[f32]>> for Value

fn from(v: Arc<[f32]>) -> Value

Converts to this type from the input type.

impl From<Decimal> for Value

fn from(d: Decimal) -> Value

Converts to this type from the input type.

impl From<Geometry> for Value

fn from(g: Geometry) -> Value

Converts to this type from the input type.

impl From<NdbDateTime> for Value

fn from(dt: NdbDateTime) -> Value

Converts to this type from the input type.

impl From<NdbDuration> for Value

fn from(d: NdbDuration) -> Value

Converts to this type from the input type.

impl From<String> for Value

fn from(s: String) -> Value

Converts to this type from the input type.

impl From<Value> for Value

fn from(v: Value) -> Value

Converts to this type from the input type.

impl From<Value> for Value

fn from(v: Value) -> Value

Converts to this type from the input type.

impl From<Vec<f32>> for Value

fn from(v: Vec<f32>) -> Value

Converts to this type from the input type.

impl From<Vec<u8>> for Value

fn from(b: Vec<u8>) -> Value

Converts to this type from the input type.

impl From<bool> for Value

fn from(b: bool) -> Value

Converts to this type from the input type.

impl From<f64> for Value

fn from(f: f64) -> Value

Converts to this type from the input type.

impl From<i64> for Value

fn from(i: i64) -> Value

Converts to this type from the input type.

impl<'a> FromMessagePack<'a> for Value

fn read<R>(reader: &mut R) -> Result<Value, Error>

where R: Read<'a>,

Reads the MessagePack representation of this value from the provided reader.

impl PartialEq for Value

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl ToMessagePack for Value

fn write<W>(&self, writer: &mut W) -> Result<(), Error>

where W: Write,

Writes the MessagePack representation of this value into the provided writer.

impl StructuralPartialEq for Value