axon::ast

Struct ExtensionDefinition

pub struct ExtensionDefinition {
    pub name: String,
    pub category: String,
    pub members: Vec<ExtensionMember>,
    pub loc: Loc,
    pub leading_trivia: Vec<Trivia>,
    pub trailing_trivia: Vec<Trivia>,
}

Expand description

extension Name { category: effects|scan, members: [ "x" : { … }, … ] }

§Fase 53. A first-class, auditable + gateable declaration that expands a closed catalog with adopter-specific PROVENANCE members. Soundness invariants (validated in §53.c/§53.d): members are provenance-class only (never the enforceable effect set), must not shadow a canonical base/category, and ride in the IR + proof bundle so an independent PCC verifier re-derives against the same artifact.

Fields§

§name: String§category: String

effects | scan — validated against the closed category set in §53.c (the type-checker), not the parser.

§members: Vec<ExtensionMember>§loc: Loc§leading_trivia: Vec<Trivia>

Fase 14.b — leading comment trivia. Empty by default.

§trailing_trivia: Vec<Trivia>

Fase 14.b — trailing comment trivia. Empty by default.

ExtensionDefinition

Struct ExtensionDefinition Copy item path

Fields§

Trait Implementations§

impl Debug for ExtensionDefinition

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

Auto Trait Implementations§

impl Freeze for ExtensionDefinition

impl RefUnwindSafe for ExtensionDefinition

impl Send for ExtensionDefinition

impl Sync for ExtensionDefinition

impl Unpin for ExtensionDefinition

impl UnsafeUnpin for ExtensionDefinition

impl UnwindSafe for ExtensionDefinition

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

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

fn in_current_span(self) -> Instrumented<Self> ⓘ

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

fn into(self) -> U

impl<T> PolicyExt for Twhere T: ?Sized,

fn and<P, B, E>(self, other: P) -> And<T, P>where T: Sized + Policy<B, E>, P: Policy<B, E>,

fn or<P, B, E>(self, other: P) -> Or<T, P>where T: Sized + Policy<B, E>, P: Policy<B, E>,

impl<T> Same for T

type Output = T

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

type Error = Infallible

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

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

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

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

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

impl<T> WithSubscriber for T

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

fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ

Struct ExtensionDefinition

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

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

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

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

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

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

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

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

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

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