Struct ContractRegistry 

pub struct ContractRegistry {
    pub libraries: Vec<LibraryRegistration>,
    pub constructs: Vec<ConstructRegistration>,
    pub effect_contracts: Vec<EffectContract>,
}

Compile-time library and effect-contract registry.

This is the concrete data boundary between source-level package/library meaning and runtime provider execution. It is intentionally plain data: compiler and CLI surfaces can expose it without giving package code any parser or runtime authority.

Fields

libraries: Vec<LibraryRegistration>

constructs: Vec<ConstructRegistration>

effect_contracts: Vec<EffectContract>

Implementations

impl ContractRegistry

pub fn merge(&mut self, other: ContractRegistry)

pub fn upsert_library(&mut self, library: LibraryRegistration)

pub fn upsert_construct(&mut self, form: ConstructRegistration)

pub fn upsert_effect_contract(&mut self, contract: EffectContract)

pub fn validate(&self) -> Vec<ContractRegistryDiagnostic>

Trait Implementations

impl Clone for ContractRegistry

fn clone(&self) -> ContractRegistry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContractRegistry

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

Formats the value using the given formatter.

impl Default for ContractRegistry

fn default() -> ContractRegistry

Returns the “default value” for a type.

impl Eq for ContractRegistry

impl PartialEq for ContractRegistry

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