Struct poi::Context

pub struct Context {
    pub vars: Vec<(Arc<String>, Expr)>,
}

Stores variables bound by context.

Fields

vars: Vec<(Arc<String>, Expr)>

Contains the variables in the context.

Implementations

impl Context

pub fn bind(&mut self, name: &Expr, value: &Expr) -> bool

Binds patterns of a name expression to a value expression.

pub fn substitute(&self, x: &Expr) -> Result<Expr, Error>

Substitute free occurences of variables in context.

This is used on the right side in a reduction rule.