Skip to main content

DefaultPolicyTable

meerkat_runtime::policy_table

Struct DefaultPolicyTable

pub struct DefaultPolicyTable;

Expand description

Default policy table implementing §17.

Implementations§

impl DefaultPolicyTable

pub fn resolve(input: &Input, runtime_idle: bool) -> PolicyDecision

Resolve a policy decision for the given input and runtime state.

If the input carries an explicit handling_mode, the override is honored for actionable input kinds only. Response progress (peer_response_progress) always falls through to kind-based defaults — the policy table does not apply handling_mode overrides for progress updates. Response terminal inputs honor handling_mode normally.

pub fn resolve_by_kind(kind: &KindId, runtime_idle: bool) -> PolicyDecision

Resolve by kind ID (for testing and extensibility).

Auto Trait Implementations§

impl Freeze for DefaultPolicyTable

impl RefUnwindSafe for DefaultPolicyTable

impl Send for DefaultPolicyTable

impl Sync for DefaultPolicyTable

impl Unpin for DefaultPolicyTable

impl UnsafeUnpin for DefaultPolicyTable

impl UnwindSafe for DefaultPolicyTable

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Same for T

type Output = T

Should always be Self

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more