Skip to main content

Value

Enum Value 

Source
#[non_exhaustive]
pub enum Value { Null, Bool(bool), Int(i64), Float(f64), Str(String), Bytes(Vec<u8>), List(Vec<Value>), Map(BTreeMap<String, Value>), DateTime(String), Date(String), Decimal(String), Uuid(String), }
Expand description

A single language-agnostic value.

The first variants map 1:1 onto JSON. The trailing typed-scalar variants (DateTime, Date, Decimal, Uuid) exist so the cursor codec can round-trip ordering keys with full fidelity — they carry the value’s canonical string form and the binding layer rebuilds the rich host type.

#[non_exhaustive]: this crate is published independently (core-v*) and Value is its central vocabulary type, so a future variant (e.g. a native big-integer) must not be a breaking change for downstream crates — like the sibling public enums (CoreError, FilterOp, …), it requires a _ arm.

Variants (Non-exhaustive)§

This enum is marked as 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

Absence of a value (None / null).

§

Bool(bool)

Boolean.

§

Int(i64)

64-bit signed integer.

§

Float(f64)

64-bit float.

§

Str(String)

UTF-8 string.

§

Bytes(Vec<u8>)

Opaque bytes.

§

List(Vec<Value>)

Ordered list of values.

§

Map(BTreeMap<String, Value>)

String-keyed map (an item / record).

§

DateTime(String)

ISO-8601 datetime (carried as its isoformat() string).

§

Date(String)

ISO-8601 date.

§

Decimal(String)

Arbitrary-precision decimal (carried as its canonical string).

§

Uuid(String)

UUID (carried as its canonical hyphenated string).

Implementations§

Source§

impl Value

Source

pub fn is_null(&self) -> bool

True when this value represents the absence of data.

Source

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

Borrow the inner string for the textual variants, else None.

Trait Implementations§

Source§

impl Clone for Value

Source§

fn clone(&self) -> Value

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for Value

Source§

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

Formats the value using the given formatter. Read more
Source§

impl PartialEq for Value

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 (const: unstable) · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl StructuralPartialEq for Value

Auto Trait Implementations§

§

impl Freeze for Value

§

impl RefUnwindSafe for Value

§

impl Send for Value

§

impl Sync for Value

§

impl Unpin for Value

§

impl UnsafeUnpin for Value

§

impl UnwindSafe for Value

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> DynClone for T
where T: Clone,

Source§

fn __clone_box(&self, _: Private) -> *mut ()

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.