Trait lark_type_check::TypeCheckDatabase

pub trait TypeCheckDatabase: GetQueryTable<BaseTypeCheckQuery> + GetQueryTable<FullTypeCheckQuery> + ParserDatabase + AsRef<BaseInferredTables> + AsRef<FullInferredTables> + PrettyPrintDatabase {
    fn base_type_check(
        &self, 
        key: Entity
    ) -> WithError<Arc<TypeCheckResults<BaseInferred>>> { ... }
    fn full_type_check(
        &self, 
        key: Entity
    ) -> WithError<Arc<TypeCheckResults<FullInferred>>> { ... }
}

Provided methods

fn base_type_check(
    &self,
    key: Entity
) -> WithError<Arc<TypeCheckResults<BaseInferred>>>

Compute the "base type information" for a given fn body. This is the type information excluding permissions.

fn full_type_check(
    &self,
    key: Entity
) -> WithError<Arc<TypeCheckResults<FullInferred>>>

Compute the "base type information" for a given fn body. This is the type information excluding permissions.

Loading content...

Implementors

Loading content...