[−][src]Enum adapton::catalog::collections::List
Variants
Trait Implementations
impl<X: Clone> Clone for List<X>
[src]
impl<X: Debug> Debug for List<X>
[src]
impl<X: Eq> Eq for List<X>
[src]
impl<X: Hash> Hash for List<X>
[src]
fn hash<__H: Hasher>(&self, state: &mut __H)
[src]
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
H: Hasher,
impl<X: 'static + Debug + Hash + PartialEq + Eq + Clone> ListElim<X> for List<X>
[src]
fn elim<Res, NilF, ConsF, NameF>(
list: &Self,
nilf: NilF,
consf: ConsF,
namef: NameF
) -> Res where
NilF: FnOnce(&Self) -> Res,
ConsF: FnOnce(&X, &Self) -> Res,
NameF: FnOnce(&Name, &Self) -> Res,
[src]
list: &Self,
nilf: NilF,
consf: ConsF,
namef: NameF
) -> Res where
NilF: FnOnce(&Self) -> Res,
ConsF: FnOnce(&X, &Self) -> Res,
NameF: FnOnce(&Name, &Self) -> Res,
fn elim_arg<Arg, Res, NilF, ConsF, NameF>(
list: Self,
arg: Arg,
nilf: NilF,
consf: ConsF,
namef: NameF
) -> Res where
NilF: FnOnce(Self, Arg) -> Res,
ConsF: FnOnce(X, Self, Arg) -> Res,
NameF: FnOnce(Name, Self, Arg) -> Res,
[src]
list: Self,
arg: Arg,
nilf: NilF,
consf: ConsF,
namef: NameF
) -> Res where
NilF: FnOnce(Self, Arg) -> Res,
ConsF: FnOnce(X, Self, Arg) -> Res,
NameF: FnOnce(Name, Self, Arg) -> Res,
fn is_empty(list: &Self) -> bool
[src]
fn is_name(list: &Self) -> bool
[src]
impl<X: 'static + Debug + Hash + PartialEq + Eq + Clone> ListIntro<X> for List<X>
[src]
fn nil() -> Self
[src]
fn cons(hd: X, tl: Self) -> Self
[src]
fn name(nm: Name, tl: Self) -> Self
[src]
fn art(art: Art<List<X>>) -> Self
[src]
fn singleton(hd: X) -> Self
[src]
fn name_art(nm: Option<Name>, rest: Self) -> Self
[src]
impl<Dom: Debug + Hash + PartialEq + Eq + Clone + 'static, Cod: Debug + Hash + PartialEq + Eq + Clone + 'static> MapElim<Dom, Cod> for List<(Dom, Cod)>
[src]
fn find<'a>(map: &'a Self, d: &Dom) -> Option<Cod>
[src]
fn remove(_map: Self, _d: &Dom) -> (Self, Option<Cod>)
[src]
fn fold<Res, F>(map: Self, res: Res, body: Rc<F>) -> Res where
F: Fn(Dom, Cod, Res) -> Res,
[src]
F: Fn(Dom, Cod, Res) -> Res,
fn append(_map: Self, _other: Self) -> Self
[src]
impl<Dom: Debug + Hash + PartialEq + Eq + Clone + 'static, Cod: Debug + Hash + PartialEq + Eq + Clone + 'static> MapIntro<Dom, Cod> for List<(Dom, Cod)>
[src]
impl<X: PartialEq> PartialEq<List<X>> for List<X>
[src]
impl<X> StructuralEq for List<X>
[src]
impl<X> StructuralPartialEq for List<X>
[src]
Auto Trait Implementations
impl<X> !RefUnwindSafe for List<X>
impl<X> !Send for List<X>
impl<X> !Sync for List<X>
impl<X> Unpin for List<X> where
X: Unpin,
X: Unpin,
impl<X> !UnwindSafe for List<X>
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<Elm, Map> SetElim<Elm> for Map where
Map: MapElim<Elm, ()>,
[src]
Map: MapElim<Elm, ()>,
fn is_mem(&Map, &Elm) -> bool
[src]
fn fold<Res, F>(Map, Res, F) -> Res where
F: Fn(Elm, Res) -> Res,
[src]
F: Fn(Elm, Res) -> Res,
impl<Elm, Map> SetIntro<Elm> for Map where
Map: MapIntro<Elm, ()> + MapElim<Elm, ()>,
[src]
Map: MapIntro<Elm, ()> + MapElim<Elm, ()>,
fn empty() -> Map
[src]
fn add(Map, Elm) -> Map
[src]
fn remove(Map, &Elm) -> Map
[src]
fn union(Map, Map) -> Map
[src]
fn inter(Map, Map) -> Map
[src]
fn diff(Map, Map) -> Map
[src]
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,