Enum DirectiveShape 

pub enum DirectiveShape {
    Bare,
    Value,
    NameBody,
    Enum,
    Import,
    Main,
}

One of the five fixed shapes a #name directive can take. The shape is determined by the directive’s name (looked up at parse time) and drives parser dispatch + analyzer / evaluator interpretation.

Variants

Bare

#name — no body. Example: #internal.

Value

#name <expr> — single value. Example: #default 0, #expect "msg", #brand Color.

NameBody

#name <ident> <body-expr> — one named declaration with a single body expression (no colon). Example: #schema User { String name: * }. Inside a dict literal, #schema X: { ... } retains the dict-field grammar — the : belongs to the field separator, not the directive.

Enum

#enum Name { Variant, Variant { field: Type } } — Rust-like enum declaration lowered to the internal tagged-enum schema shape.

Import

#import <bindspec> from <string>. Example: #import string from "std/string", #import * from "std/list", #import { upper, lower as lo } from "std/string".

Main

#main(<type> <ident> [, ...]*) [-> <type>]. Example: #main(User u, Cart cart) -> Result<Order>.

Trait Implementations

impl Clone for DirectiveShape

fn clone(&self) -> DirectiveShape

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for DirectiveShape

impl Debug for DirectiveShape

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

Formats the value using the given formatter.

impl Eq for DirectiveShape

impl PartialEq for DirectiveShape

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