Struct ArcMappedSignal

pub struct ArcMappedSignal<T> {
    try_read_untracked: Arc<dyn Fn() -> Option<DoubleDeref<Box<dyn Deref<Target = T>>>> + Send + Sync>,
    try_write: Arc<dyn Fn() -> Option<Box<dyn UntrackableGuard<Target = T>>> + Send + Sync>,
    notify: Arc<dyn Fn() + Send + Sync>,
    track: Arc<dyn Fn() + Send + Sync>,
}

A derived signal type that wraps an ArcRwSignal with a mapping function, allowing you to read or write directly to one of its field.

Tracking the mapped signal tracks changes to any part of the signal, and updating the signal notifies and notifies all dependencies of the signal. This is not a mechanism for fine-grained reactive updates to more complex data structures. Instead, it allows you to provide a signal-like API for wrapped types without exposing the original type directly to users.

Fields

try_read_untracked: Arc<dyn Fn() -> Option<DoubleDeref<Box<dyn Deref<Target = T>>>> + Send + Sync>

try_write: Arc<dyn Fn() -> Option<Box<dyn UntrackableGuard<Target = T>>> + Send + Sync>

notify: Arc<dyn Fn() + Send + Sync>

track: Arc<dyn Fn() + Send + Sync>

Implementations

impl<T> ArcMappedSignal<T>

pub fn new<U>( inner: ArcRwSignal<U>, map: fn(&U) -> &T, map_mut: fn(&mut U) -> &mut T, ) -> ArcMappedSignal<T>

where T: 'static, U: Send + Sync + 'static,

Wraps a signal with the given mapping functions for shared and exclusive references.

Trait Implementations

impl<T> Clone for ArcMappedSignal<T>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T> Debug for ArcMappedSignal<T>

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

Formats the value using the given formatter.

impl<T> DefinedAt for ArcMappedSignal<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> From<ArcMappedSignal<T>> for MappedSignal<T>

where T: 'static,

fn from(value: ArcMappedSignal<T>) -> MappedSignal<T>

Converts to this type from the input type.

impl<T> From<ArcMappedSignal<T>> for Signal<T>

where T: Clone + Send + Sync + 'static,

fn from(value: ArcMappedSignal<T>) -> Signal<T>

Converts to this type from the input type.

impl<T> IsDisposed for ArcMappedSignal<T>

fn is_disposed(&self) -> bool

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

impl<T> Notify for ArcMappedSignal<T>

fn notify(&self)

Notifies subscribers of a change in this signal.

impl<T> ReadUntracked for ArcMappedSignal<T>

type Value = DoubleDeref<Box<dyn Deref<Target = T>>>

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

fn try_read_untracked( &self, ) -> Option<<ArcMappedSignal<T> as ReadUntracked>::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<T> Track for ArcMappedSignal<T>

fn track(&self)

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

impl<T> Write for ArcMappedSignal<T>

where T: 'static,

type Value = T

The type of the signal’s value.

fn try_write_untracked(&self) -> Option<impl DerefMut>

or None if the signal has already been disposed.

fn try_write(&self) -> Option<impl UntrackableGuard>

Returns the guard, 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.