Struct PokeDynamicValue 

pub struct PokeDynamicValue<'mem, 'facet> { /* private fields */ }

Lets you mutate a dynamic value (implements mutable operations for DynamicValue types).

This is used for types like facet_value::Value that can hold any of: null, bool, number, string, bytes, array, or object - determined at runtime.

The setter methods (set_null, set_bool, etc.) drop the previous value and re-initialize the storage with the new kind.

Implementations

impl<'mem, 'facet> PokeDynamicValue<'mem, 'facet>

pub const unsafe fn new(value: Poke<'mem, 'facet>, def: DynamicValueDef) -> Self

Creates a new poke dynamic value.

Safety

The caller must ensure that def contains valid vtable function pointers that correctly implement the dynamic-value operations for the actual type.

pub const fn def(&self) -> DynamicValueDef

Returns the dynamic value definition.

pub fn as_peek(&self) -> Peek<'_, 'facet>

Returns the underlying Poke as a read-only Peek.

pub fn kind(&self) -> DynValueKind

Returns the kind of value stored.

pub fn is_null(&self) -> bool

Returns true if the value is null.

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

Returns the boolean value if this is a bool, None otherwise.

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

Returns the i64 value if representable, None otherwise.

pub fn as_u64(&self) -> Option<u64>

Returns the u64 value if representable, None otherwise.

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

Returns the f64 value if this is a number, None otherwise.

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

Returns the string value if this is a string, None otherwise.

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

Returns the bytes value if this is bytes, None otherwise.

pub fn array_len(&self) -> Option<usize>

Returns the length of the array if this is an array, None otherwise.

pub fn object_len(&self) -> Option<usize>

Returns the length of the object if this is an object, None otherwise.

pub fn set_null(&mut self)

Replace the value with null, dropping the previous contents.

pub fn set_bool(&mut self, v: bool)

Replace the value with a boolean, dropping the previous contents.

pub fn set_i64(&mut self, v: i64)

Replace the value with an i64, dropping the previous contents.

pub fn set_u64(&mut self, v: u64)

Replace the value with a u64, dropping the previous contents.

pub fn set_f64(&mut self, v: f64) -> bool

Replace the value with an f64, dropping the previous contents.

Returns false if the value is not representable by the underlying type.

pub fn set_str(&mut self, v: &str)

Replace the value with a string, dropping the previous contents.

pub fn set_bytes(&mut self, v: &[u8]) -> bool

Replace the value with a byte slice, dropping the previous contents.

Returns false if the underlying dynamic value type doesn’t support bytes.

pub fn set_array(&mut self)

Replace the value with an empty array, dropping the previous contents.

pub fn set_object(&mut self)

Replace the value with an empty object, dropping the previous contents.

pub fn push_array_element<T: Facet<'facet>>( &mut self, element: T, ) -> Result<(), ReflectError>

Push an element onto the array value.

The value must already be an array (use set_array first if needed). The element’s shape must match this dynamic value’s shape — a nested element is itself a full dynamic value of the same kind (e.g. another facet_value::Value).

The element is moved into the array (the vtable does the ptr::read); the caller’s original ownership of element is consumed by this call.

pub fn push_array_element_from_heap<const BORROW: bool>( &mut self, element: HeapValue<'facet, BORROW>, ) -> Result<(), ReflectError>

Type-erased push_array_element.

Accepts a HeapValue whose shape must match this dynamic value’s shape.

pub fn end_array(&mut self)

Finalize an array value. No-op if the underlying dynamic-value type doesn’t need it.

pub fn insert_object_entry<T: Facet<'facet>>( &mut self, key: &str, value: T, ) -> Result<(), ReflectError>

Insert a key-value pair into the object value.

The value must already be an object (use set_object first if needed). The value’s shape must match this dynamic value’s shape — a nested value is itself a full dynamic value of the same kind.

value is moved into the object (the vtable does the ptr::read).

pub fn insert_object_entry_from_heap<const BORROW: bool>( &mut self, key: &str, value: HeapValue<'facet, BORROW>, ) -> Result<(), ReflectError>

Type-erased insert_object_entry.

Accepts a HeapValue whose shape must match this dynamic value’s shape.

pub fn end_object(&mut self)

Finalize an object value. No-op if the underlying dynamic-value type doesn’t need it.

pub fn object_get_mut(&mut self, key: &str) -> Option<Poke<'_, 'facet>>

Get a mutable Poke for the value at the given object key.

Returns None if the dynamic value is not an object, the key is missing, or object_get_mut is not implemented for this type.

pub const fn into_inner(self) -> Poke<'mem, 'facet>

Converts this PokeDynamicValue back into a Poke.

pub fn as_peek_dynamic_value(&self) -> PeekDynamicValue<'_, 'facet>

Returns a read-only PeekDynamicValue view.

Trait Implementations

impl<'mem, 'facet> Debug for PokeDynamicValue<'mem, 'facet>

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

Formats the value using the given formatter.