Struct freya::prelude::Write

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,

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,

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,

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,

§

type Target = T

The resulting type after dereferencing.
§

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

Dereferences the value.
§

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

§

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

Mutably dereferences the value.

Auto Trait Implementations§

§

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

§

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>
where <S as AnyStorage>::Mut<'a, T>: Unpin, T: ?Sized,

§

impl<'a, T, S = UnsyncStorage> !UnwindSafe for Write<'a, T, S>

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
§

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

§

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.
§

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.
§

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.
§

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> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> InitializeFromFunction<T> for T

§

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

Create an instance of this type from an initialization function
§

impl<T> Instrument for T

§

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

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

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
§

impl<T> Pointable for T

§

const ALIGN: usize = _

The alignment of pointer.
§

type Init = T

The type for initializers.
§

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

Initializes a with the given initializer. Read more
§

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

Dereferences the given pointer. Read more
§

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

Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

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

impl<T> Same for T

source§

type Output = T

Should always be Self
§

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

§

fn spawn(self) -> Ret

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

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

§

fn super_from(input: T) -> O

Convert from a type to another type.
§

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

§

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.
§

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

§

fn vzip(self) -> V

§

impl<T> WithSubscriber for T

§

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
§

fn with_current_subscriber(self) -> WithDispatch<Self>

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

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

§

impl<T> MaybeSendSync for T