Struct Machine 

pub struct Machine<'d, D: Session<'d>> { /* private fields */ }

Exact session owner with one mutually exclusive input/output slot.

Implementations

impl<'d, D: Session<'d>> Machine<'d, D>

pub fn new(inner: D) -> Self

pub fn input(&mut self) -> Access<Input<'_, 'd, D>>

Validates the one callback slot and binds vacancy to this borrow.

pub const fn access(&self) -> Access<()>

pub const fn progress(&self) -> Progress

pub const fn output(&self) -> &Output

pub const fn hold(&self) -> Hold

pub fn finish<I>( &mut self, owner: I, ) -> Result<(Finish<'_, 'd, D>, I), (FinishError, I)>

Binds an orderly-input finish while preserving the caller’s exact owner on both transition outcomes.

pub fn transact<R, E>( &mut self, output: &mut [u8], scratch: &mut Vec<u8>, admit: impl for<'turn> FnOnce(usize, Emission<'turn, 'd, D>) -> Admission<'turn, 'd, D, R, E>, ) -> Transaction<R, E>

Joins at most one session callback to one native admission attempt.

pub fn retire(&mut self)

Retires the session once at the adapter’s observable close boundary.