Intersection on lists seen as sets
Like xs filter p
but returns list xs
itself - instead of a copy -
if p
is true for all elements and xs
is not longer
than MaxFilterRecursions
.
Like (xs, ys).zipped.map(f)
, but returns list xs
itself
Like (xs, ys).zipped.map(f)
, but returns list xs
itself
f
maps all elements of
xs
to themselves. Also, it is required that ys
is at least
as long as xs
.
Union on lists seen as sets
Implements filterConserve, zipWithConserve methods on lists that avoid duplication of list nodes where feasible.