Struct ExportSpec 

pub struct ExportSpec {
    pub name: String,
    pub port_type: PortType,
    pub modifier: BindingModifier,
    pub classification: ExportClassification,
}

Typed export declaration: a named value the child produces, available to its own descendants.

Fields

name: String

Name as it appears in the child’s body.

port_type: PortType

Port type the child binds.

modifier: BindingModifier

Modifier (final / shared / none) — the standard GK modifier set; finalize uses the export to apply Rule 2.

classification: ExportClassification

Lifecycle classification.

Implementations

impl ExportSpec

pub fn local(name: impl Into<String>, port_type: PortType) -> Self

A local export with no modifier.

pub fn final_(name: impl Into<String>, port_type: PortType) -> Self

A final export: fixed once bound.

pub fn shared(name: impl Into<String>, port_type: PortType) -> Self

A shared export: a cell the descendants write through.

pub fn iter_var(name: impl Into<String>, port_type: PortType) -> Self

An export rebound per activation of an enclosing iteration.

Trait Implementations

impl Clone for ExportSpec

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExportSpec

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

Formats the value using the given formatter.