Struct ezno_checker::context::environment::Syntax

pub struct Syntax<'a> {
    pub scope: Scope,
    pub free_variables: HashSet<RootReference>,
    pub closed_over_references: ClosedOverReferencesInScope,
    pub location: ContextLocation,
    /* private fields */
}

Fields

scope: Scope

free_variables: HashSet<RootReference>

Variables that this context pulls in from above (across a dynamic context). aka not from parameters of bound this Not to be confused with closed_over_references

closed_over_references: ClosedOverReferencesInScope

Variables used in this scope which are closed over by functions. These need to be stored Not to be confused with used_parent_references

location: ContextLocation

TODO WIP! server, client, worker etc

Trait Implementations

impl<'a> ContextType for Syntax<'a>

fn as_general_context(et: &Context<Self>) -> GeneralContext<'_>

fn get_parent(&self) -> Option<&GeneralContext<'_>>

fn is_dynamic_boundary(&self) -> bool

Variables above this scope may change between runs

fn is_conditional(&self) -> bool

Branch might not be run

fn get_closed_over_references( &mut self ) -> Option<&mut ClosedOverReferencesInScope>

fn get_exports(&mut self) -> Option<&mut Exported>

impl<'a> Debug for Syntax<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.