Struct BoundVarEnv 

pub struct BoundVarEnv {
    name_gen: IndexGen<BoundVarName>,
    layers: RefCell<Vec<BoundVarLayer>>,
}

Fields

name_gen: IndexGen<BoundVarName>

layers: RefCell<Vec<BoundVarLayer>>

Implementations

impl BoundVarEnv

pub fn check_if_seen_fn_root_bvar( &self, debruijn: DebruijnIndex, var: BoundVar, ) -> Option<(bool, FnRootLayerType)>

Checks if a variable is

1. In the function root layer (Some(..) if so, None otherwise)
2. Has been seen before (the bool inside of the Some(..))
3. At the args or ret layer type (the FnRootLayerType inside of the Some(..))

It updates the set of seen variables at the function root layer when it does the check.

pub fn should_remove_var( &self, debruijn: DebruijnIndex, var: BoundVar, ) -> Option<bool>

pub fn mark_var_as_removed( &self, debruijn: DebruijnIndex, var: BoundVar, ) -> Option<bool>

fn lookup(&self, debruijn: DebruijnIndex, var: BoundVar) -> Option<BoundVarName>

fn push_layer( &self, vars: &[BoundVariableKind], vars_to_remove: FxHashSet<BoundVar>, is_fn_root_layer: Option<FnRootLayerType>, )

fn peek_layer(&self) -> Option<BoundVarLayer>

fn pop_layer(&self) -> Option<BoundVarLayer>

Trait Implementations

impl Default for BoundVarEnv

fn default() -> BoundVarEnv

Returns the “default value” for a type.