Struct TypeEnv 

pub struct TypeEnv {
    pub syms: Vec<String>,
    pub sym_map: StableMap<String, Sym>,
    pub types: Vec<Type>,
    pub type_map: StableMap<Sym, TypeId>,
    pub const_types: StableMap<Sym, TypeId>,
    pub errors: Vec<Error>,
}

The type environment.

Keeps track of which symbols and rules have which types.

Fields

syms: Vec<String>

Arena of interned symbol names.

Referred to indirectly via Sym indices.

sym_map: StableMap<String, Sym>

Map of already-interned symbol names to their Sym ids.

types: Vec<Type>

Arena of type definitions.

Referred to indirectly via TypeIds.

type_map: StableMap<Sym, TypeId>

A map from a type name symbol to its TypeId.

const_types: StableMap<Sym, TypeId>

The types of constant symbols.

errors: Vec<Error>

Type errors that we’ve found so far during type checking.

Implementations

impl TypeEnv

pub fn from_ast(defs: &[Def]) -> Result<TypeEnv, Vec<Error>>

Construct the type environment from the AST.

pub fn intern(&self, ident: &Ident) -> Option<Sym>

Lookup symbol ID for the given identifier.

pub fn get_type_by_name(&self, sym: &Ident) -> Option<TypeId>

Lookup type by name.

pub fn get_variant(&self, ty: TypeId, variant: VariantId) -> &Variant

Lookup the term corresponding to the given enum variant.

Trait Implementations

impl Debug for TypeEnv

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

Formats the value using the given formatter.

impl Default for TypeEnv

fn default() -> Self

Returns the “default value” for a type.