Function adapton::catalog::collections::list_merge
[−]
[src]
pub fn list_merge<X: 'static + Ord + Clone + Debug, L: ListIntro<X> + ListElim<X> + 'static>(
n1: Option<Name>,
l1: L,
n2: Option<Name>,
l2: L
) -> L
Produce a lazy list that consists of merging two input lists.
The output is lazy to the extent that the input lists contain name
s.
When the input lists are each sorted according to Ord
; the output is sorted.