[][src]Trait gluon::compiler_pipeline::Compileable

pub trait Compileable<Extra> {
    type Expr;
    fn compile(
        self,
        compiler: &mut Compiler,
        thread: &Thread,
        file: &str,
        expr_str: &str,
        arg: Extra
    ) -> Result<CompileValue<Self::Expr>>; }

Associated Types

type Expr

Loading content...

Required methods

fn compile(
    self,
    compiler: &mut Compiler,
    thread: &Thread,
    file: &str,
    expr_str: &str,
    arg: Extra
) -> Result<CompileValue<Self::Expr>>

Loading content...

Implementors

impl<'a, 'b, T> Compileable<Option<&'b ArcType<Symbol>>> for T where
    T: Typecheckable
[src]

type Expr = T::Expr

impl<E, Extra> Compileable<Extra> for TypecheckValue<E> where
    E: Borrow<SpannedExpr<Symbol>>, 
[src]

type Expr = E

Loading content...