Struct TypeEnv 

pub struct TypeEnv {
    pub types: IndexMap<String, TypeDef>,
    pub ctor_to_type: IndexMap<String, String>,
    pub dep_alias_prefixes: IndexMap<String, String>,
}

Fields

types: IndexMap<String, TypeDef>

Type-name → definition.

ctor_to_type: IndexMap<String, String>

Constructor name → owning type-name.

dep_alias_prefixes: IndexMap<String, String>

Import alias → dependency module mangle prefix (#963). When a dependency is resolved as a whole package, its types are registered under canonical prefix names (error_<hash>.DbErr); this maps an import alias e to that prefix so an alias-qualified annotation e.DbErr is normalized to the same canonical Con in ty_from_canon_env — making a directly-imported module and the copies inlined into its sibling modules one type. Empty in the ordinary (inlined / no-dependency) case.

Implementations

impl TypeEnv

pub fn new_with_builtins() -> Self

pub fn add_user_type( &mut self, name: &str, decl: TypeDecl, ) -> Result<(), 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.