Struct NormalizedScope 

pub struct NormalizedScope {
    pub grants: Vec<NormalizedToolGrant>,
    pub resource_grants: Vec<NormalizedResourceGrant>,
    pub prompt_grants: Vec<NormalizedPromptGrant>,
}

Proof-facing scope.

Fields

grants: Vec<NormalizedToolGrant>

resource_grants: Vec<NormalizedResourceGrant>

prompt_grants: Vec<NormalizedPromptGrant>

Implementations

impl NormalizedScope

pub fn is_subset_of(&self, parent: &Self) -> bool

Mirrors ChioScope::is_subset_of over the normalized proof-facing AST.

Trait Implementations

impl Clone for NormalizedScope

fn clone(&self) -> NormalizedScope

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for NormalizedScope

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for NormalizedScope

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for NormalizedScope

fn eq(&self, other: &NormalizedScope) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for NormalizedScope

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TryFrom<&ChioScope> for NormalizedScope

type Error = NormalizationError

The type returned in the event of a conversion error.

fn try_from(scope: &ChioScope) -> Result<Self, Self::Error>

Performs the conversion.

impl Eq for NormalizedScope

impl StructuralPartialEq for NormalizedScope