Struct AtIndex

pub struct AtIndex<Inner, Prev> { /* private fields */ }

Provides access to the data at some index in another collection.

Implementations

impl<Inner, Prev> AtIndex<Inner, Prev>

pub fn new(inner: Inner, index: usize) -> Self

Creates a new accessor for the inner collection at the given index.

Trait Implementations

impl<Inner, Prev> Clone for AtIndex<Inner, Prev>

where Inner: Clone,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Inner: Debug, Prev: Debug> Debug for AtIndex<Inner, Prev>

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

Formats the value using the given formatter.

impl<Inner, Prev> DefinedAt for AtIndex<Inner, Prev>

where Inner: StoreField<Value = Prev>,

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<Inner, Prev> From<AtIndex<Inner, Prev>> for ArcField<Prev::Output>

where AtIndex<Inner, Prev>: Clone, Inner: StoreField<Value = Prev> + Send + Sync + 'static, Prev: IndexMut<usize> + 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, S> From<AtIndex<Inner, Prev>> for Field<Prev::Output, S>

where AtIndex<Inner, Prev>: Clone, S: Storage<ArcField<Prev::Output>>, Inner: StoreField<Value = Prev> + Send + Sync + 'static, Prev: IndexMut<usize> + 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> IsDisposed for AtIndex<Inner, Prev>

where Inner: StoreField<Value = Prev> + IsDisposed,

fn is_disposed(&self) -> bool

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

impl<Inner, Prev> Notify for AtIndex<Inner, Prev>

where Inner: StoreField<Value = Prev>, Prev: IndexMut<usize> + 'static, Prev::Output: Sized,

fn notify(&self)

Notifies subscribers of a change in this signal.

impl<Inner, Prev> ReadUntracked for AtIndex<Inner, Prev>

where Inner: StoreField<Value = Prev>, Prev: IndexMut<usize> + 'static, Prev::Output: Sized,

type Value = <AtIndex<Inner, Prev> as StoreField>::Reader

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<Inner, Prev> StoreField for AtIndex<Inner, Prev>

where Inner: StoreField<Value = Prev>, Prev: IndexMut<usize> + 'static, Prev::Output: Sized,

type Value = <Prev as Index<usize>>::Output

The value this field contains.

type Reader = MappedMutArc<<Inner as StoreField>::Reader, <Prev as Index<usize>>::Output>

A read guard to access this field.

type Writer = MappedMutArc<WriteGuard<ArcTrigger, <Inner as StoreField>::Writer>, <Prev as Index<usize>>::Output>

A write guard to update this field.

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

The path of this field (see StorePath).

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

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

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

impl<Inner, Prev> Track for AtIndex<Inner, Prev>

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

fn track(&self)

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

impl<Inner, Prev> Write for AtIndex<Inner, Prev>

where Inner: StoreField<Value = Prev>, Prev: IndexMut<usize> + 'static, Prev::Output: Sized + 'static,

type Value = <Prev as Index<usize>>::Output

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.

impl<Inner, Prev> Copy for AtIndex<Inner, Prev>

where Inner: Copy,