Struct TypeClassRegistry 

pub struct TypeClassRegistry { /* private fields */ }

The registry that holds all type class and instance declarations.

Implementations

impl TypeClassRegistry

pub fn new() -> Self

Create an empty registry.

pub fn register_class(&mut self, class: TypeClass)

Register a type class.

pub fn get_class(&self, name: &Name) -> Option<&TypeClass>

Look up a class by name.

pub fn is_class(&self, name: &Name) -> bool

Check whether a name refers to a registered class.

pub fn class_count(&self) -> usize

Number of registered classes.

pub fn class_names(&self) -> impl Iterator<Item = &String>

Iterate over all class names.

pub fn subclasses_of(&self, super_name: &Name) -> Vec<&TypeClass>

Get all classes that extend the given super-class.

pub fn register_instance(&mut self, instance: Instance)

Register an instance.

pub fn find_instances(&self, class: &Name, ty: &Expr) -> Vec<&Instance>

Search for instances of the given class for the given type.

pub fn find_best_instance( &self, class: &Name, ty: &Expr, ) -> InstanceSearchResult

Find the best (highest priority, lowest number) instance.

pub fn instance_count(&self) -> usize

Number of registered instances.

pub fn clear_local_instances(&mut self)

Remove all local instances.

pub fn instances_for_class(&self, class: &Name) -> Vec<&Instance>

Get all instances for a given class, sorted by priority.

pub fn filter_instances<F>(&self, predicate: F) -> Vec<&Instance>

where F: Fn(&Instance) -> bool,

Get instances that match a given type predicate.

pub fn method_projection(&self, class: &Name, method: &Name) -> Option<Expr>

Get the projection expression for a method in a class (method index → projection).

pub fn summary(&self) -> String

Summarize the registry.

impl TypeClassRegistry

pub fn snapshot(&self) -> RegistrySnapshot

Take a snapshot of the current instance count.

pub fn restore(&mut self, snapshot: RegistrySnapshot)

Restore the registry to a previously taken snapshot (removes instances added after).

Trait Implementations

impl Clone for TypeClassRegistry

fn clone(&self) -> TypeClassRegistry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeClassRegistry

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

Formats the value using the given formatter.

impl Default for TypeClassRegistry

fn default() -> TypeClassRegistry

Returns the “default value” for a type.