Struct MaybeProp 

pub struct MaybeProp<T: 'static, S = SyncStorage>(/* private fields */)
where
    S: Storage<Option<T>> + Storage<SignalTypes<Option<T>, S>>;

A wrapping type for an optional component prop.

This can either be a signal or a non-reactive value, and may or may not have a value. In other words, this is an Option<Signal<Option<T>>>, but automatically flattens its getters.

This creates an extremely flexible type for component libraries, etc.

Examples

let (count, set_count) = signal(Some(2));
let double = |n| n * 2;
let double_count = MaybeProp::derive(move || count.get().map(double));
let memoized_double_count = Memo::new(move |_| count.get().map(double));
let static_value = 5;

// this function takes either a reactive or non-reactive value
fn above_3(arg: &MaybeProp<i32>) -> bool {
    // ✅ calling the signal clones and returns the value
    //    it is a shorthand for arg.get()q
    arg.get().map(|arg| arg > 3).unwrap_or(false)
}

assert_eq!(above_3(&None::<i32>.into()), false);
assert_eq!(above_3(&static_value.into()), true);
assert_eq!(above_3(&count.into()), false);
assert_eq!(above_3(&double_count), true);
assert_eq!(above_3(&memoized_double_count.into()), true);

Implementations

impl<T> MaybeProp<T>

where T: Send + Sync,

pub fn derive( derived_signal: impl Fn() -> Option<T> + Send + Sync + 'static, ) -> Self

Wraps a derived signal, i.e., any computation that accesses one or more reactive signals.

impl<T> MaybeProp<T, LocalStorage>

pub fn derive_local(derived_signal: impl Fn() -> Option<T> + 'static) -> Self

Wraps a derived signal, i.e., any computation that accesses one or more reactive signals.

Trait Implementations

impl<T, S> Clone for MaybeProp<T, S>

where S: Storage<Option<T>> + Storage<SignalTypes<Option<T>, S>>,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug + 'static, S> Debug for MaybeProp<T, S>

where S: Storage<Option<T>> + Storage<SignalTypes<Option<T>, S>> + Debug,

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

Formats the value using the given formatter.

impl<T, S> Default for MaybeProp<T, S>

where S: Storage<Option<T>> + Storage<SignalTypes<Option<T>, S>>,

fn default() -> Self

Returns the “default value” for a type.

impl<T, S> DefinedAt for MaybeProp<T, S>

where S: Storage<Option<T>> + Storage<SignalTypes<Option<T>, S>>,

fn defined_at(&self) -> Option<&'static Location<'static>>

Returns the location at which the signal was defined. This is usually simply None in release mode.

impl<T, S> Fn() for MaybeProp<T, S>

where MaybeProp<T, S>: Get, S: Storage<T> + Storage<Option<T>> + Storage<SignalTypes<Option<T>, S>>,

extern "rust-call" fn call(&self, _args: ()) -> Self::Output

🔬This is a nightly-only experimental API. (fn_traits)

Performs the call operation.

impl<T, S> FnMut() for MaybeProp<T, S>

where MaybeProp<T, S>: Get, S: Storage<T> + Storage<Option<T>> + Storage<SignalTypes<Option<T>, S>>,

extern "rust-call" fn call_mut(&mut self, _args: ()) -> Self::Output

🔬This is a nightly-only experimental API. (fn_traits)

Performs the call operation.

impl<T, S> FnOnce() for MaybeProp<T, S>

where MaybeProp<T, S>: Get, S: Storage<T> + Storage<Option<T>> + Storage<SignalTypes<Option<T>, S>>,

type Output = <MaybeProp<T, S> as Get>::Value

The returned type after the call operator is used.

extern "rust-call" fn call_once(self, _args: ()) -> Self::Output

🔬This is a nightly-only experimental API. (fn_traits)

Performs the call operation.

impl From<&str> for MaybeProp<String>

fn from(value: &str) -> Self

Converts to this type from the input type.

impl From<&str> for MaybeProp<String, LocalStorage>

fn from(value: &str) -> Self

Converts to this type from the input type.

impl<T> From<MaybeProp<T>> for Option<Signal<Option<T>>>

where T: Send + Sync + 'static,

fn from(value: MaybeProp<T>) -> Self

Converts to this type from the input type.

impl<T> From<MaybeProp<T, LocalStorage>> for Option<Signal<Option<T>, LocalStorage>>

where T: Send + Sync + 'static,

fn from(value: MaybeProp<T, LocalStorage>) -> Self

Converts to this type from the input type.

impl<T> From<MaybeSignal<Option<T>>> for MaybeProp<T>

where T: Send + Sync, SyncStorage: Storage<Option<T>>,

fn from(value: MaybeSignal<Option<T>>) -> Self

Converts to this type from the input type.

impl<T> From<MaybeSignal<Option<T>, LocalStorage>> for MaybeProp<T, LocalStorage>

where T: Send + Sync,

fn from(value: MaybeSignal<Option<T>, LocalStorage>) -> Self

Converts to this type from the input type.

impl<T> From<Memo<Option<T>>> for MaybeProp<T>

where T: Send + Sync,

fn from(value: Memo<Option<T>>) -> Self

Converts to this type from the input type.

impl<T> From<Memo<Option<T>, LocalStorage>> for MaybeProp<T, LocalStorage>

where T: Send + Sync,

fn from(value: Memo<Option<T>, LocalStorage>) -> Self

Converts to this type from the input type.

impl<T> From<Memo<T>> for MaybeProp<T>

where T: Send + Sync + Clone,

fn from(value: Memo<T>) -> Self

Converts to this type from the input type.

impl<T> From<Memo<T, LocalStorage>> for MaybeProp<T, LocalStorage>

where T: Send + Sync + Clone,

fn from(value: Memo<T, LocalStorage>) -> Self

Converts to this type from the input type.

impl<T> From<Option<MaybeSignal<Option<T>>>> for MaybeProp<T>

where T: Send + Sync, SyncStorage: Storage<Option<T>>,

fn from(value: Option<MaybeSignal<Option<T>>>) -> Self

Converts to this type from the input type.

impl<T> From<Option<MaybeSignal<Option<T>, LocalStorage>>> for MaybeProp<T, LocalStorage>

where T: Send + Sync,

fn from(value: Option<MaybeSignal<Option<T>, LocalStorage>>) -> Self

Converts to this type from the input type.

impl<T> From<Option<T>> for MaybeProp<T>

where T: Send + Sync, SyncStorage: Storage<Option<T>>,

fn from(value: Option<T>) -> Self

Converts to this type from the input type.

impl<T> From<ReadSignal<Option<T>>> for MaybeProp<T>

where T: Send + Sync,

fn from(value: ReadSignal<Option<T>>) -> Self

Converts to this type from the input type.

impl<T> From<ReadSignal<Option<T>, LocalStorage>> for MaybeProp<T, LocalStorage>

where T: Send + Sync,

fn from(value: ReadSignal<Option<T>, LocalStorage>) -> Self

Converts to this type from the input type.

impl<T> From<ReadSignal<T>> for MaybeProp<T>

where T: Send + Sync + Clone,

fn from(value: ReadSignal<T>) -> Self

Converts to this type from the input type.

impl<T> From<ReadSignal<T, LocalStorage>> for MaybeProp<T, LocalStorage>

where T: Send + Sync + Clone,

fn from(value: ReadSignal<T, LocalStorage>) -> Self

Converts to this type from the input type.

impl<T> From<RwSignal<Option<T>>> for MaybeProp<T>

where T: Send + Sync,

fn from(value: RwSignal<Option<T>>) -> Self

Converts to this type from the input type.

impl<T> From<RwSignal<Option<T>, LocalStorage>> for MaybeProp<T, LocalStorage>

where T: Send + Sync,

fn from(value: RwSignal<Option<T>, LocalStorage>) -> Self

Converts to this type from the input type.

impl<T> From<RwSignal<T>> for MaybeProp<T>

where T: Send + Sync + Clone,

fn from(value: RwSignal<T>) -> Self

Converts to this type from the input type.

impl<T> From<RwSignal<T, LocalStorage>> for MaybeProp<T, LocalStorage>

where T: Send + Sync + Clone,

fn from(value: RwSignal<T, LocalStorage>) -> Self

Converts to this type from the input type.

impl<T> From<Signal<Option<T>>> for MaybeProp<T>

where T: Send + Sync, SyncStorage: Storage<Option<T>>,

fn from(value: Signal<Option<T>>) -> Self

Converts to this type from the input type.

impl<T> From<Signal<Option<T>, LocalStorage>> for MaybeProp<T, LocalStorage>

fn from(value: Signal<Option<T>, LocalStorage>) -> Self

Converts to this type from the input type.

impl<T> From<Signal<T>> for MaybeProp<T>

where T: Send + Sync + Clone,

fn from(value: Signal<T>) -> Self

Converts to this type from the input type.

impl<T> From<Signal<T, LocalStorage>> for MaybeProp<T, LocalStorage>

where T: Send + Sync + Clone,

fn from(value: Signal<T, LocalStorage>) -> Self

Converts to this type from the input type.

impl<T> From<T> for MaybeProp<T>

where T: Send + Sync, SyncStorage: Storage<Option<T>>,

fn from(value: T) -> Self

Converts to this type from the input type.

impl<T> FromLocal<Option<T>> for MaybeProp<T, LocalStorage>

fn from_local(value: Option<T>) -> Self

Converts between the types.

impl<T> FromLocal<T> for MaybeProp<T, LocalStorage>

fn from_local(value: T) -> Self

Converts between the types.

impl<T: PartialEq + 'static, S> PartialEq for MaybeProp<T, S>

where S: Storage<Option<T>> + Storage<SignalTypes<Option<T>, S>> + PartialEq,

fn eq(&self, other: &MaybeProp<T, S>) -> 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, S> ReadUntracked for MaybeProp<T, S>

where T: Clone, S: Storage<Option<T>> + Storage<SignalTypes<Option<T>, S>>,

type Value = ReadGuard<Option<T>, SignalReadGuard<Option<T>, S>>

The guard type that will be returned, which can be dereferenced to the value.

fn try_read_untracked(&self) -> Option<Self::Value>

Returns the guard, or None if the signal has already been disposed.

fn custom_try_read(&self) -> Option<Option<Self::Value>>

This is a backdoor to allow overriding the Read::try_read implementation despite it being auto implemented.

fn read_untracked(&self) -> Self::Value

Returns the guard.

impl<T, St> Serialize for MaybeProp<T, St>

where T: Send + Sync + Serialize, St: Storage<SignalTypes<Option<T>, St>> + Storage<Option<T>>,

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl<T, S> Track for MaybeProp<T, S>

where S: Storage<Option<T>> + Storage<SignalTypes<Option<T>, S>>,

fn track(&self)

Subscribes to this signal in the current reactive scope without doing anything with its value.

impl<T, S> Copy for MaybeProp<T, S>

where S: Storage<Option<T>> + Storage<SignalTypes<Option<T>, S>>,

impl<T: Eq + 'static, S> Eq for MaybeProp<T, S>

where S: Storage<Option<T>> + Storage<SignalTypes<Option<T>, S>> + Eq,

impl<T: 'static, S> StructuralPartialEq for MaybeProp<T, S>

where S: Storage<Option<T>> + Storage<SignalTypes<Option<T>, S>>,