class TemplateSupportVisitorMixin

Source: packages/irx/src/irx/analysis/handlers/_templates/support.py:31

Template-specialization support helpers

Methods

• _format_template_bindings — Render one template-binding set for diagnostics.

• _specialization_bindings_map — Return the concrete binding map stored on one specialization.

• _specialize_signature — Return one visible callable wrapper with substituted types.

• _substitute_type — Substitute template variables inside one type.

• _template_bindings_map — Return the concrete binding map for one specialization.

• _template_param_domain — Return the finite admissible type domain for one template param.

• _template_specialization_key — Return one stable specialization key for a template function.

• _template_specialization_name — Return one deterministic specialization function basename.

• _template_specialization_symbol_name — Return one deterministic lowered specialization symbol name.

• _type_identity_name — Return one deterministic type identity string.

• _type_within_template_bound — Return whether one concrete type satisfies one template bound.