Trait creusot_contracts::std::ops::AsyncFnOnce

pub trait AsyncFnOnce<Args>
where
    Args: Tuple,
{
    type CallOnceFuture: Future<Output = Self::Output>;
    type Output;

    // Required method
    extern "rust-call" fn async_call_once(
        self,
        args: Args,
    ) -> Self::CallOnceFuture;
}

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

An async-aware version of the FnOnce trait.

All async fn and functions returning futures implement this trait.

Required Associated Types

type CallOnceFuture: Future<Output = Self::Output>

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

Future returned by AsyncFnOnce::async_call_once.

type Output

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

Output type of the called closure’s future.

Required Methods

extern "rust-call" fn async_call_once( self, args: Args, ) -> Self::CallOnceFuture

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

Call the AsyncFnOnce, returning a future which may move out of the called closure.

Implementors

impl<'a, A, F> AsyncFnOnce<A> for &'a F

where A: Tuple, F: AsyncFn<A> + ?Sized,

type Output = <F as AsyncFnOnce<A>>::Output

type CallOnceFuture = <F as AsyncFnMut<A>>::CallRefFuture<'a>

impl<'a, A, F> AsyncFnOnce<A> for &'a mut F

where A: Tuple, F: AsyncFnMut<A> + ?Sized,

type Output = <F as AsyncFnOnce<A>>::Output

type CallOnceFuture = <F as AsyncFnMut<A>>::CallRefFuture<'a>

impl<Args, F, A> AsyncFnOnce<Args> for Box<F, A>

where Args: Tuple, F: AsyncFnOnce<Args> + ?Sized, A: Allocator,

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

type CallOnceFuture = <F as AsyncFnOnce<Args>>::CallOnceFuture