pub enum ActionDispatchOutcome<R> {
Denied(CapabilityDenied),
Completed(RequestOutcome<R>),
}Expand description
Typed outcome of one dispatched action call.
Variants§
Denied(CapabilityDenied)
The first non-Allowed verdict from the declaration’s canonical requirement sequence. The shared checker already published the ONE denial event; the caller receives the same serialized verdict bytes on every path.
Completed(RequestOutcome<R>)
Every requirement was allowed and one S1 request-response call ran to its typed S2 outcome (reply, deadline, or responder failure) — passed through untranslated; the MCP boundary translates exactly once.
Trait Implementations§
Auto Trait Implementations§
impl<R> Freeze for ActionDispatchOutcome<R>where
R: Freeze,
impl<R> RefUnwindSafe for ActionDispatchOutcome<R>where
R: RefUnwindSafe,
impl<R> Send for ActionDispatchOutcome<R>where
R: Send,
impl<R> Sync for ActionDispatchOutcome<R>where
R: Sync,
impl<R> Unpin for ActionDispatchOutcome<R>where
R: Unpin,
impl<R> UnsafeUnpin for ActionDispatchOutcome<R>where
R: UnsafeUnpin,
impl<R> UnwindSafe for ActionDispatchOutcome<R>where
R: UnwindSafe,
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoRequest<T> for T
impl<T> IntoRequest<T> for T
Source§fn into_request(self) -> Request<T>
fn into_request(self) -> Request<T>
Wrap the input message
T in a tonic::Request