Struct FilteredListView 

pub struct FilteredListView<K: Clone + Eq + Hash, V: Clone + PartialEq> { /* private fields */ }

Implementations

impl<K: Clone + Eq + Hash, V: Clone + PartialEq> FilteredListView<K, V>

pub fn new( label: impl Into<String>, filter: impl Fn(&K, &V) -> bool + 'static, ) -> Self

Create a new filtered list view with the given filter predicate.

pub fn total_count(&self) -> usize

Number of total items (before filtering).

pub fn visible_count(&self) -> usize

Number of visible items (after filtering).

Trait Implementations

impl<K: Clone + Eq + Hash, V: Clone + PartialEq> IncrementalView<K, V> for FilteredListView<K, V>

fn apply_delta(&mut self, batch: &DeltaBatch<K, V>) -> DeltaBatch<K, V>

Apply a batch of input deltas and produce output deltas.

fn full_recompute(&self) -> Vec<(K, V)>

Fully recompute the materialized view from scratch.

fn materialized_size(&self) -> usize

Number of entries in the materialized view.

fn domain(&self) -> ViewDomain

Domain of this view (for logging and evidence).

fn label(&self) -> &str

Human-readable label for this view.