Trait MapIntro
adapton::catalog::collections
pub trait MapIntro<Dom, Cod>: Debug + Hash + PartialEq + Eq + Clone + 'static { fn empty() -> Self; fn update(map: Self, d: Dom, c: Cod) -> Self; }
fn empty() -> Self
fn update(map: Self, d: Dom, c: Cod) -> Self
impl<Dom: Debug + Hash + PartialEq + Eq + Clone + 'static, Cod: Debug + Hash + PartialEq + Eq + Clone + 'static> MapIntro<Dom, Cod> for List<(Dom, Cod)>