Enum Value 

pub enum Value {
    Null,
    Bool(bool),
    Int(i64),
    Text(String),
    Doc(Doc),
    List(List),
    Deleted,
}

Values that can be stored in CRDT documents.

Value represents all possible data types that can be stored within a CRDT document structure. Values can be either leaf values (terminal data) or branch values (containing other structures).

Value Types

Leaf Values (Terminal Nodes)

• Value::Null - Represents null/empty values
• Value::Bool - Boolean values (true/false)
• Value::Int - 64-bit signed integers
• Value::Text - UTF-8 text strings

Branch Values (Container Nodes)

• Value::Doc - Nested document structures
• Value::List - Ordered collections with stable positioning

CRDT Semantics

• Value::Deleted - Tombstone marker for deleted values

Direct Comparisons

Value implements PartialEq with primitive types for ergonomic comparisons:

let text = Value::Text("hello".to_string());
let number = Value::Int(42);
let flag = Value::Bool(true);

// Direct comparison with primitives
assert!(text == "hello");
assert!(number == 42);
assert!(flag == true);

// Reverse comparisons also work
assert!("hello" == text);
assert!(42 == number);
assert!(true == flag);

// Type mismatches return false
assert!(!(text == 42));
assert!(!(number == "hello"));

CRDT Merge Behavior

• Leaf values: Last-write-wins semantics
• Branch values: Structural merging (recursive for Doc, positional for List)
• Tombstones: Deletion markers that win over any non-deleted value
• Resurrection: Non-deleted values can overwrite tombstones

let mut val1 = Value::Int(42);
let val2 = Value::Int(100);
val1.merge(&val2);  // val1 becomes 100 (last-write-wins)

let mut val3 = Value::Text("hello".to_string());
let deleted = Value::Deleted;
val3.merge(&deleted);  // val3 becomes Deleted (tombstone wins)

Variants

Null

Null/empty value

Bool(bool)

Boolean value

Int(i64)

Integer value

Text(String)

Text string value

Doc(Doc)

Sub-tree containing other nodes

List(List)

Ordered collection of values

Deleted

Tombstone marker for deleted values

Implementations

impl Value

pub fn is_leaf(&self) -> bool

Returns true if this is a leaf value (terminal node)

pub fn is_branch(&self) -> bool

Returns true if this is a branch value (can contain other nodes)

pub fn is_deleted(&self) -> bool

Returns true if this value represents a deletion

pub fn is_null(&self) -> bool

Returns true if this is a null value

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

Returns the type name as a string

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

Attempts to convert to a boolean

pub fn as_bool_or(&self, default: bool) -> bool

Attempts to convert to a boolean, returning default if not a bool

pub fn as_bool_or_false(&self) -> bool

Attempts to convert to a boolean, returning false if not a bool

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

Attempts to convert to an integer

pub fn as_int_or(&self, default: i64) -> i64

Attempts to convert to an integer, returning default if not an int

pub fn as_int_or_zero(&self) -> i64

Attempts to convert to an integer, returning 0 if not an int

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

Attempts to convert to a string

pub fn as_text_or_empty(&self) -> &str

Attempts to convert to a string, returning empty string if not text

pub fn as_doc(&self) -> Option<&Doc>

Attempts to convert to a Doc (returns immutable reference)

pub fn as_doc_mut(&mut self) -> Option<&mut Doc>

Attempts to convert to a mutable Doc reference

pub fn as_list(&self) -> Option<&List>

Attempts to convert to a list (returns immutable reference)

pub fn as_list_mut(&mut self) -> Option<&mut List>

Attempts to convert to a mutable list reference

pub fn merge(&mut self, other: &Value)

Merges another Value into this one (CRDT merge operation)

pub fn to_json_string(&self) -> String

Converts to a JSON-like string representation for human-readable output.

This method produces clean JSON output intended for display, debugging, and export. It differs from serde serialization in important ways:

• Tombstones: Deleted values appear as null instead of being preserved as tombstones
• Purpose: Human-readable output, not CRDT state preservation
• Use cases: Display, debugging, export to external systems

For complete CRDT state preservation including tombstones, use serde serialization instead.

Examples

let value = Value::Text("hello".to_string());
assert_eq!(value.to_json_string(), "\"hello\"");

let deleted = Value::Deleted;
assert_eq!(deleted.to_json_string(), "null"); // Tombstones become null

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

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

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

Formats the value using the given formatter.

impl From<&str> for Value

fn from(value: &str) -> Self

Converts to this type from the input type.

impl From<AuthKey> for Value

fn from(key: AuthKey) -> Value

Converts to this type from the input type.

impl From<DelegatedTreeRef> for Value

fn from(dtref: DelegatedTreeRef) -> Value

Converts to this type from the input type.

impl From<Doc> for Value

fn from(value: Doc) -> Self

Converts to this type from the input type.

impl From<List> for Value

fn from(value: List) -> Self

Converts to this type from the input type.

impl From<Permission> for Value

fn from(perm: Permission) -> Value

Converts to this type from the input type.

impl From<PermissionBounds> for Value

fn from(bounds: PermissionBounds) -> Value

Converts to this type from the input type.

impl From<String> for Value

fn from(value: String) -> Self

Converts to this type from the input type.

impl From<TreeReference> for Value

fn from(tree_ref: TreeReference) -> Value

Converts to this type from the input type.

impl From<bool> for Value

fn from(value: bool) -> Self

Converts to this type from the input type.

impl From<f32> for Value

fn from(value: f32) -> Self

Converts to this type from the input type.

impl From<f64> for Value

fn from(value: f64) -> Self

Converts to this type from the input type.

impl From<i32> for Value

fn from(value: i32) -> Self

Converts to this type from the input type.

impl From<i64> for Value

fn from(value: i64) -> Self

Converts to this type from the input type.

impl From<u32> for Value

fn from(value: u32) -> Self

Converts to this type from the input type.

impl From<u64> for Value

fn from(value: u64) -> Self

Converts to this type from the input type.

impl FromIterator<Value> for List

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

Creates a value from an iterator.

impl PartialEq<&str> for Value

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

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

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 PartialEq<Value> for String

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 PartialEq<Value> for bool

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 PartialEq<Value> for i32

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 PartialEq<Value> for i64

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 PartialEq<Value> for str

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 PartialEq<Value> for u32

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 PartialEq<bool> for Value

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

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

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

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

fn eq(&self, other: &u32) -> 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 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::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<'a> TryFrom<&'a Value> for &'a str

type Error = CRDTError

The type returned in the event of a conversion error.

fn try_from(value: &'a Value) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<&Value> for Doc

type Error = CRDTError

The type returned in the event of a conversion error.

fn try_from(value: &Value) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<&Value> for List

type Error = CRDTError

The type returned in the event of a conversion error.

fn try_from(value: &Value) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<&Value> for String

type Error = CRDTError

The type returned in the event of a conversion error.

fn try_from(value: &Value) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<&Value> for bool

type Error = CRDTError

The type returned in the event of a conversion error.

fn try_from(value: &Value) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<&Value> for i64

type Error = CRDTError

The type returned in the event of a conversion error.

fn try_from(value: &Value) -> Result<Self, Self::Error>

Performs the conversion.

impl Data for Value

impl Eq for Value

impl StructuralPartialEq for Value