Trait epilog::var::FreeVars

pub trait FreeVars<V> {
    fn free_vars_into<'a>(&'a self, set: &mut HashSet<&'a V>);

    fn free_vars(&self) -> HashSet<&V> { ... }
}

Required methods

fn free_vars_into<'a>(&'a self, set: &mut HashSet<&'a V>)

Loading content...

Provided methods

fn free_vars(&self) -> HashSet<&V>

Loading content...

Implementations on Foreign Types

impl<V, T: FreeVars<V>> FreeVars<V> for Option<T>

fn free_vars_into<'a>(&'a self, set: &mut HashSet<&'a V>)

impl<V, T: FreeVars<V>> FreeVars<V> for Vec<T>

fn free_vars_into<'a>(&'a self, set: &mut HashSet<&'a V>)

Loading content...

Implementors

impl<L, V: Eq + Hash> FreeVars<Var<V>> for Ast<L, V>

fn free_vars_into<'a>(&'a self, set: &mut HashSet<&'a Var<V>>)

impl<L, V: Eq + Hash> FreeVars<Var<V>> for Term<L, V>

fn free_vars_into<'a>(&'a self, set: &mut HashSet<&'a Var<V>>)

impl<V, K, W: FreeVars<V>> FreeVars<V> for HashMap<K, W>

fn free_vars_into<'a>(&'a self, set: &mut HashSet<&'a V>)

impl<V: Eq + Hash> FreeVars<Var<V>> for Var<V>

fn free_vars_into<'a>(&'a self, set: &mut HashSet<&'a Var<V>>)

fn free_vars(&self) -> HashSet<&Var<V>>

Loading content...