Struct DynFar 

pub struct DynFar<T>
where
    T: ?Sized,
{ /* private fields */ }

Available on crate feature bank only.

A far pointer whose bank is known only at runtime: a group-erased Far.

DynFar is the no-alloc, vtable-free type erasure of Far: the group type becomes a BankNumber stored inline, so far pointers of different banks share one type and can live in the same collection. Every access switches to the stored bank (there is no compile-time group to elide it against).

Obtain one with Far::erase.

Examples

fn run_each(bank: &mut Bank<GroupZero>, behaviours: &[DynFar<fn(u8)>], state: u8) {
    for b in behaviours {
        b.invoke(bank, (state,));   // switch to each one's bank, run, restore
    }
}

Trait Implementations

impl<T> BankSafe for DynFar<T>

where T: ?Sized,

impl<T> Clone for DynFar<T>

where T: ?Sized,

fn clone(&self) -> DynFar<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T> Copy for DynFar<T>

where T: ?Sized,

impl<F, Args> FarCall<Args> for DynFar<F>

where F: Copy + Fn<Args>, Args: Tuple + BankSafe, <F as FnOnce<Args>>::Output: BankSafe,

type Output = <F as FnOnce<Args>>::Output

The function’s return type.

fn invoke<C>( &self, _outer: &mut Bank<C>, args: Args, ) -> <F as FnOnce<Args>>::Output

where C: Group,

Switch into the far function’s bank, call it with args, restore C.

impl<T> FarWith<T> for DynFar<T>

where T: ?Sized,

fn there<C, R>( &self, _anchor: Anchor, _outer: &mut Bank<C>, f: impl FnOnce(&T) -> R, ) -> R

where C: Group, R: BankSafe,

Switch into the data’s bank, lend &T to f, restore C.

impl<T> Sync for DynFar<T>

where T: ?Sized,