Trait gluon::compiler_pipeline::Typecheckable

pub trait Typecheckable {
    fn typecheck_expected(self, compiler: &mut Compiler, thread: &Thread, file: &str, expr_str: &str, expected_type: Option<&TcType>) -> Result<TypecheckValue>;

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

Required Methods

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

Provided Methods

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

Implementors

• impl<T> Typecheckable for T where T: MacroExpandable
• impl Typecheckable for MacroValue