pub struct Call<'app, R, P, O> { /* private fields */ }Expand description
One exact capability invocation joining its pinned owner, selection, and operation.
Implementations§
Source§impl<'app, R, P, O> Call<'app, R, P, O>
impl<'app, R, P, O> Call<'app, R, P, O>
Sourcepub const fn new(app: Pin<&'app mut R>, plan: P, op: O) -> Self
pub const fn new(app: Pin<&'app mut R>, plan: P, op: O) -> Self
Joins one runtime-owned operation with its exact pinned root.
pub fn into_parts(self) -> (Pin<&'app mut R>, P, O)
Sourcepub fn map_owner<U>(
self,
map: impl FnOnce(Pin<&'app mut R>) -> Pin<&'app mut U>,
) -> Call<'app, U, P, O>
pub fn map_owner<U>( self, map: impl FnOnce(Pin<&'app mut R>) -> Pin<&'app mut U>, ) -> Call<'app, U, P, O>
Projects the pinned owner while preserving the selection and operation proofs.
Source§impl<R, O> Call<'_, R, Infallible, O>
impl<R, O> Call<'_, R, Infallible, O>
Sourcepub fn into_never(self) -> !
pub fn into_never(self) -> !
Consumes an invocation whose selection proof has no inhabitants.
Auto Trait Implementations§
impl<'app, R, P, O> !UnwindSafe for Call<'app, R, P, O>
impl<'app, R, P, O> Forget for Call<'app, R, P, O>
impl<'app, R, P, O> Freeze for Call<'app, R, P, O>
impl<'app, R, P, O> RefUnwindSafe for Call<'app, R, P, O>
impl<'app, R, P, O> Send for Call<'app, R, P, O>
impl<'app, R, P, O> Sync for Call<'app, R, P, O>
impl<'app, R, P, O> Unpin for Call<'app, R, P, O>
impl<'app, R, P, O> UnsafeUnpin for Call<'app, R, P, O>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more