Struct Ctx 

pub struct Ctx {
    pub env: Rc<Env>,
    pub report: Report,
    pub vars: HashMap<String, Ty>,
    pub present: HashSet<String>,
    pub nonnull: HashSet<String>,
    pub const_memo: Rc<RefCell<HashMap<String, Ty>>>,
    pub pos: Rc<RefCell<Option<Rc<Expr>>>>,
    pub record: Option<Rc<dyn Fn(&Rc<Expr>, &Ty)>>,
    pub resolve_hook: Option<Rc<dyn Fn(&Rc<Expr>, Option<Target>)>>,
}

Fields

env: Rc<Env>

report: Report

vars: HashMap<String, Ty>

present: HashSet<String>

nonnull: HashSet<String>

const_memo: Rc<RefCell<HashMap<String, Ty>>>

pos: Rc<RefCell<Option<Rc<Expr>>>>

the expression under inference (shared by child contexts): what a report is anchored to

record: Option<Rc<dyn Fn(&Rc<Expr>, &Ty)>>

Phase 6 foundations: every inferred node’s type, and every name’s resolution (the language server’s tables)

resolve_hook: Option<Rc<dyn Fn(&Rc<Expr>, Option<Target>)>>

Implementations

impl Ctx

pub fn report(&self, code: &str, msg: String)

pub fn child(&self) -> Ctx

pub fn with_env(&self, env: Rc<Env>) -> Ctx

Trait Implementations

impl Clone for Ctx

fn clone(&self) -> Ctx

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.