[][src]Struct gluon_vm::core::interpreter::Compiler

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

Methods

impl<'a, 'e> Compiler<'a, 'e>[src]

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

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

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>[src]

type Type = ArcType

impl<'a, 'e> KindEnv for Compiler<'a, 'e>[src]

Auto Trait Implementations

impl<'a, 'e> !Send for Compiler<'a, 'e>

impl<'a, 'e> !Sync for Compiler<'a, 'e>

Blanket Implementations

impl<D, T> FromPtr for T[src]

impl<T, U> Into for T where
    U: From<T>, 
[src]

impl<T> From for T[src]

impl<T, U> TryFrom for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T> Borrow for T where
    T: ?Sized
[src]

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> BorrowMut for T where
    T: ?Sized
[src]

impl<T, U> TryInto for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<Choices> CoproductSubsetter for Choices[src]

type Remainder = Choices

impl<Source> Sculptor for Source[src]

type Remainder = Source

impl<T, U, I> LiftInto for T where
    U: LiftFrom<T, I>, 
[src]

impl<T> Any for T where
    T: Any
[src]