Struct ContractCard 

pub struct ContractCard {
    pub lib: Symbol,
    pub export_kind: Symbol,
    pub symbol: Symbol,
    pub args_shape: Option<Expr>,
    pub result_shape: Option<Expr>,
    pub capability_symbols: Vec<Symbol>,
    pub card_requires: Option<Expr>,
    pub summary: String,
    pub example: Option<Expr>,
    pub partial: Vec<ContractGap>,
}

A compact, source-free model-facing contract for one loaded export.

Fields

lib: Symbol

Library that contributed the export.

export_kind: Symbol

Export kind, carried as the kernel’s open export-kind symbol.

symbol: Symbol

Export symbol.

args_shape: Option<Expr>

Callable argument Shape encoded as data when known.

result_shape: Option<Expr>

Callable result Shape encoded as data when known.

capability_symbols: Vec<Symbol>

Library manifest capability requests, as capability/* symbols.

card_requires: Option<Expr>

Browse Card requires data, when present.

summary: String

Human-facing Card summary text.

example: Option<Expr>

Example expression, authored or synthesized from the callable Shape.

partial: Vec<ContractGap>

Missing or synthesized pieces retained without dropping the export.

Implementations

impl ContractCard

pub fn as_expr(&self) -> Expr

Encodes this card as tagged open data accepted by contract_card_shape.

Trait Implementations

impl Clone for ContractCard

fn clone(&self) -> ContractCard

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContractCard

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

Formats the value using the given formatter.

impl Eq for ContractCard

impl PartialEq for ContractCard

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ContractCard