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

Required Methods

Provided Methods

Implementors

impl<E> Typecheckable for InfixReparsed<E> where
    E: BorrowMut<SpannedExpr<Symbol>>, 
[src]

impl<T> Typecheckable for T where
    T: InfixReparseable
[src]