Struct ModuleTypeRegistry 

pub struct ModuleTypeRegistry { /* private fields */ }

Implementations

impl ModuleTypeRegistry

pub fn insert_graphcal_prelude(&mut self) -> Result<(), RationalError>

Insert canonical Graphcal prelude dimensions under the synthetic prelude owner.

Errors

Returns a rational arithmetic error only if the built-in prelude itself fails to construct, which would be a compiler bug.

pub fn insert_registry(&mut self, owner: &DagId, registry: &Registry)

Insert every type-system definition from registry under owner.

This is intentionally an owner-qualified view over existing registries, not a new source of truth. It lets module-aware resolution validate that alias.Name denotes the definition owned by the dependency selected by the loader.

pub fn get_dimension(&self, name: &ResolvedName<Dim>) -> Option<&Dimension>

pub fn get_index(&self, name: &ResolvedName<Index>) -> Option<&IndexDef>

pub fn get_struct_type( &self, name: &ResolvedName<StructType>, ) -> Option<&TypeDef>

pub fn lookup_constructor( &self, constructor: &ResolvedName<Constructor>, ) -> Option<&ModuleConstructorDef>

Look up the owner type and union member for a canonical constructor identity.

Trait Implementations

impl Clone for ModuleTypeRegistry

fn clone(&self) -> ModuleTypeRegistry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ModuleTypeRegistry

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

Formats the value using the given formatter.

impl Default for ModuleTypeRegistry

fn default() -> ModuleTypeRegistry

Returns the “default value” for a type.