Struct Application 

pub struct Application<'turn, 'd> { /* private fields */ }

Implementations

impl Application<'_, '_>

pub fn remaining(self) -> usize

pub fn take(self) -> bool

Spends one credit for work completed directly in this call. Use Application::permit when the admitted transition is delegated to another API so the credit cannot be duplicated before it is used.

pub fn admit_with<T>(self, acquire: impl FnOnce() -> Option<T>) -> Admission<T>

impl<'turn, 'd> Application<'turn, 'd>

pub fn permit(self) -> Option<ApplicationPermit<'turn, 'd>>

Spends one application credit and returns its linear proof.

pub fn admit_next<I: DenseIndex>( self, ready: &mut Drain<'_, I>, ) -> ApplicationAdmission<'turn, 'd, I>

Trait Implementations

impl<'turn, 'd> Clone for Application<'turn, 'd>

fn clone(&self) -> Application<'turn, 'd>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'turn, 'd> Copy for Application<'turn, 'd>