Trait creusot_contracts::std::ops::AsyncFn

pub trait AsyncFn<Args>: AsyncFnMut<Args>
where
    Args: Tuple,
{
    // Required method
    extern "rust-call" fn async_call(
        &self,
        args: Args,
    ) -> Self::CallRefFuture<'_>;
}

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

An async-aware version of the Fn trait.

All async fn and functions returning futures implement this trait.

Required Methods

extern "rust-call" fn async_call( &self, args: Args, ) -> Self::CallRefFuture<'_>

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

Call the AsyncFn, returning a future which may borrow from the called closure.

Object Safety

This trait is not object safe.

Implementors

impl<A, F> AsyncFn<A> for &F

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

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

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