pub struct Write<'a, T, S = UnsyncStorage>where
T: 'static + ?Sized,
S: AnyStorage,{ /* private fields */ }
Expand description
A mutable reference to a signal’s 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.
Write
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 Write::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 Write
You need to get the inner mutable reference with Write::deref_mut
before you match the inner value. If you try to match
without calling Write::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.
Implementations§
§impl<'a, T, S> Write<'a, T, S>where
T: 'static + ?Sized,
S: AnyStorage,
impl<'a, T, S> Write<'a, T, S>where
T: 'static + ?Sized,
S: AnyStorage,
pub fn map<O>(
myself: Write<'a, T, S>,
f: impl FnOnce(&mut T) -> &mut O,
) -> Write<'a, O, S>where
O: ?Sized,
pub fn map<O>(
myself: Write<'a, T, S>,
f: impl FnOnce(&mut T) -> &mut O,
) -> Write<'a, O, S>where
O: ?Sized,
Map the mutable reference to the signal’s value to a new type.
pub fn filter_map<O>(
myself: Write<'a, T, S>,
f: impl FnOnce(&mut T) -> Option<&mut O>,
) -> Option<Write<'a, O, S>>where
O: ?Sized,
pub fn filter_map<O>(
myself: Write<'a, T, S>,
f: impl FnOnce(&mut T) -> Option<&mut O>,
) -> Option<Write<'a, O, S>>where
O: ?Sized,
Try to map the mutable reference to the signal’s value to a new type
pub fn downcast_lifetime<'b>(mut_: Write<'a, T, S>) -> Write<'b, T, S>where
'a: 'b,
pub fn downcast_lifetime<'b>(mut_: Write<'a, T, S>) -> Write<'b, T, S>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§
§impl<T, S> Deref for Write<'_, T, S>where
T: 'static + ?Sized,
S: AnyStorage,
impl<T, S> Deref for Write<'_, T, S>where
T: 'static + ?Sized,
S: AnyStorage,
Auto Trait Implementations§
impl<'a, T, S> Freeze for Write<'a, T, S>
impl<'a, T, S = UnsyncStorage> !RefUnwindSafe for Write<'a, T, S>
impl<'a, T, S = UnsyncStorage> !Send for Write<'a, T, S>
impl<'a, T, S = UnsyncStorage> !Sync for Write<'a, T, S>
impl<'a, T, S> Unpin for Write<'a, T, S>
impl<'a, T, S = UnsyncStorage> !UnwindSafe for Write<'a, T, S>
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
§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§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
.§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
.§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.§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.§impl<T> InitializeFromFunction<T> for T
impl<T> InitializeFromFunction<T> for T
§fn initialize_from_function(f: fn() -> T) -> T
fn initialize_from_function(f: fn() -> T) -> T
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§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 more