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

Loading content...

Implementors

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

fn find<'a>(map: &'a Self, d: &Dom) -> Option<Cod>

fn remove(_map: Self, _d: &Dom) -> (Self, Option<Cod>)

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

fn append(_map: Self, _other: Self) -> Self

Loading content...