Struct ArcField 

pub struct ArcField<T>
where
    T: 'static,
{ /* private fields */ }

Reference-counted access to a single field of type T.

This can be used to erase the chain of field-accessors, to make it easier to pass this into another component or function without needing to specify the full type signature.

Trait Implementations

impl<T> Clone for ArcField<T>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T> Debug for ArcField<T>

where T: 'static,

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

Formats the value using the given formatter.

impl<T> DefinedAt for ArcField<T>

fn defined_at(&self) -> Option<&'static Location<'static>>

Returns the location at which the signal was defined. This is usually simply None in release mode.

impl<T, S> From<ArcField<T>> for Field<T, S>

where T: 'static, S: Storage<ArcField<T>>,

fn from(value: ArcField<T>) -> Self

Converts to this type from the input type.

impl<T> From<ArcStore<T>> for ArcField<T>

where T: Send + Sync + 'static,

fn from(value: ArcStore<T>) -> Self

Converts to this type from the input type.

impl<Inner, Prev> From<AtIndex<Inner, Prev>> for ArcField<Prev::Output>

where AtIndex<Inner, Prev>: Clone, Inner: StoreField<Value = Prev> + IsDisposed + Send + Sync + 'static, Prev: IndexMut<usize> + Len + Send + Sync + 'static, Prev::Output: Sized + Send + Sync,

fn from(value: AtIndex<Inner, Prev>) -> Self

Converts to this type from the input type.

impl<Inner, Prev, K, T> From<AtKeyed<Inner, Prev, K, T>> for ArcField<T::Value>

where AtKeyed<Inner, Prev, K, T>: Clone, K: Clone + Debug + Send + Sync + PartialEq + Eq + Hash + 'static, KeyedSubfield<Inner, Prev, K, T>: Clone, T: KeyedIterable + KeyedAccess<K> + 'static, for<'a> &'a T: IntoIterator<Item = <T as KeyedIterable>::IterItem<'a>>, Inner: StoreField<Value = Prev> + IsDisposed + Send + Sync + 'static, Prev: 'static, T::Value: Sized,

fn from(value: AtKeyed<Inner, Prev, K, T>) -> Self

Converts to this type from the input type.

impl<Inner, T> From<DerefedField<Inner>> for ArcField<T>

where Inner: Clone + StoreField + IsDisposed + Send + Sync + 'static, Inner::Value: Deref<Target = T> + DerefMut, T: Sized + 'static,

fn from(value: DerefedField<Inner>) -> Self

Converts to this type from the input type.

impl<T, S> From<Store<T, S>> for ArcField<T>

where T: 'static, S: Storage<ArcStore<T>>,

fn from(value: Store<T, S>) -> Self

Converts to this type from the input type.

impl<Inner, Prev, T> From<Subfield<Inner, Prev, T>> for ArcField<T>

where T: Send + Sync, Subfield<Inner, Prev, T>: Clone, Inner: StoreField<Value = Prev> + IsDisposed + Send + Sync + 'static, Prev: 'static,

fn from(value: Subfield<Inner, Prev, T>) -> Self

Converts to this type from the input type.

impl<T> IsDisposed for ArcField<T>

fn is_disposed(&self) -> bool

If true, the signal cannot be accessed without a panic.

impl<T> Notify for ArcField<T>

fn notify(&self)

Notifies subscribers of a change in this signal.

impl<T> ReadUntracked for ArcField<T>

type Value = StoreFieldReader<T>

The guard type that will be returned, which can be dereferenced to the value.

fn try_read_untracked(&self) -> Option<Self::Value>

Returns the guard, or None if the signal has already been disposed.

fn read_untracked(&self) -> Self::Value

Returns the guard.

fn custom_try_read(&self) -> Option<Option<Self::Value>>

This is a backdoor to allow overriding the Read::try_read implementation despite it being auto implemented.

impl<V> SignalOrFn for ArcField<V>

where ArcField<V>: Get<Value = V>,

type Output = V

The value produced (reactively) when invoked.

fn run(&self) -> V

Reactively read the current value (subscribes the active observer).

impl<T> StoreField for ArcField<T>

type Value = T

The value this field contains.

type Reader = StoreFieldReader<T>

A read guard to access this field.

type Writer = StoreFieldWriter<T>

A write guard to update this field.

fn get_trigger(&self, path: StorePath) -> StoreFieldTrigger

Returns the trigger that tracks access and updates for this field.

fn get_trigger_unkeyed(&self, path: StorePath) -> StoreFieldTrigger

Returns the trigger that tracks access and updates for this field.

fn path(&self) -> impl IntoIterator<Item = StorePathSegment>

The path of this field (see StorePath).

fn path_unkeyed(&self) -> impl IntoIterator<Item = StorePathSegment>

The path of this field (see StorePath). Uses unkeyed indices for any keyed fields.

fn reader(&self) -> Option<Self::Reader>

Returns a read guard to access this field.

fn writer(&self) -> Option<Self::Writer>

Returns a write guard to update this field.

fn keys(&self) -> Option<KeyMap>

The keys for this field, if it is a keyed field.

fn track_field(&self)

Reactively tracks this field.

fn triggers_for_current_path(&self) -> Vec<ArcTrigger>

Returns triggers for this field, and all parent fields.

fn triggers_for_path(&self, path: StorePath) -> Vec<ArcTrigger>

Returns triggers for the field at the given path, and all parent fields

fn triggers_for_path_unkeyed(&self, path: StorePath) -> Vec<ArcTrigger>

Returns triggers for the field at the given path, and all parent fields

impl<T> Track for ArcField<T>

fn track(&self)

Subscribes to this signal in the current reactive scope without doing anything with its value.

impl<T> Write for ArcField<T>

type Value = T

The type of the signal’s value.

fn try_write(&self) -> Option<impl UntrackableGuard<Target = Self::Value>>

Returns the guard, or None if the signal has already been disposed.

fn try_write_untracked(&self) -> Option<impl DerefMut<Target = Self::Value>>

or None if the signal has already been disposed.

fn write(&self) -> impl UntrackableGuard

Returns the guard.

fn write_untracked(&self) -> impl DerefMut

Returns a guard that will not notify subscribers when dropped.