Struct TypeRegistry 

pub struct TypeRegistry { /* private fields */ }

Registry for managing and resolving custom types

Types are organized per document and support inheritance through parent references. The registry handles cycle detection and accumulates overrides through the inheritance chain.

Implementations

impl TypeRegistry

pub fn new() -> Self

Create a new, empty registry

pub fn register_type( &mut self, doc: &str, def: TypeDef, ) -> Result<(), LemmaError>

Register a user-defined type for a given document

pub fn resolve_types( &self, doc: &str, ) -> Result<ResolvedDocumentTypes, LemmaError>

Resolve all types for a certain document

Returns fully resolved types for the document, including named types, inline type definitions, and a unit index. After resolution, all imports are inlined - documents are independent. Follows parent chains, accumulates overrides into specifications. Handles cycle detection and cross-document references.

Errors

Returns an error if a unit appears in multiple types within the same document (ambiguous unit).

pub fn resolve_named_types( &self, doc: &str, ) -> Result<ResolvedDocumentTypes, LemmaError>

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

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

Resolve a standard type by name

pub fn find_document_for_fact(&self, fact_ref: &FactReference) -> Option<String>

Find which document a FactReference belongs to (for inline type definitions)

pub fn get_all_units(&self) -> HashMap<String, Vec<(String, String)>>

Get all units defined across all types, organized by unit name

Returns a map from unit name to a list of (document_name, type_name) pairs where that unit is defined. Useful for error messages and debugging.

Returns

A HashMap where:

• Key: unit name (e.g., “celsius”, “kilogram”)
• Value: list of (document_name, type_name) pairs where the unit is defined

Trait Implementations

impl Clone for TypeRegistry

fn clone(&self) -> TypeRegistry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeRegistry

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

Formats the value using the given formatter.

impl Default for TypeRegistry

fn default() -> Self

Returns the “default value” for a type.