Trait moniker::OnFreeFn

pub trait OnFreeFn<N> {
    fn call(
        &self,
        state: ScopeState,
        free_var: &FreeVar<N>
    ) -> Option<BoundVar<N>>;
}

Required Methods

fn call(&self, state: ScopeState, free_var: &FreeVar<N>) -> Option<BoundVar<N>>

Implementations on Foreign Types

impl<N: Clone + PartialEq> OnFreeFn<N> for Vec<Binder<N>>

fn call(&self, state: ScopeState, free_var: &FreeVar<N>) -> Option<BoundVar<N>>

impl<N: Clone + PartialEq> OnFreeFn<N> for Vec<Vec<Binder<N>>>

fn call(&self, state: ScopeState, free_var: &FreeVar<N>) -> Option<BoundVar<N>>

Implementors