Enum DirectiveBody 

pub enum DirectiveBody {
    Bare,
    Value(Box<Node>),
    NameBody {
        name: String,
        name_range: TokenRange,
        generics: Vec<String>,
        body: Box<Node>,
        methods: Vec<SchemaMethod>,
        schema_no_auto_derives: Vec<String>,
    },
    Import {
        spec: DirectiveImportSpec,
        path: String,
        path_range: TokenRange,
        integrity: Option<IntegrityHash>,
    },
    Main {
        params: Vec<DirectiveMainParam>,
        return_type: Option<TypeNode>,
    },
}

The body of a parsed #name ... directive, dispatched per DirectiveShape.

Variants

Bare

Value(Box<Node>)

NameBody

Single named declaration: <ident>[<T, ...>] <body-expr> (no colon). generics carries the optional type-parameter list declared after the name (e.g. Result<T, E> → ["T", "E"]); empty when absent.

methods and schema_no_auto_derives carry the optional with { ... } extension block (Phase A of the trait-bound / schema-method system; see docs/internal/archive/type-constraints-spec.md). Both are empty when no with block follows the body.

Fields

name: String

name_range: TokenRange

generics: Vec<String>

body: Box<Node>

methods: Vec<SchemaMethod>

Methods declared inside the trailing with { ... } block. Order preserves source order. Each method may carry method-level #derive <Constraint> pragmas and an #native flag.

schema_no_auto_derives: Vec<String>

Schema-level #no_auto_derive <Constraint> directives that appear directly inside with { ... } (no method follows). Constraint names are stored as bare strings; the analyzer validates them.

Import

Fields

spec: DirectiveImportSpec

path: String

path_range: TokenRange

integrity: Option<IntegrityHash>

Optional integrity pin: #import <spec> from "path" sha256:"...". When present, the workspace loader verifies the loaded source’s digest against this value and refuses the import on mismatch. v3++ b-2 wires sha256 only; the HashAlgorithm enum reserves space for additional algorithms (sha512, blake3, …) without churning the AST surface again.

Main

Fields

params: Vec<DirectiveMainParam>

return_type: Option<TypeNode>

Optional -> Type declared after the parameter list. When None, the entry’s return value is left unchecked.

Trait Implementations

impl Clone for DirectiveBody

fn clone(&self) -> DirectiveBody

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DirectiveBody

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

Formats the value using the given formatter.

impl PartialEq for DirectiveBody

fn eq(&self, other: &DirectiveBody) -> 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 StructuralPartialEq for DirectiveBody