Enum Value 

pub enum Value {
    Null,
    Bool(bool),
    Int(i64),
    Float(f64),
    Str(String),
    Bytes(Vec<u8>),
    Array(Vec<Self>),
    Object(Vec<(String, Self)>),
}

A dynamically-typed value that maps to JSON conceptually but serializes via postcard. Uses Vec<(String, Value)> for objects (not HashMap) to guarantee deterministic serialization.

Variants

Null

Bool(bool)

Int(i64)

Float(f64)

Str(String)

Bytes(Vec<u8>)

Array(Vec<Self>)

Object(Vec<(String, Self)>)

Implementations

impl Value

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

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

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

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

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

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

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

pub fn as_object(&self) -> Option<&[(String, Self)]>

The fields of an object value, in insertion order.

pub fn get(&self, key: &str) -> Option<&Self>

Look up a key in an object value.

Returns None if this is not an object, or has no such key. Objects are a Vec of pairs rather than a map (to keep serialization deterministic), so this is a linear scan — fine for the document-shaped objects it exists for, not for large ones.

pub fn is_null(&self) -> bool

True for Value::Null.

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

Compare two Values for ordering (used by query engine range ops). Returns None if the values are not comparable (different types).

Trait Implementations

impl Clone for Value

fn clone(&self) -> Self

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

Formats the value using the given formatter.

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

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Value

Human-readable rendering, for logs, error messages, and {} in tests.

This is not a serialization format — it is lossy on purpose (Bytes renders as a length, not its contents) and must not be parsed. Use serde for round-tripping.

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

Formats the value using the given formatter.

impl From<&[u8]> for Value

fn from(v: &[u8]) -> Self

Converts to this type from the input type.

impl From<&str> for Value

fn from(v: &str) -> Self

Converts to this type from the input type.

impl<T: Into<Self>> From<Option<T>> for Value

None becomes Value::Null — the document model has no notion of an absent-but-present field, so an optional field is either null or omitted.

fn from(v: Option<T>) -> Self

Converts to this type from the input type.

impl From<String> for Value

fn from(v: String) -> Self

Converts to this type from the input type.

impl From<Vec<(String, Value)>> for Value

fn from(v: Vec<(String, Value)>) -> Self

Converts to this type from the input type.

impl From<Vec<Value>> for Value

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

Converts to this type from the input type.

impl From<Vec<u8>> for Value

fn from(v: Vec<u8>) -> Self

Converts to this type from the input type.

impl From<bool> for Value

fn from(v: bool) -> Self

Converts to this type from the input type.

impl From<f32> for Value

fn from(v: f32) -> Self

Converts to this type from the input type.

impl From<f64> for Value

fn from(v: f64) -> Self

Converts to this type from the input type.

impl From<i8> for Value

fn from(v: i8) -> Self

Converts to this type from the input type.

impl From<i16> for Value

fn from(v: i16) -> Self

Converts to this type from the input type.

impl From<i32> for Value

fn from(v: i32) -> Self

Converts to this type from the input type.

impl From<i64> for Value

fn from(v: i64) -> Self

Converts to this type from the input type.

impl From<u8> for Value

fn from(v: u8) -> Self

Converts to this type from the input type.

impl From<u16> for Value

fn from(v: u16) -> Self

Converts to this type from the input type.

impl From<u32> for Value

fn from(v: u32) -> Self

Converts to this type from the input type.

impl<T: Into<Self>> FromIterator<T> for Value

fn from_iter<I: IntoIterator<Item = T>>(iter: I) -> Self

Creates a value from an iterator.

impl PartialEq for Value

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Value

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 Value