Struct RwSignal 

pub struct RwSignal<T, S = SyncStorage> { /* private fields */ }

The reactive-programming vocabulary Component state is built on: signals, memos, and context, flat-re-exported from frust-reactive/ reactive_graph so app authors never name either crate directly. An arena-allocated signal that can be read from or written to.

A signal is a piece of data that may change over time, and notifies other code when it has changed. This is the atomic unit of reactivity, which begins all other processes of reactive updates.

This is an arena-allocated signal, which is Copy and is disposed when its reactive Owner cleans up. For a reference-counted signal that lives as long as a reference to it is alive, see ArcRwSignal.

Core Trait Implementations

Reading the Value

• .get() clones the current value of the signal. If you call it within an effect, it will cause that effect to subscribe to the signal, and to re-run whenever the value of the signal changes.
  • .get_untracked() clones the value of the signal without reactively tracking it.
• .read() returns a guard that allows accessing the value of the signal by reference. If you call it within an effect, it will cause that effect to subscribe to the signal, and to re-run whenever the value of the signal changes.
  • .read_untracked() gives access to the current value of the signal without reactively tracking it.
• .with() allows you to reactively access the signal’s value without cloning by applying a callback function.
  • .with_untracked() allows you to access the signal’s value by applying a callback function without reactively tracking it.
• .to_stream() converts the signal to an async stream of values.

Updating the Value

• .set() sets the signal to a new value.
• .update() updates the value of the signal by applying a closure that takes a mutable reference.
• .write() returns a guard through which the signal can be mutated, and which notifies subscribers when it is dropped.

Each of these has a related _untracked() method, which updates the signal without notifying subscribers. Untracked updates are not desirable in most cases, as they cause “tearing” between the signal’s value and its observed value. If you want a non-reactive container, used ArenaItem instead.

Examples

let count = ArcRwSignal::new(0);

// ✅ calling the getter clones and returns the value
//    this can be `count()` on nightly
assert_eq!(count.get(), 0);

// ✅ calling the setter sets the value
//    this can be `set_count(1)` on nightly
count.set(1);
assert_eq!(count.get(), 1);

// ❌ you could call the getter within the setter
// set_count.set(count.get() + 1);

// ✅ however it's more efficient to use .update() and mutate the value in place
count.update(|count: &mut i32| *count += 1);
assert_eq!(count.get(), 2);

// ✅ you can create "derived signals" with a Fn() -> T interface
let double_count = {
  // clone before moving into the closure because we use it below
  let count = count.clone();
  move || count.get() * 2
};
count.set(0);
assert_eq!(double_count(), 0);
count.set(1);
assert_eq!(double_count(), 2);

Implementations

impl<T> RwSignal<T>

where T: Send + Sync + 'static,

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

Creates a new signal, taking the initial value as its argument.

impl<T, S> RwSignal<T, S>

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

pub fn new_with_storage(value: T) -> RwSignal<T, S>

Creates a new signal with the given arena storage method.

impl<T> RwSignal<T, LocalStorage>

where T: 'static,

pub fn new_local(value: T) -> RwSignal<T, LocalStorage>

Creates a new signal, taking the initial value as its argument. Unlike RwSignal::new, this pins the value to the current thread. Accessing it from any other thread will panic.

impl<T, S> RwSignal<T, S>

where T: 'static, S: Storage<ArcRwSignal<T>> + Storage<ArcReadSignal<T>>,

pub fn read_only(&self) -> ReadSignal<T, S>

Returns a read-only handle to the signal.

impl<T, S> RwSignal<T, S>

where T: 'static, S: Storage<ArcRwSignal<T>> + Storage<ArcWriteSignal<T>>,

pub fn write_only(&self) -> WriteSignal<T, S>

Returns a write-only handle to the signal.

impl<T, S> RwSignal<T, S>

where T: 'static, S: Storage<ArcRwSignal<T>> + Storage<ArcWriteSignal<T>> + Storage<ArcReadSignal<T>>,

pub fn split(&self) -> (ReadSignal<T, S>, WriteSignal<T, S>)

Splits the signal into its readable and writable halves.

pub fn unite( read: ReadSignal<T, S>, write: WriteSignal<T, S>, ) -> Option<RwSignal<T, S>>

Reunites the two halves of a signal. Returns None if the two signals provided were not created from the same signal.

Trait Implementations

impl<T, S> Clone for RwSignal<T, S>

fn clone(&self) -> RwSignal<T, S>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T, S> Copy for RwSignal<T, S>

impl<T, S> Debug for RwSignal<T, S>

where S: Debug,

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

Formats the value using the given formatter.

impl<T, S> Default for RwSignal<T, S>

where T: Default + 'static, S: Storage<ArcRwSignal<T>>,

fn default() -> RwSignal<T, S>

Returns the “default value” for a type.

impl<T, S> DefinedAt for RwSignal<T, S>

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> Dispose for RwSignal<T, S>

fn dispose(self)

Disposes of the signal. This:

impl<T, S> Eq for RwSignal<T, S>

impl<'a, T> From<&'a ArcRwSignal<T>> for RwSignal<T>

where T: Send + Sync + 'static,

fn from(value: &'a ArcRwSignal<T>) -> RwSignal<T>

Converts to this type from the input type.

impl<T> From<ArcRwSignal<T>> for RwSignal<T>

where T: Send + Sync + 'static,

fn from(value: ArcRwSignal<T>) -> RwSignal<T>

Converts to this type from the input type.

impl<T> FromLocal<ArcRwSignal<T>> for RwSignal<T, LocalStorage>

where T: 'static,

fn from_local(value: ArcRwSignal<T>) -> RwSignal<T, LocalStorage>

Converts between the types.

impl<T, S> Hash for RwSignal<T, S>

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, S> IntoInner for RwSignal<T, S>

where S: Storage<ArcRwSignal<T>>,

type Value = T

The type of the value contained in the signal.

fn into_inner(self) -> Option<<RwSignal<T, S> as IntoInner>::Value>

Returns the inner value if this is the only reference to the signal. Otherwise, returns None and drops this reference.

impl<T, S> IsDisposed for RwSignal<T, S>

where T: 'static,

fn is_disposed(&self) -> bool

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

impl<T, S> Notify for RwSignal<T, S>

where S: Storage<ArcRwSignal<T>>,

fn notify(&self)

Notifies subscribers of a change in this signal.

impl<T, S> PartialEq for RwSignal<T, S>

fn eq(&self, other: &RwSignal<T, S>) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<T, S> ReadUntracked for RwSignal<T, S>

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

type Value = ReadGuard<T, Plain<T>>

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

fn try_read_untracked(&self) -> Option<<RwSignal<T, S> 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, S> Write for RwSignal<T, S>

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

type Value = T

The type of the signal’s value.

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

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

fn try_write_untracked( &self, ) -> Option<UntrackedWriteGuard<<RwSignal<T, S> as Write>::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.