Struct TypeEnv 

pub struct TypeEnv {
    pub param_constraints: HashMap<InternedStr, Vec<TypeConstraint>>,
    pub expr_constraints: HashMap<ExprId, Vec<TypeConstraint>>,
    pub return_constraints: Vec<TypeConstraint>,
    pub expr_to_param: Vec<ParamLink>,
    pub param_to_exprs: HashMap<InternedStr, Vec<ExprId>>,
}

型環境

マクロの型推論に使用する型制約を収集・管理する。 パラメータ、式、戻り値それぞれに対する制約を保持する。

Fields

param_constraints: HashMap<InternedStr, Vec<TypeConstraint>>

パラメータ名 → 型制約リスト

expr_constraints: HashMap<ExprId, Vec<TypeConstraint>>

ExprId → 型制約リスト

return_constraints: Vec<TypeConstraint>

戻り値の型制約

expr_to_param: Vec<ParamLink>

ExprId → パラメータ名のリンク（正引き）

param_to_exprs: HashMap<InternedStr, Vec<ExprId>>

パラメータ名 → ExprId リスト（逆引き）

パラメータを参照する全ての式の ExprId を保持。 引数の型推論時に、関連する式の型制約を探すために使用。

Implementations

impl TypeEnv

pub fn new() -> Self

新しい型環境を作成

pub fn add_param_constraint( &mut self, param: InternedStr, constraint: TypeConstraint, )

パラメータに型制約を追加

pub fn add_expr_constraint(&mut self, constraint: TypeConstraint)

式に型制約を追加

pub fn add_constraint(&mut self, constraint: TypeConstraint)

汎用的な制約追加メソッド

pub fn add_return_constraint(&mut self, constraint: TypeConstraint)

戻り値に型制約を追加

pub fn link_expr_to_param( &mut self, expr_id: ExprId, param_name: InternedStr, context: impl Into<String>, )

式をパラメータにリンク

正引き（expr_to_param）と逆引き（param_to_exprs）の両方を更新する。

pub fn get_param_constraints( &self, param: InternedStr, ) -> Option<&Vec<TypeConstraint>>

パラメータの制約を取得

pub fn get_expr_constraints( &self, expr_id: ExprId, ) -> Option<&Vec<TypeConstraint>>

式の制約を取得

pub fn get_linked_param(&self, expr_id: ExprId) -> Option<InternedStr>

式に紐づくパラメータ名を取得

pub fn param_constraint_count(&self) -> usize

パラメータ制約の総数

pub fn expr_constraint_count(&self) -> usize

式制約の総数

pub fn return_constraint_count(&self) -> usize

戻り値制約の数

pub fn get_return_type(&self) -> Option<&TypeRepr>

戻り値の型を取得（最初の制約から）

pub fn total_constraint_count(&self) -> usize

全制約の総数

pub fn is_empty(&self) -> bool

環境が空かどうか

pub fn merge(&mut self, other: TypeEnv)

他の型環境をマージ

pub fn summary(&self) -> String

デバッグ用: 制約のサマリを文字列で取得

Trait Implementations

impl Clone for TypeEnv

fn clone(&self) -> TypeEnv

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeEnv

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

Formats the value using the given formatter.

impl Default for TypeEnv

fn default() -> TypeEnv

Returns the “default value” for a type.