Struct gluon_vm::vm::VmEnv

pub struct VmEnv {
    pub type_infos: TypeInfos,
    pub globals: FnvMap<StdString, Global>,
}

A borrowed structure which implements CompilerEnv, TypeEnv and KindEnv allowing the typechecker and compiler to lookup things in the virtual machine.

Fields

type_infos: TypeInfos

globals: FnvMap<StdString, Global>

Methods

impl VmEnv

pub fn find_type_info(&self, name: &str) -> Result<Cow<Alias<Symbol, ArcType>>>

pub fn get_binding(&self, name: &str) -> Result<(Variants, Cow<ArcType>)>

pub fn get_metadata(&self, name_str: &str) -> Result<&Arc<Metadata>>

Trait Implementations

impl CompilerEnv for VmEnv

fn find_var(&self, id: &Symbol) -> Option<(Variable<Symbol>, ArcType)>

impl Debug for VmEnv

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

Formats the value using the given formatter.

impl TypeEnv for VmEnv

type Type = ArcType

fn find_type(&self, id: &SymbolRef) -> Option<&ArcType>

Returns the type of the value bound at id

fn find_type_info(&self, id: &SymbolRef) -> Option<&Alias<Symbol, ArcType>>

Returns information about the type id

impl PrimitiveEnv for VmEnv

fn get_bool(&self) -> &ArcType

impl KindEnv for VmEnv

fn find_kind(&self, type_name: &SymbolRef) -> Option<ArcKind>

Returns the kind of the type type_name

impl MetadataEnv for VmEnv

fn get_metadata(&self, id: &SymbolRef) -> Option<&Arc<Metadata>>