Struct Prepared 

pub struct Prepared<S, I> { /* private fields */ }

Fully validated, proof-carrying startup input for one worker driver.

Retains the installer with its claims until the exact domain is entered.

Implementations

impl<S, I> Prepared<S, I>

pub const fn layout(&self) -> Config

impl<S, I> Prepared<S, I>

where S: Direct,

pub fn enter_local<O, R, Done>( self, op: O, report: impl Observe, finish: impl for<'owner> FnOnce(Result<R, EnterError<'owner, Infallible, (I, O), R>>) -> Done, ) -> Done

where O: for<'scope, 'life, 'p, 'd> Operation<'d, Worker<'scope, 'life, 'p, 'd, S, I, ()>, Output = R>,

pub fn with_local<F, R, Done>( self, op: F, report: impl Observe, finish: impl for<'owner> FnOnce(Result<R, EnterError<'owner, Infallible, (I, F), R>>) -> Done, ) -> Done

where F: for<'scope, 'life, 'p, 'd> FnOnce(Worker<'scope, 'life, 'p, 'd, S, I, ()>) -> R,

pub fn enter<C, O, R, Done>( self, context: C, op: O, report: impl Observe, finish: impl for<'owner> FnOnce(Result<R, EnterError<'owner, Infallible, (I, O), R, C::Shutdown>>) -> Done, ) -> Done

where C: Build, O: for<'scope, 'life, 'p, 'd> Operation<'d, Worker<'scope, 'life, 'p, 'd, S, I, C::Shutdown>, Output = R>,

pub fn enter_with<C, F, R, Done>( self, context: C, op: F, report: impl Observe, finish: impl for<'owner> FnOnce(Result<R, EnterError<'owner, Infallible, (I, F), R, C::Shutdown>>) -> Done, ) -> Done

where C: Build, F: for<'scope, 'life, 'p, 'd> FnOnce(Worker<'scope, 'life, 'p, 'd, S, I, C::Shutdown>) -> R,

pub fn run<'report, C, F>( self, context: C, complete: &'report mut Completion, report: impl Observe, failed: impl for<'owner> FnOnce(RunError<'owner, Infallible, I::Error, (I, Run<'report>), Requested<C::Shutdown>, C::Shutdown>) -> Result<Requested<C::Shutdown>, F>, ) -> Result<Requested<C::Shutdown>, F>

where C: Build, I: Execute<S>,

Installs and runs one application, retaining every failure for its handler.

impl<S, I> Prepared<S, I>

where S: Build,

pub fn try_local<O, R, Done>( self, op: O, report: impl Observe, finish: impl for<'owner> FnOnce(Result<R, EnterError<'owner, S::Error, (I, O), R>>) -> Done, ) -> Done

where O: for<'scope, 'life, 'p, 'd> Operation<'d, Worker<'scope, 'life, 'p, 'd, S, I, ()>, Output = R>,

pub fn try_scoped<F, R, Done>( self, op: F, report: impl Observe, finish: impl for<'owner> FnOnce(Result<R, EnterError<'owner, S::Error, (I, F), R>>) -> Done, ) -> Done

where F: for<'scope, 'life, 'p, 'd> FnOnce(Worker<'scope, 'life, 'p, 'd, S, I, ()>) -> R,

pub fn try_enter<C, O, R, Done>( self, context: C, op: O, report: impl Observe, finish: impl for<'owner> FnOnce(Result<R, EnterError<'owner, S::Error, (I, O), R, C::Shutdown>>) -> Done, ) -> Done

where C: Build, O: for<'scope, 'life, 'p, 'd> Operation<'d, Worker<'scope, 'life, 'p, 'd, S, I, C::Shutdown>, Output = R>,

pub fn try_with<C, F, R, Done>( self, context: C, op: F, report: impl Observe, finish: impl for<'owner> FnOnce(Result<R, EnterError<'owner, S::Error, (I, F), R, C::Shutdown>>) -> Done, ) -> Done

where C: Build, F: for<'scope, 'life, 'p, 'd> FnOnce(Worker<'scope, 'life, 'p, 'd, S, I, C::Shutdown>) -> R,

impl<S, I> Prepared<S, I>

where S: Create,

pub fn try_create<C, F, R, Done>( self, context: C, op: F, report: impl Observe, finish: impl for<'owner> FnOnce(Result<R, EnterError<'owner, S::Error, (I, F), R, C::Shutdown>>) -> Done, ) -> Done

where C: Build, F: for<'scope, 'life, 'p, 'd> FnOnce(Worker<'scope, 'life, 'p, 'd, S, I, C::Shutdown>) -> R,

pub fn try_scope<C, O, R, Done>( self, context: C, op: O, report: impl Observe, finish: impl for<'owner> FnOnce(Result<R, EnterError<'owner, S::Error, (I, O), R, C::Shutdown>>) -> Done, ) -> Done

where C: Build, O: for<'scope, 'life, 'p, 'd> Operation<'d, Worker<'scope, 'life, 'p, 'd, S, I, C::Shutdown>, Output = R>,