WriteLock

Struct WriteLock 

Source
pub struct WriteLock<'a, T, S = UnsyncStorage, D = ()>
where T: 'a + ?Sized, S: AnyStorage,
{ /* private fields */ }
Available on crate feature prelude only.
Expand description

A mutable reference to a writable value. This reference acts similarly to std::cell::RefMut, but it has extra debug information and integrates with the reactive system to automatically update dependents.

WriteLock implements DerefMut which means you can call methods on the inner value just like you would on a mutable reference to the inner value. If you need to get the inner reference directly, you can call WriteLock::deref_mut.

§Example

fn app() -> Element {
    let mut value = use_signal(|| String::from("hello"));

    rsx! {
        button {
            onclick: move |_| {
                let mut mutable_reference = value.write();

                // You call methods like `push_str` on the reference just like you would with the inner String
                mutable_reference.push_str("world");
            },
            "Click to add world to the string"
        }
        div { "{value}" }
    }
}

§Matching on WriteLock

You need to get the inner mutable reference with WriteLock::deref_mut before you match the inner value. If you try to match without calling WriteLock::deref_mut, you will get an error like this:

#[derive(Debug)]
enum Colors {
    Red(u32),
    Green
}
fn app() -> Element {
    let mut value = use_signal(|| Colors::Red(0));

    rsx! {
        button {
            onclick: move |_| {
                let mut mutable_reference = value.write();

                match mutable_reference {
                    // Since we are matching on the `Write` type instead of &mut Colors, we can't match on the enum directly
                    Colors::Red(brightness) => *brightness += 1,
                    Colors::Green => {}
                }
            },
            "Click to add brightness to the red color"
        }
        div { "{value:?}" }
    }
}
error[E0308]: mismatched types
  --> src/main.rs:18:21
   |
16 |                 match mutable_reference {
   |                       ----------------- this expression has type `dioxus::prelude::Write<'_, Colors>`
17 |                     // Since we are matching on the `Write` t...
18 |                     Colors::Red(brightness) => *brightness += 1,
   |                     ^^^^^^^^^^^^^^^^^^^^^^^ expected `Write<'_, Colors>`, found `Colors`
   |
   = note: expected struct `dioxus::prelude::Write<'_, Colors, >`
               found enum `Colors`

Instead, you need to call deref mut on the reference to get the inner value before you match on it:

use std::ops::DerefMut;
#[derive(Debug)]
enum Colors {
    Red(u32),
    Green
}
fn app() -> Element {
    let mut value = use_signal(|| Colors::Red(0));

    rsx! {
        button {
            onclick: move |_| {
                let mut mutable_reference = value.write();

                // DerefMut converts the `Write` into a `&mut Colors`
                match mutable_reference.deref_mut() {
                    // Now we can match on the inner value
                    Colors::Red(brightness) => *brightness += 1,
                    Colors::Green => {}
                }
            },
            "Click to add brightness to the red color"
        }
        div { "{value:?}" }
    }
}

§Generics

  • T is the current type of the write
  • S is the storage type of the signal. This type determines if the signal is local to the current thread, or it can be shared across threads.
  • D is the additional data associated with the write reference. This is used by signals to track when the write is dropped

Implementations§

Source§

impl<'a, T, S> WriteLock<'a, T, S>
where S: AnyStorage, T: ?Sized,

Source

pub fn new(write: <S as AnyStorage>::Mut<'a, T>) -> WriteLock<'a, T, S>

Create a new write reference

Source§

impl<'a, T, S, D> WriteLock<'a, T, S, D>
where S: AnyStorage, T: ?Sized,

Source

pub fn new_with_metadata( write: <S as AnyStorage>::Mut<'a, T>, data: D, ) -> WriteLock<'a, T, S, D>

Create a new write reference with additional data.

Source

pub fn into_inner(self) -> <S as AnyStorage>::Mut<'a, T>

Get the inner value of the write reference.

Source

pub fn data(&self) -> &D

Get the additional data associated with the write reference.

Source

pub fn into_parts(self) -> (<S as AnyStorage>::Mut<'a, T>, D)

Split into the inner value and the additional data.

Source

pub fn map_metadata<O>(self, f: impl FnOnce(D) -> O) -> WriteLock<'a, T, S, O>

Map the metadata of the write reference to a new type.

Source

pub fn map<O>( myself: WriteLock<'a, T, S, D>, f: impl FnOnce(&mut T) -> &mut O, ) -> WriteLock<'a, O, S, D>
where O: ?Sized,

Map the mutable reference to the signal’s value to a new type.

Source

pub fn filter_map<O>( myself: WriteLock<'a, T, S, D>, f: impl FnOnce(&mut T) -> Option<&mut O>, ) -> Option<WriteLock<'a, O, S, D>>
where O: ?Sized,

Try to map the mutable reference to the signal’s value to a new type

Source

pub fn downcast_lifetime<'b>( mut_: WriteLock<'a, T, S, D>, ) -> WriteLock<'b, T, S, D>
where 'a: 'b,

Downcast the lifetime of the mutable reference to the signal’s value.

This function enforces the variance of the lifetime parameter 'a in Mut. Rust will typically infer this cast with a concrete type, but it cannot with a generic type.

Trait Implementations§

Source§

impl<T, S, D> Deref for WriteLock<'_, T, S, D>
where S: AnyStorage, T: ?Sized,

Source§

type Target = T

The resulting type after dereferencing.
Source§

fn deref(&self) -> &<WriteLock<'_, T, S, D> as Deref>::Target

Dereferences the value.
Source§

impl<T, S, D> DerefMut for WriteLock<'_, T, S, D>
where S: AnyStorage, T: ?Sized,

Source§

fn deref_mut(&mut self) -> &mut <WriteLock<'_, T, S, D> as Deref>::Target

Mutably dereferences the value.

Auto Trait Implementations§

§

impl<'a, T, S, D> Freeze for WriteLock<'a, T, S, D>
where <S as AnyStorage>::Mut<'a, T>: Freeze, D: Freeze, T: ?Sized,

§

impl<'a, T, S, D> RefUnwindSafe for WriteLock<'a, T, S, D>
where <S as AnyStorage>::Mut<'a, T>: RefUnwindSafe, D: RefUnwindSafe, T: ?Sized,

§

impl<'a, T, S, D> Send for WriteLock<'a, T, S, D>
where <S as AnyStorage>::Mut<'a, T>: Send, D: Send, T: ?Sized,

§

impl<'a, T, S, D> Sync for WriteLock<'a, T, S, D>
where <S as AnyStorage>::Mut<'a, T>: Sync, D: Sync, T: ?Sized,

§

impl<'a, T, S, D> Unpin for WriteLock<'a, T, S, D>
where <S as AnyStorage>::Mut<'a, T>: Unpin, D: Unpin, T: ?Sized,

§

impl<'a, T, S, D> UnwindSafe for WriteLock<'a, T, S, D>
where <S as AnyStorage>::Mut<'a, T>: UnwindSafe, D: UnwindSafe, T: ?Sized,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> Downcast<T> for T

Source§

fn downcast(&self) -> &T

Source§

impl<T> Downcast for T
where T: Any,

Source§

fn into_any(self: Box<T>) -> Box<dyn Any>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.
Source§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
Source§

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
Source§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
Source§

impl<T> DowncastSync for T
where T: Any + Send + Sync,

Source§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Sync + Send>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> InitializeFromFunction<T> for T

Source§

fn initialize_from_function(f: fn() -> T) -> T

Create an instance of this type from an initialization function
Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> MaybeBoxed<Box<T>> for T

Source§

fn maybe_boxed(self) -> Box<T>

Convert
Source§

impl<T> MaybeBoxed<T> for T

Source§

fn maybe_boxed(self) -> T

Convert
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> PolicyExt for T
where T: ?Sized,

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<P, T> Receiver for P
where P: Deref<Target = T> + ?Sized, T: ?Sized,

Source§

type Target = T

🔬This is a nightly-only experimental API. (arbitrary_self_types)
The target type on which the method may be called.
Source§

impl<R> Rng for R
where R: RngCore + ?Sized,

Source§

fn random<T>(&mut self) -> T

Return a random value via the StandardUniform distribution. Read more
Source§

fn random_iter<T>(self) -> Iter<StandardUniform, Self, T>

Return an iterator over random variates Read more
Source§

fn random_range<T, R>(&mut self, range: R) -> T
where T: SampleUniform, R: SampleRange<T>,

Generate a random value in the given range. Read more
Source§

fn random_bool(&mut self, p: f64) -> bool

Return a bool with a probability p of being true. Read more
Source§

fn random_ratio(&mut self, numerator: u32, denominator: u32) -> bool

Return a bool with a probability of numerator/denominator of being true. Read more
Source§

fn sample<T, D>(&mut self, distr: D) -> T
where D: Distribution<T>,

Sample a new value, using the given distribution. Read more
Source§

fn sample_iter<T, D>(self, distr: D) -> Iter<D, Self, T>
where D: Distribution<T>, Self: Sized,

Create an iterator that generates values using the given distribution. Read more
Source§

fn fill<T>(&mut self, dest: &mut T)
where T: Fill + ?Sized,

Fill any type implementing Fill with random data Read more
Source§

fn gen<T>(&mut self) -> T

👎Deprecated since 0.9.0: Renamed to random to avoid conflict with the new gen keyword in Rust 2024.
Alias for Rng::random.
Source§

fn gen_range<T, R>(&mut self, range: R) -> T
where T: SampleUniform, R: SampleRange<T>,

👎Deprecated since 0.9.0: Renamed to random_range
Source§

fn gen_bool(&mut self, p: f64) -> bool

👎Deprecated since 0.9.0: Renamed to random_bool
Alias for Rng::random_bool.
Source§

fn gen_ratio(&mut self, numerator: u32, denominator: u32) -> bool

👎Deprecated since 0.9.0: Renamed to random_ratio
Source§

impl<T> RngCore for T
where T: DerefMut, <T as Deref>::Target: RngCore,

Source§

fn next_u32(&mut self) -> u32

Return the next random u32. Read more
Source§

fn next_u64(&mut self) -> u64

Return the next random u64. Read more
Source§

fn fill_bytes(&mut self, dst: &mut [u8])

Fill dest with random data. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<Ret> SpawnIfAsync<(), Ret> for Ret

Source§

fn spawn(self) -> Ret

Spawn the value into the dioxus runtime if it is an async block
Source§

impl<T, O> SuperFrom<T> for O
where O: From<T>,

Source§

fn super_from(input: T) -> O

Convert from a type to another type.
Source§

impl<T, O, M> SuperInto<O, M> for T
where O: SuperFrom<T, M>,

Source§

fn super_into(self) -> O

Convert from a type to another type.
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<R> TryRngCore for R
where R: RngCore + ?Sized,

Source§

type Error = Infallible

The type returned in the event of a RNG error.
Source§

fn try_next_u32(&mut self) -> Result<u32, <R as TryRngCore>::Error>

Return the next random u32.
Source§

fn try_next_u64(&mut self) -> Result<u64, <R as TryRngCore>::Error>

Return the next random u64.
Source§

fn try_fill_bytes( &mut self, dst: &mut [u8], ) -> Result<(), <R as TryRngCore>::Error>

Fill dest entirely with random data.
Source§

fn unwrap_err(self) -> UnwrapErr<Self>
where Self: Sized,

Wrap RNG with the UnwrapErr wrapper.
Source§

fn unwrap_mut(&mut self) -> UnwrapMut<'_, Self>

Wrap RNG with the UnwrapMut wrapper.
Source§

fn read_adapter(&mut self) -> RngReadAdapter<'_, Self>
where Self: Sized,

Available on crate feature std only.
Convert an RngCore to a RngReadAdapter.
Source§

impl<T> Upcast<T> for T

Source§

fn upcast(&self) -> Option<&T>

Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

impl<T> CryptoRng for T
where T: DerefMut, <T as Deref>::Target: CryptoRng,

Source§

impl<T> ErasedDestructor for T
where T: 'static,

Source§

impl<R> TryCryptoRng for R
where R: CryptoRng + ?Sized,

Source§

impl<T> WasmNotSend for T
where T: Send,

Source§

impl<T> WasmNotSend for T
where T: Send,

Source§

impl<T> WasmNotSendSync for T

Source§

impl<T> WasmNotSendSync for T

Source§

impl<T> WasmNotSync for T
where T: Sync,

Source§

impl<T> WasmNotSync for T
where T: Sync,