Struct Memo

pub struct Memo<T> { /* private fields */ }

Memo computes the value from the closure on creation, and stores the value.

It will act like a Signal when the value is different with the computed value from last run, i.e., it will trigger a effect run when you Get() it whenever the computed value changes to a different value.

Trait Implementations

impl<T: Add<Output = T> + 'static> Add<T> for Memo<T>

where for<'a> &'a T: Add<T, Output = T>,

type Output = T

The resulting type after applying the + operator.

fn add(self, rhs: T) -> Self::Output

Performs the + operation.

impl<T: BitAnd<Output = T> + 'static> BitAnd<T> for Memo<T>

where for<'a> &'a T: BitAnd<T, Output = T>,

type Output = T

The resulting type after applying the & operator.

fn bitand(self, rhs: T) -> Self::Output

Performs the & operation.

impl<T: BitOr<Output = T> + 'static> BitOr<T> for Memo<T>

where for<'a> &'a T: BitOr<T, Output = T>,

type Output = T

The resulting type after applying the | operator.

fn bitor(self, rhs: T) -> Self::Output

Performs the | operation.

impl<T: BitXor<Output = T> + 'static> BitXor<T> for Memo<T>

where for<'a> &'a T: BitXor<T, Output = T>,

type Output = T

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: T) -> Self::Output

Performs the ^ operation.

impl<T> Clone for Memo<T>

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Display + 'static> Display for Memo<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: Div<Output = T> + 'static> Div<T> for Memo<T>

where for<'a> &'a T: Div<T, Output = T>,

type Output = T

The resulting type after applying the / operator.

fn div(self, rhs: T) -> Self::Output

Performs the / operation.

impl<T: Mul<Output = T> + 'static> Mul<T> for Memo<T>

where for<'a> &'a T: Mul<T, Output = T>,

type Output = T

The resulting type after applying the * operator.

fn mul(self, rhs: T) -> Self::Output

Performs the * operation.

impl<T: 'static> Neg for Memo<T>

where for<'a> &'a T: Neg<Output = T>,

type Output = T

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<T: 'static> Not for Memo<T>

where for<'a> &'a T: Not<Output = T>,

type Output = T

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl<T: PartialEq + 'static> PartialEq<T> for Memo<T>

fn eq(&self, other: &T) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: Rem<Output = T> + 'static> Rem<T> for Memo<T>

where for<'a> &'a T: Rem<T, Output = T>,

type Output = T

The resulting type after applying the % operator.

fn rem(self, rhs: T) -> Self::Output

Performs the % operation.

impl<T: Shl<Output = T> + 'static> Shl<T> for Memo<T>

where for<'a> &'a T: Shl<T, Output = T>,

type Output = T

The resulting type after applying the << operator.

fn shl(self, rhs: T) -> Self::Output

Performs the << operation.

impl<T: Shr<Output = T> + 'static> Shr<T> for Memo<T>

where for<'a> &'a T: Shr<T, Output = T>,

type Output = T

The resulting type after applying the >> operator.

fn shr(self, rhs: T) -> Self::Output

Performs the >> operation.

impl<T: Clone> SignalGet<T> for Memo<T>

fn id(&self) -> Id

get the Signal Id

fn get_untracked(&self) -> T

where T: 'static,

Clones and returns the current value stored in the Signal, but it doesn’t subscribe to the current running effect.

fn get(&self) -> T

where T: 'static,

Clones and returns the current value stored in the Signal, and subscribes to the current running effect to this Signal.

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

where T: 'static,

Try to clone and return the current value stored in the Signal, and returns None if it’s already disposed. It subscribes to the current running effect.

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

where T: 'static,

Try to clone and return the current value stored in the Signal, and returns None if it’s already disposed. It doesn’t subscribe to the current running effect.

impl<T> SignalTrack<T> for Memo<T>

fn id(&self) -> Id

fn track(&self)

Only subscribes to the current running effect to this Signal.

fn try_track(&self)

If the signal isn’t disposed,

impl<T> SignalWith<T> for Memo<T>

fn id(&self) -> Id

get the Signal Id

fn with<O>(&self, f: impl FnOnce(&T) -> O) -> O

where T: 'static,

Applies a closure to the current value stored in the Signal, and subscribes to the current running effect to this Memo.

fn with_untracked<O>(&self, f: impl FnOnce(&T) -> O) -> O

where T: 'static,

Applies a closure to the current value stored in the Signal, but it doesn’t subscribe to the current running effect.

fn try_with<O>(&self, f: impl FnOnce(Option<&T>) -> O) -> O

where T: 'static,

If the signal isn’t disposed, applies a closure to the current value stored in the Signal. It subscribes to the current running effect.

fn try_with_untracked<O>(&self, f: impl FnOnce(Option<&T>) -> O) -> O

where T: 'static,

If the signal isn’t disposed, applies a closure to the current value stored in the Signal, but it doesn’t subscribe to the current running effect.

impl<T: Sub<Output = T> + 'static> Sub<T> for Memo<T>

where for<'a> &'a T: Sub<T, Output = T>,

type Output = T

The resulting type after applying the - operator.

fn sub(self, rhs: T) -> Self::Output

Performs the - operation.

impl<T> Copy for Memo<T>