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, 

Loading content...

Implementors

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

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

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

Loading content...