Trait adapton::catalog::collections::trie::SetElim

pub trait SetElim<X>: Debug + Hash + PartialEq + Eq + Clone + 'static {
    fn mem(_: &Self, _: &X) -> bool;
    fn fold<Res, F>(_: Self, _: Res, _: Rc<F>) -> Res
    where
        F: Fn(X, Res) -> Res;
}

Required Methods

fn mem(_: &Self, _: &X) -> bool

fn fold<Res, F>(_: Self, _: Res, _: Rc<F>) -> Res where
    F: Fn(X, Res) -> Res, 

Implementors

• impl<X: Hash, Set: TrieIntro<X> + TrieElim<X>> SetElim<X> for Set