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 constraints through the inheritance chain.

Implementations

impl TypeRegistry

pub fn new(sources: HashMap<String, String>) -> Self

Create a new, empty registry with access to source text for error reporting.

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 constraints 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_inline_types( &self, doc: &str, existing: ResolvedDocumentTypes, ) -> Result<ResolvedDocumentTypes, LemmaError>

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

This avoids re-resolving named types that were already handled by resolve_named_types during the prepare_types phase, preventing duplicate errors.

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

Resolve a primitive type by name

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.