[−]Trait lark_type_check::TypeCheckDatabase
Provided methods
fn base_type_check(
&self,
key: Entity
) -> WithError<Arc<TypeCheckResults<BaseInferred>>>
&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>>>
&self,
key: Entity
) -> WithError<Arc<TypeCheckResults<FullInferred>>>
Compute the "base type information" for a given fn body. This is the type information excluding permissions.