Struct Model 

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

A reference-counted handle to a typed model stored in a ModelStore.

This is intentionally gpui-like (Entity<T>):

• Model<T> is a strong handle (cloning increments a per-model strong count).
• WeakModel<T> can be upgraded back to Model<T> if the model is still alive.
• When the last strong handle is dropped, the model is removed from the store.

Implementations

impl<T> Model<T>

pub fn id(&self) -> ModelId

pub fn downgrade(&self) -> WeakModel<T>

Returns a weak handle that can be upgraded if the model is still alive.

pub fn read<H, R>( &self, host: &mut H, f: impl FnOnce(&mut H, &T) -> R, ) -> Result<R, ModelUpdateError>

where H: ModelHost, T: Any,

Reads the model value using the host’s read path.

This acquires a temporary lease and ensures the lease is released even if the closure panics (when panic=unwind).

pub fn update<H, R>( &self, host: &mut H, f: impl FnOnce(&mut T, &mut ModelCx<'_, H>) -> R, ) -> Result<R, ModelUpdateError>

where H: ModelHost, T: Any,

Updates the model value using the host’s update path.

The provided ModelCx exposes the host while the lease is active, allowing updates that coordinate multiple models.

pub fn revision<H>(&self, host: &H) -> Option<u64>

where H: ModelHost, T: Any,

pub fn notify<H>(&self, host: &mut H) -> Result<(), ModelUpdateError>

where H: ModelHost, T: Any,

Marks the model as changed without mutating its value.

This is useful for “derived invalidation” cases where the model’s internal state changes via interior mutability or external resources and you still want observers to re-run.

pub fn read_ref<H, R>( &self, host: &H, f: impl FnOnce(&T) -> R, ) -> Result<R, ModelUpdateError>

where H: ModelHost, T: Any,

Trait Implementations

impl<T> Clone for Model<T>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T> Debug for Model<T>

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

Formats the value using the given formatter.

impl<T> Drop for Model<T>

fn drop(&mut self)

Executes the destructor for this type.

impl<T> Hash for Model<T>

fn hash<H>(&self, state: &mut H)

where H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<T> IntoFormValueModel<T> for &Model<T>

fn into_form_value_model(self) -> Model<T>

impl<T> IntoFormValueModel<T> for Model<T>

fn into_form_value_model(self) -> Model<T>

impl IntoTableStateModel for &Model<TableState>

fn into_table_state_model(self) -> Model<TableState>

impl IntoTableStateModel for Model<TableState>

fn into_table_state_model(self) -> Model<TableState>

impl<T> PartialEq for Model<T>

fn eq(&self, other: &Model<T>) -> 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<T: Any> TrackedModelExt<T> for Model<T>

fn watch_in<'cx, 'a, H: UiHost>( &self, cx: &'cx mut ElementContext<'a, H>, ) -> WatchedModel<'cx, '_, 'a, H, T>

fn paint_in<'cx, 'a, H: UiHost>( &self, cx: &'cx mut ElementContext<'a, H>, ) -> WatchedModel<'cx, '_, 'a, H, T>

fn layout_in<'cx, 'a, H: UiHost>( &self, cx: &'cx mut ElementContext<'a, H>, ) -> WatchedModel<'cx, '_, 'a, H, T>

fn hit_test_in<'cx, 'a, H: UiHost>( &self, cx: &'cx mut ElementContext<'a, H>, ) -> WatchedModel<'cx, '_, 'a, H, T>

impl<T> Eq for Model<T>