Struct ezno_checker::CheckingData

pub struct CheckingData<'a, FSResolver, ModuleAST: ASTImplementation> {
    pub diagnostics_container: DiagnosticsContainer,
    pub type_mappings: TypeMappings,
    pub types: TypeStore,
    /* private fields */
}

Contains logic for checking phase (none of the later steps) All data is global, non local to current scope TODO some of these should be mutex / ref cell

Fields

diagnostics_container: DiagnosticsContainer

Type checking errors

type_mappings: TypeMappings

TODO temp pub

types: TypeStore

Implementations

impl<'a, T: ReadFromFS, A: ASTImplementation> CheckingData<'a, T, A>

pub fn new( options: TypeCheckOptions, resolver: &'a T, existing_files: Option<MapFileStore<WithPathMap>> ) -> Self

pub fn import_file( &mut self, from: SourceId, importing_path: &str, environment: &mut Environment<'_> ) -> Result<Result<Exported, InvalidModule>, CouldNotOpenFile>

pub fn raise_decidable_result_error( &mut self, span: SpanWithSource, value: bool )

TODO temp, needs better place

pub fn raise_unimplemented_error( &mut self, item: &'static str, span: SpanWithSource )

TODO temp, needs better place

pub fn add_expression_mapping( &mut self, span: SpanWithSource, instance: Instance )

pub fn check_satisfies( &mut self, expr_ty: TypeId, to_satisfy: TypeId, at: SpanWithSource, environment: &mut Environment<'_> )