Struct gluon_vm::core::interpreter::Compiler

pub struct Compiler<'a, 'e> { /* fields omitted */ }

Methods

impl<'a, 'e> Compiler<'a, 'e>

pub fn new(
    allocator: &'e Allocator<'e>,
    globals: &'a dyn Fn(&Symbol) -> Option<GlobalBinding>
) -> Compiler<'a, 'e>

pub fn optimizer_info(self, allocator: &'e Arc<Allocator<'e>>) -> OptimizerInfo

pub fn costs(self, costs: Costs) -> Self

pub fn pure_symbols(self, pure_symbols: &'a PurityMap) -> Self

pub fn compile_expr(&mut self, expr: CExpr<'e>) -> Result<CExpr<'e>>

Compiles an expression to a zero argument function which can be directly fed to the interpreter

Trait Implementations

impl<'a, 'e> TypeEnv for Compiler<'a, 'e>

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, 'e> KindEnv for Compiler<'a, 'e>

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

Returns the kind of the type type_name