Trait FreeVars

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

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

Required Methods

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

Provided Methods

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

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>)

Implementors

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

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

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

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