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,
    pub state: ApplicationResult,
    /* 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

state: ApplicationResult

Represents whether crate::events::FinalEvents have occurred. Can be used to tell whether the statements will fire. Shortcut for inferred return types

In the future narrowing

Trait Implementations

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

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

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

fn as_syntax(&self) -> Option<&Syntax<'_>>

fn get_state_mut(&mut self) -> Option<&mut ApplicationResult>

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

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

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

Formats the value using the given formatter.