Struct TypeResolver 

pub struct TypeResolver { /* private fields */ }

Registry for managing and resolving custom types

Types are organized per spec (keyed by Arc) and support inheritance through parent references. The registry handles cycle detection and accumulates constraints through the inheritance chain. name_to_arc maps base spec name to the earliest Arc for that name (by effective_from) for cross-spec resolution.

Implementations

impl TypeResolver

pub fn new() -> Self

pub fn register_all(&mut self, spec: &Arc<LemmaSpec>) -> Vec<Error>

Register all named types from a spec (skips inline types).

pub fn resolve( &self, all_specs: impl IntoIterator<Item = Arc<LemmaSpec>>, ) -> (HashMap<Arc<LemmaSpec>, ResolvedSpecTypes>, Vec<Error>)

Resolve all named types for every spec and validate their specifications. Produces an entry for every spec (even those without named types) because every spec needs a unit_index containing at least the primitive ratio units.

pub fn register_type( &mut self, spec: &Arc<LemmaSpec>, def: TypeDef, ) -> Result<(), Error>

Register a user-defined type for a given spec (keyed by Arc). Updates name_to_arc to keep the earliest spec per base name for cross-spec resolution.

pub fn resolve_types( &self, spec: &Arc<LemmaSpec>, ) -> Result<ResolvedSpecTypes, Vec<Error>>

Resolve all types for a certain spec (keyed by Arc).

pub fn resolve_named_types( &self, spec: &Arc<LemmaSpec>, ) -> Result<ResolvedSpecTypes, Vec<Error>>

Resolve only named types (for validation before inline type definitions are registered).

pub fn resolve_inline_types( &self, spec: &Arc<LemmaSpec>, existing: ResolvedSpecTypes, ) -> Result<ResolvedSpecTypes, Vec<Error>>

Resolve only inline type definitions and merge them into an existing ResolvedSpecTypes that already contains the named types.

pub fn resolve_primitive_type(&self, name: &str) -> Option<TypeSpecification>

Resolve a primitive type by name

Trait Implementations

impl Clone for TypeResolver

fn clone(&self) -> TypeResolver

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeResolver

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

Formats the value using the given formatter.

impl Default for TypeResolver

fn default() -> Self

Returns the “default value” for a type.