Struct Expando

Source
pub struct Expando { /* private fields */ }
Expand description

A lazy collection of values of every type.

An Expando contains a single instance of every type. The values are instantiated lazily when accessed. Useful for letting modules add their own state to context objects without requiring the context object itself to know about the types in every module.

Typically the type a module uses in the Expando will be private to that module, which lets the module know that no other code is accessing its slot on the expando.

Implementations§

Source§

impl Expando

Source

pub fn get<T: Any + Send + Sync + Default + 'static>(&self) -> Arc<T>

Get the slot in the expando associated with the given type.

The slot is added to the expando lazily but the same instance is returned every time the expando is queried for the same type.

Source

pub fn get_or_init<T: Any + Send + Sync + 'static>( &self, init: impl FnOnce() -> T, ) -> Arc<T>

Get the slot in the expando associated with the given type, running init to initialize the slot if needed.

The slot is added to the expando lazily but the same instance is returned every time the expando is queried for the same type.

Source

pub fn get_or_try_init<T: Any + Send + Sync + 'static, E>( &self, try_init: impl FnOnce() -> Result<T, E>, ) -> Result<Arc<T>, E>

Get the slot in the expando associated with the given type, running try_init to initialize the slot if needed. Returns an error only if try_init returns an error.

The slot is added to the expando lazily but the same instance is returned every time the expando is queried for the same type.

Source

pub fn peek<T: Any + Send + Sync + 'static>(&self) -> Option<Arc<T>>

Get the slot in the expando associated with the given type if it has previously been initialized.

Source

pub fn remove<T: Any + Send + Sync + 'static>(&self) -> Option<Arc<T>>

Remove the provided type from the expando if it is present.

Trait Implementations§

Source§

impl Debug for Expando

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Default for Expando

Source§

fn default() -> Expando

Returns the “default value” for a type. Read more

Auto Trait Implementations§

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

impl<B, A> LockBefore<B> for A
where B: LockAfter<A>,

§

impl<B, A> LockEqualOrBefore<B> for A
where A: LockBefore<B>,