Struct TokioTaskProvider 

pub struct TokioTaskProvider;

Tokio-based task provider using spawn_local for single-threaded execution.

This provider creates tasks that run on the current thread using tokio’s spawn_local mechanism, ensuring compatibility with simulation environments that require deterministic single-threaded execution.

Trait Implementations

impl Clone for TokioTaskProvider

fn clone(&self) -> TokioTaskProvider

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TokioTaskProvider

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

Formats the value using the given formatter.

impl TaskProvider for TokioTaskProvider

fn spawn_task<F>(&self, name: &str, future: F) -> JoinHandle<()>

where F: Future<Output = ()> + 'static,

Spawn a named task that runs on the current thread.

fn yield_now<'life0, 'async_trait>( &'life0 self, ) -> Pin<Box<dyn Future<Output = ()> + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

Yield control to allow other tasks to run.