pub struct WriteLock<'a, T, S = UnsyncStorage, D = ()>where
T: 'a + ?Sized,
S: AnyStorage,{ /* private fields */ }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,
impl<'a, T, S> WriteLock<'a, T, S>where
S: AnyStorage,
T: ?Sized,
Sourcepub fn new(write: <S as AnyStorage>::Mut<'a, T>) -> WriteLock<'a, T, S>
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,
impl<'a, T, S, D> WriteLock<'a, T, S, D>where
S: AnyStorage,
T: ?Sized,
Sourcepub fn new_with_metadata(
write: <S as AnyStorage>::Mut<'a, T>,
data: D,
) -> WriteLock<'a, T, S, D>
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.
Sourcepub fn into_inner(self) -> <S as AnyStorage>::Mut<'a, T>
pub fn into_inner(self) -> <S as AnyStorage>::Mut<'a, T>
Get the inner value of the write reference.
Sourcepub fn into_parts(self) -> (<S as AnyStorage>::Mut<'a, T>, D)
pub fn into_parts(self) -> (<S as AnyStorage>::Mut<'a, T>, D)
Split into the inner value and the additional data.
Sourcepub fn map_metadata<O>(self, f: impl FnOnce(D) -> O) -> WriteLock<'a, T, S, O>
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.
Sourcepub fn map<O>(
myself: WriteLock<'a, T, S, D>,
f: impl FnOnce(&mut T) -> &mut O,
) -> WriteLock<'a, O, S, D>where
O: ?Sized,
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.
Sourcepub 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,
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
Sourcepub fn downcast_lifetime<'b>(
mut_: WriteLock<'a, T, S, D>,
) -> WriteLock<'b, T, S, D>where
'a: 'b,
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§
Auto Trait Implementations§
impl<'a, T, S, D> Freeze for WriteLock<'a, T, S, D>
impl<'a, T, S, D> RefUnwindSafe for WriteLock<'a, T, S, D>
impl<'a, T, S, D> Send for WriteLock<'a, T, S, D>
impl<'a, T, S, D> Sync for WriteLock<'a, T, S, D>
impl<'a, T, S, D> Unpin for WriteLock<'a, T, S, D>
impl<'a, T, S, D> UnwindSafe for WriteLock<'a, T, S, D>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
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>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
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)
fn as_any(&self) -> &(dyn Any + 'static)
&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)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
&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
impl<T> DowncastSync for T
Source§impl<T> InitializeFromFunction<T> for T
impl<T> InitializeFromFunction<T> for T
Source§fn initialize_from_function(f: fn() -> T) -> T
fn initialize_from_function(f: fn() -> T) -> T
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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 moreSource§impl<T> MaybeBoxed<Box<T>> for T
impl<T> MaybeBoxed<Box<T>> for T
Source§fn maybe_boxed(self) -> Box<T>
fn maybe_boxed(self) -> Box<T>
Source§impl<T> MaybeBoxed<T> for T
impl<T> MaybeBoxed<T> for T
Source§fn maybe_boxed(self) -> T
fn maybe_boxed(self) -> T
Source§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
Source§impl<R> Rng for R
impl<R> Rng for R
Source§fn random<T>(&mut self) -> Twhere
StandardUniform: Distribution<T>,
fn random<T>(&mut self) -> Twhere
StandardUniform: Distribution<T>,
StandardUniform distribution. Read moreSource§fn random_iter<T>(self) -> Iter<StandardUniform, Self, T>
fn random_iter<T>(self) -> Iter<StandardUniform, Self, T>
Source§fn random_range<T, R>(&mut self, range: R) -> Twhere
T: SampleUniform,
R: SampleRange<T>,
fn random_range<T, R>(&mut self, range: R) -> Twhere
T: SampleUniform,
R: SampleRange<T>,
Source§fn random_bool(&mut self, p: f64) -> bool
fn random_bool(&mut self, p: f64) -> bool
p of being true. Read moreSource§fn random_ratio(&mut self, numerator: u32, denominator: u32) -> bool
fn random_ratio(&mut self, numerator: u32, denominator: u32) -> bool
numerator/denominator of being
true. Read moreSource§fn sample<T, D>(&mut self, distr: D) -> Twhere
D: Distribution<T>,
fn sample<T, D>(&mut self, distr: D) -> Twhere
D: Distribution<T>,
Source§fn sample_iter<T, D>(self, distr: D) -> Iter<D, Self, T>where
D: Distribution<T>,
Self: Sized,
fn sample_iter<T, D>(self, distr: D) -> Iter<D, Self, T>where
D: Distribution<T>,
Self: Sized,
Source§fn gen<T>(&mut self) -> Twhere
StandardUniform: Distribution<T>,
fn gen<T>(&mut self) -> Twhere
StandardUniform: Distribution<T>,
random to avoid conflict with the new gen keyword in Rust 2024.Rng::random.Source§fn gen_range<T, R>(&mut self, range: R) -> Twhere
T: SampleUniform,
R: SampleRange<T>,
fn gen_range<T, R>(&mut self, range: R) -> Twhere
T: SampleUniform,
R: SampleRange<T>,
random_rangeRng::random_range.Source§impl<Ret> SpawnIfAsync<(), Ret> for Ret
impl<Ret> SpawnIfAsync<(), Ret> for Ret
Source§impl<T, O> SuperFrom<T> for Owhere
O: From<T>,
impl<T, O> SuperFrom<T> for Owhere
O: From<T>,
Source§fn super_from(input: T) -> O
fn super_from(input: T) -> O
Source§impl<T, O, M> SuperInto<O, M> for Twhere
O: SuperFrom<T, M>,
impl<T, O, M> SuperInto<O, M> for Twhere
O: SuperFrom<T, M>,
Source§fn super_into(self) -> O
fn super_into(self) -> O
Source§impl<R> TryRngCore for R
impl<R> TryRngCore for R
Source§type Error = Infallible
type Error = Infallible
Source§fn try_next_u32(&mut self) -> Result<u32, <R as TryRngCore>::Error>
fn try_next_u32(&mut self) -> Result<u32, <R as TryRngCore>::Error>
u32.Source§fn try_next_u64(&mut self) -> Result<u64, <R as TryRngCore>::Error>
fn try_next_u64(&mut self) -> Result<u64, <R as TryRngCore>::Error>
u64.Source§fn try_fill_bytes(
&mut self,
dst: &mut [u8],
) -> Result<(), <R as TryRngCore>::Error>
fn try_fill_bytes( &mut self, dst: &mut [u8], ) -> Result<(), <R as TryRngCore>::Error>
dest entirely with random data.Source§fn unwrap_mut(&mut self) -> UnwrapMut<'_, Self>
fn unwrap_mut(&mut self) -> UnwrapMut<'_, Self>
UnwrapMut wrapper.Source§fn read_adapter(&mut self) -> RngReadAdapter<'_, Self>where
Self: Sized,
fn read_adapter(&mut self) -> RngReadAdapter<'_, Self>where
Self: Sized,
std only.RngCore to a RngReadAdapter.