Struct Property 

pub struct Property<T> { /* private fields */ }

Thread-safe application state with snapshot reads and atomic publication.

Clones share the value, including when moved into a worker or Tokio task. Reading never evaluates a UI expression. Use Self::local inside an entered super::PropertyGraph to connect to owner-thread computations. A write publishes immediately; attached graphs observe it on their next import. Intermediate revisions may coalesce. Use a channel for events that must each be delivered.

Implementations

impl<T> Property<T>

where T: SharedPropertyValue,

pub fn new(value: T) -> Property<T>

Creates independent shared state. No UI thread or graph is required.

pub fn published(&self) -> Published<T>

Export read-only shared snapshots, including owner-thread computed output.

pub fn get(&self) -> T

Returns a clone of the latest published value on any thread.

pub fn read<R>(&self, f: impl FnOnce(&T) -> R) -> R

Reads an immutable snapshot without holding a storage lock during f. Reentrant reads and writes are permitted here.

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

Revision imported or published by this thread’s entered UI graph. Returns None if this property has no active attachment in that graph. This diagnostic never imports data or evaluates a computation.

pub fn set(&self, value: T)

Atomically publishes a value and requests work from attached graphs.

pub fn update(&self, f: impl FnOnce(&mut T))

Updates one property atomically, invoking f exactly once.

The closure edits a private draft. A panic leaves the published value unchanged. Neither this closure nor value cloning/equality invoked during mutation may recursively mutate a property; this is diagnosed with a panic before acquiring another write lock. Snapshot reads are allowed. Keep callbacks short and never wait for a worker or UI task.

pub fn set_if_neq(&self, value: T) -> bool

where T: PartialEq,

Compares and publishes under the same single-property write operation.

pub fn revision(&self) -> u64

Monotonic revision of the currently published value.

pub fn local(&self) -> LocalProperty<T>

Obtains this graph’s local view of the shared value.

Requires an entered super::PropertyGraph. The view participates in lazy computation and two-way binding on its owner thread. Worker writes become visible to the view when that graph imports publications.

pub fn untyped(&self) -> UntypedProperty

Returns a local dependency handle. This handle cannot cross threads.

pub fn replace_with(&self, source: LocalProperty<T>)

Installs an owner-thread binding while retaining this shared identity.

Trait Implementations

impl<T> Clone for Property<T>

fn clone(&self) -> Property<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T> Debug for Property<T>

where T: SharedPropertyValue + Debug,

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

Formats the value using the given formatter.

impl<T> Default for Property<T>

where T: SharedPropertyValue,

fn default() -> Property<T>

Returns the “default value” for a type.

impl<'de, T> Deserialize<'de> for Property<T>

where T: SharedPropertyValue + Deserialize<'de>,

fn deserialize<D>( deserializer: D, ) -> Result<Property<T>, <D as Deserializer<'de>>::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<T> Interpolatable for Property<T>

where T: SharedPropertyValue,

fn interpolate(&self, other: &Property<T>, t: f64) -> Property<T>

Interpolates this value toward other at time t on the unit interval.

impl<T> PropertyBinding<T> for Property<T>

where T: SharedPropertyValue,

fn from_value(value: T) -> Property<T>

Creates independent literal state of this field’s ownership kind.

fn local(&self) -> LocalProperty<T>

Obtains the owner-thread view used by generated bindings.

fn from_local(source: LocalProperty<T>) -> Property<T>

Aliases a local binding, preserving a shared source when one exists.

impl<T> Serialize for Property<T>

where T: SharedPropertyValue + Serialize,

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<T> ToPaxValue for Property<T>

where T: ToPaxValue + SharedPropertyValue,

fn nested_properties(&self) -> Vec<UntypedProperty>

Live properties read when snapshotting a compound value for PAXEL. Adapters observe these as well as the containing property.

fn to_pax_value(self) -> PaxValue

Converts this value into a PaxValue.

fn to_pax_value_in_graph(self) -> PaxValue

where Self: Sized,

Converts against owner-thread graph views, including nested generated property fields. Requires an entered property graph for shared fields. Ordinary Self::to_pax_value reads published value snapshots.