Trait adapton::catalog::collections::MapElim

pub trait MapElim<Dom, Cod>: Debug + Hash + PartialEq + Eq + Clone + 'static {
    fn find(_: &Self, d: &Dom) -> Option<Cod>;
    fn remove(_: Self, d: &Dom) -> (Self, Option<Cod>);
    fn fold<Res, F>(_: Self, _: Res, _: Rc<F>) -> Res
    where
        F: Fn(Dom, Cod, Res) -> Res;
    fn append(_: Self, other: Self) -> Self;
}

Required Methods

fn find(_: &Self, d: &Dom) -> Option<Cod>

fn remove(_: Self, d: &Dom) -> (Self, Option<Cod>)

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

fn append(_: Self, other: Self) -> Self

Implementors

• impl<Dom: Debug + Hash + PartialEq + Eq + Clone + 'static, Cod: Debug + Hash + PartialEq + Eq + Clone + 'static> MapElim<Dom, Cod> for List<(Dom, Cod)>