Trait gluon::compiler_pipeline::Typecheckable

pub trait Typecheckable: Sized {
    type Expr: BorrowMut<SpannedExpr<Symbol>>;
    fn typecheck_expected(
        self, 
        compiler: &mut Compiler, 
        thread: &Thread, 
        file: &str, 
        expr_str: &str, 
        expected_type: Option<&ArcType>
    ) -> Result<TypecheckValue<Self::Expr>>;

    fn typecheck(
        self, 
        compiler: &mut Compiler, 
        thread: &Thread, 
        file: &str, 
        expr_str: &str
    ) -> Result<TypecheckValue<Self::Expr>> { ... }
}

Associated Types

type Expr: BorrowMut<SpannedExpr<Symbol>>

Required Methods

fn typecheck_expected(
    self,
    compiler: &mut Compiler,
    thread: &Thread,
    file: &str,
    expr_str: &str,
    expected_type: Option<&ArcType>
) -> Result<TypecheckValue<Self::Expr>>

Provided Methods

fn typecheck(
    self,
    compiler: &mut Compiler,
    thread: &Thread,
    file: &str,
    expr_str: &str
) -> Result<TypecheckValue<Self::Expr>>

Implementors

• impl<T> Typecheckable for T where
    T: MacroExpandable, 
• impl<E> Typecheckable for MacroValue<E> where
    E: BorrowMut<SpannedExpr<Symbol>>,