Struct VarContext 

pub struct VarContext { /* private fields */ }

Implementations

impl VarContext

pub fn new() -> Self

pub fn stable(&self) -> Result<Self>

pub fn one_tick(&self) -> Result<Self>

pub fn pre_tick(&self) -> Result<Self>

pub fn push_var(&mut self, var: String, t: Type)

pub fn push_tick(&mut self)

pub fn get_var(self, var: &String) -> Result<(Type, bool)>

pub fn apply_subs(&mut self, subs: &Vec<(String, Type)>)

pub fn get_free_vars(&self) -> HashSet<String>

Trait Implementations

impl Clone for VarContext

fn clone(&self) -> VarContext

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for VarContext

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

Formats the value using the given formatter.

impl PartialEq for VarContext

fn eq(&self, other: &VarContext) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for VarContext