Skip to main content

Effects

Struct Effects 

Source
pub struct Effects<'a, S: AppState> {
    pub out: Vec<EffectEnvelope>,
    /* private fields */
}
Expand description

Builder for emitting side-effects from within a reducer.

Effects accumulates EffectEnvelope values that the runtime collects after the reducer returns. Each effect can carry optional on_ok and on_err callbacks.

§Example

fn handle_save(
    state: &mut MyState,
    _action: Save,
    ctx: &mut ReducerContext<MyState>,
) {
    ctx.effects.http_get("https://api.example.com/save")
        .on_ok(ctx.effects.bind(SaveOk, handle_save_ok as fn(&mut MyState, SaveOk)))
        .on_err(ctx.effects.bind(SaveErr, handle_save_err as fn(&mut MyState, SaveErr)));
}

Fields§

§out: Vec<EffectEnvelope>

Accumulated effect envelopes, drained by the runtime after the reducer.

Implementations§

Source§

impl<'a, S: AppState> Effects<'a, S>

Source

pub fn new(next_req_id: u64, registry: &'a mut ActionRegistry<S>) -> Self

Source

pub fn new_headless(next_req_id: u64) -> Self

Source

pub fn bind<A: Action, H>(&mut self, action: A, handler: H) -> ActionEnvelope
where H: IntoHandler<S, A> + Send + Sync + 'static,

Source

pub fn add(&mut self, effect: SystemEffect) -> u64

Source

pub fn system_effect( &mut self, effect: SystemEffect, ) -> EffectBuilder<'_, 'a, S>

Source

pub fn http_get(&mut self, url: impl Into<String>) -> EffectBuilder<'_, 'a, S>

Source

pub fn file_read(&mut self, path: impl Into<String>) -> EffectBuilder<'_, 'a, S>

Source

pub fn cancel(&mut self, req_id: u64)

Source

pub fn release_resource(&mut self, resource_id: u64)

Auto Trait Implementations§

§

impl<'a, S> Freeze for Effects<'a, S>

§

impl<'a, S> !RefUnwindSafe for Effects<'a, S>

§

impl<'a, S> Send for Effects<'a, S>

§

impl<'a, S> Sync for Effects<'a, S>

§

impl<'a, S> Unpin for Effects<'a, S>
where S: Unpin,

§

impl<'a, S> UnsafeUnpin for Effects<'a, S>

§

impl<'a, S> !UnwindSafe for Effects<'a, 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
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 + Send + Sync>

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