Struct gluon_vm::vm::VmEnvInstance

pub struct VmEnvInstance<'a> { /* fields omitted */ }

Implementations

impl<'a> VmEnvInstance<'a>

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

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

Trait Implementations

impl<'a> CompilerEnv for VmEnvInstance<'a>

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

impl<'a> KindEnv for VmEnvInstance<'a>

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

Returns the kind of the type type_name

impl<'a> MetadataEnv for VmEnvInstance<'a>

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

impl<'a> OptimizeEnv for VmEnvInstance<'a>

fn find_expr(&self, id: &Symbol) -> Option<Global<CoreExpr>>

impl<'a> PrimitiveEnv for VmEnvInstance<'a>

fn get_bool(&self) -> ArcType

impl<'_> Trace for VmEnvInstance<'_>

unsafe fn root(&mut self)

unsafe fn unroot(&mut self)

fn trace(&self, gc: &mut Gc)

impl<'a> TypeEnv for VmEnvInstance<'a>

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<'a> VmEnv for VmEnvInstance<'a>

fn get_global(&self, name: &str) -> Option<RootedGlobal>