Function guppy::graph::feature::feature_id_filter
source ยท pub fn feature_id_filter<'g: 'a, 'a>(
base: impl FeatureFilter<'g> + 'a,
feature_ids: impl IntoIterator<Item = impl Into<FeatureId<'a>>>,
) -> impl FeatureFilter<'g> + 'a
Expand description
Returns a FeatureFilter
that selects everything from the base filter, plus some additional
feature IDs.
This is a more advanced version of feature_filter
.