Struct Env

pub(crate) struct Env {
    layers: Vec<Layer>,
    early_params: FxIndexMap<ParamId, Symbol>,
}

Fields

layers: Vec<Layer>

early_params: FxIndexMap<ParamId, Symbol>

Implementations

impl Env

fn new(early_params: &[RefineParam<'_>]) -> Self

pub(crate) fn empty() -> Self

fn depth(&self) -> usize

fn push_layer(&mut self, layer: Layer)

fn pop_layer(&mut self) -> Layer

fn top_layer(&self) -> &Layer

fn lookup(&self, var: &PathExpr<'_>) -> LookupResult<'_>

fn to_early_param_args(&self) -> List<Expr>

Trait Implementations

impl Debug for Env

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

Formats the value using the given formatter.