async_task

Struct WithInfo

Source
pub struct WithInfo<F>(pub F);
Expand description

Pass a scheduling function with more scheduling information - a.k.a. ScheduleInfo.

Sometimes, it’s useful to pass the runnable’s state directly to the scheduling function, such as whether it’s woken up while running. The scheduler can thus use the information to determine its scheduling strategy.

The data source of ScheduleInfo is directly from the actual implementation of the crate itself, different from Runnable’s metadata, which is managed by the caller.

§Examples

use async_task::{ScheduleInfo, WithInfo};
use std::sync::{Arc, Mutex};

// The future inside the task.
let future = async {
    println!("Hello, world!");
};

// If the task gets woken up while running, it will be sent into this channel.
let (s, r) = flume::unbounded();
// Otherwise, it will be placed into this slot.
let lifo_slot = Arc::new(Mutex::new(None));
let schedule = move |runnable, info: ScheduleInfo| {
    if info.woken_while_running {
        s.send(runnable).unwrap()
    } else {
        let last = lifo_slot.lock().unwrap().replace(runnable);
        if let Some(last) = last {
            s.send(last).unwrap()
        }
    }
};

// Create a task with the future and the schedule function.
let (runnable, task) = async_task::spawn(future, WithInfo(schedule));

Tuple Fields§

§0: F

Trait Implementations§

Source§

impl<F: Debug> Debug for WithInfo<F>

Source§

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

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

impl<F> From<F> for WithInfo<F>

Source§

fn from(value: F) -> Self

Converts to this type from the input type.
Source§

impl<M, F> Schedule<M> for WithInfo<F>
where F: Fn(Runnable<M>, ScheduleInfo),

Source§

fn schedule(&self, runnable: Runnable<M>, info: ScheduleInfo)

The actual scheduling procedure.

Auto Trait Implementations§

§

impl<F> Freeze for WithInfo<F>
where F: Freeze,

§

impl<F> RefUnwindSafe for WithInfo<F>
where F: RefUnwindSafe,

§

impl<F> Send for WithInfo<F>
where F: Send,

§

impl<F> Sync for WithInfo<F>
where F: Sync,

§

impl<F> Unpin for WithInfo<F>
where F: Unpin,

§

impl<F> UnwindSafe for WithInfo<F>
where F: UnwindSafe,

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<!> for T

Source§

fn from(t: !) -> T

Converts to this type from the input type.
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.