Trait moniker::OnBoundFn

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

Required Methods

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

Implementations on Foreign Types

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

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

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

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

Implementors