Struct InstanceResolver 

pub struct InstanceResolver { /* private fields */ }

Instance resolution engine.

Maintains a registry of type-class instances organised by class name. Supports priority-based selection, caching, and backtracking search.

Implementations

impl InstanceResolver

pub fn new() -> Self

Create a new instance resolver with default settings.

pub fn with_max_depth(max_depth: usize) -> Self

Create a resolver with a custom search depth.

pub fn register(&mut self, instance: InstanceDecl)

Register an instance.

pub fn register_many( &mut self, instances: impl IntoIterator<Item = InstanceDecl>, )

Register multiple instances at once.

pub fn clear_class(&mut self, class: &Name)

Remove all instances for a given class (useful in testing).

pub fn find_instance( &mut self, class: &Name, ty: &Expr, ) -> Option<&InstanceDecl>

Find an instance for a type class and type.

Returns the highest-priority matching instance, or None. If the cache is enabled, previously found instances are returned immediately.

pub fn resolve(&mut self, class: &Name, ty: &Expr) -> ResolutionResult

Resolve an instance and return the full ResolutionResult.

Unlike find_instance, this method detects ambiguity.

pub fn resolve_or_error( &mut self, class: &Name, ty: &Expr, ) -> Result<Name, InstanceError>

Try to resolve, returning Err with a detailed error on failure.

pub fn get_instances(&self, class: &Name) -> Vec<&InstanceDecl>

Get all instances for a class.

pub fn class_count(&self) -> usize

Return the number of classes registered.

pub fn total_registered(&self) -> usize

Return the total number of instances registered.

pub fn set_max_depth(&mut self, depth: usize)

Set the maximum search depth.

pub fn max_depth(&self) -> usize

Get the maximum search depth.

pub fn set_cache_enabled(&mut self, enabled: bool)

Enable or disable the resolution cache.

pub fn cache_enabled(&self) -> bool

Return whether caching is enabled.

pub fn cache(&self) -> &InstanceCache

Obtain a reference to the resolution cache for diagnostics.

pub fn clear_cache(&mut self)

Clear the resolution cache.

pub fn has_instances_for(&self, class: &Name) -> bool

Check whether any instance is registered for a given class.

pub fn registered_classes(&self) -> Vec<&Name>

Return all class names that have at least one instance.

Trait Implementations

impl Default for InstanceResolver

fn default() -> Self

Returns the “default value” for a type.