Module functions 

Auto-generated module

🤖 Generated with SplitRS

Traits

InstanceResolver

A trait object for custom instance resolution strategies.

Functions

all_method_pairs

Return all (class_name, method_name) pairs in the registry.

build_class_hierarchy

Build the full class hierarchy graph from a registry.

build_method_projection

Build the projection term for the n-th method of a class.

class_has_instance

Check whether a class exists and has at least one registered instance.

class_name_of_constraint

Extract the class name from a constraint expression.

classes_equal

Check whether two class names are the same.

classes_without_instances

Count the number of classes with zero registered instances.

complete_instances

Find all instances that are complete (implement every method declared by the class).

default_registry

Build a default registry with common built-in classes.

describe_registry

Print a human-readable summary of all classes and instances.

find_method_impl

Search for a method implementation across all matching instances.

has_higher_priority

Check whether an instance has priority strictly higher than another.

instance_is_complete

Check if an instance covers (implements) all required methods.

instance_subsumes

Check whether an instance subsumes another (has a more general pattern).

instance_summary

Return a human-readable summary of an Instance.

instances_compatible

Check whether two instances are compatible (same class, overlapping params).

instances_match

Check whether two type expressions are compatible for instance matching.

is_ancestor

Check whether ancestor is an ancestor of descendant in the class hierarchy.

is_class_constraint

Check whether an expression is a type class constraint application.

is_prop_class

Check whether the given class name is a “pure Prop” class.

merge_registries

Merge two registries together (second registry overrides on conflicts).

methods_of

Return all methods for a class, or an empty slice if the class is unknown.

register_add

Register the built-in Add class in the given registry.

register_heq

Register the HEq (heterogeneous equality) class placeholder.

register_inhabited

Register the built-in Inhabited class in the given registry.

register_marker

Register a simple zero-method marker class (like Nonempty).

register_mul

Register the built-in Mul class in the given registry.

shared_methods

Return method names shared between two classes.

total_method_impls

Count the total number of method implementations across all instances.

transitive_supers

Get all super-class names required by a class, transitively.

typeclass_summary

Return a human-readable summary of a TypeClass.

validate_registry

Validate that all instances in the registry reference known classes.