Struct gluon_vm::vm::VmEnv [−][src]
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
[src]
impl VmEnv
pub fn find_type_info(&self, name: &str) -> Result<Cow<Alias<Symbol, ArcType>>>
[src]
pub fn find_type_info(&self, name: &str) -> Result<Cow<Alias<Symbol, ArcType>>>
pub fn get_binding(&self, name: &str) -> Result<(Value, Cow<ArcType>)>
[src]
pub fn get_binding(&self, name: &str) -> Result<(Value, Cow<ArcType>)>
pub fn get_metadata(&self, name_str: &str) -> Result<&Metadata>
[src]
pub fn get_metadata(&self, name_str: &str) -> Result<&Metadata>
Trait Implementations
impl Debug for VmEnv
[src]
impl Debug for VmEnv
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl CompilerEnv for VmEnv
[src]
impl CompilerEnv for VmEnv
impl KindEnv for VmEnv
[src]
impl KindEnv for VmEnv
fn find_kind(&self, type_name: &SymbolRef) -> Option<ArcKind>
[src]
fn find_kind(&self, type_name: &SymbolRef) -> Option<ArcKind>
Returns the kind of the type type_name
impl TypeEnv for VmEnv
[src]
impl TypeEnv for VmEnv
fn find_type(&self, id: &SymbolRef) -> Option<&ArcType>
[src]
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>>
[src]
fn find_type_info(&self, id: &SymbolRef) -> Option<&Alias<Symbol, ArcType>>
Returns information about the type id
impl PrimitiveEnv for VmEnv
[src]
impl PrimitiveEnv for VmEnv
impl MetadataEnv for VmEnv
[src]
impl MetadataEnv for VmEnv
fn get_metadata(&self, id: &SymbolRef) -> Option<&Metadata>
[src]
fn get_metadata(&self, id: &SymbolRef) -> Option<&Metadata>