new_filtered
Description:
[
Version ( since =
"0.2.2" ) ]
public List new_filtered (
Filter filter)
Construct a new list that is filled with elements from this that match filter
Parameters:
| this |
the list to copy
|
| filter |
the filter to apply
|
Returns:
|
a filtered copy of the list
|