Struct FilterControl 

pub struct FilterControl<Predicate> { /* private fields */ }

The control (write) half of a live_filter split — the “pipe pumping in” that swaps the predicate the paired LiveFilter reads.

Implementations

impl<Predicate> FilterControl<Predicate>

pub fn replace(&self, next: Predicate)

Replace the predicate wholesale. Every subsequent read of the paired LiveFilter sees next.

pub fn update(&self, mutate: impl Fn(&Predicate) -> Predicate)

Read-modify-write the predicate. mutate derives the next predicate from the current one and may be retried under contention, so it must be pure.

pub fn snapshot(&self) -> Arc<Predicate>

Snapshot the current predicate (introspection).

impl<Id: Ord + Clone> FilterControl<IdSet<Id>>

pub fn apply(&self, update: FilterUpdate<Id>) -> &Self

Apply an IdSet update to the live filter.

pub fn add(&self, id: Id) -> &Self

Add an id to the live set (sugar over apply).

pub fn remove(&self, id: Id) -> &Self

Remove an id from the live set.

pub fn clear(&self) -> &Self

Clear the live set (match nothing).

pub fn replace_ids(&self, ids: impl IntoIterator<Item = Id>) -> &Self

Replace the live set wholesale from an id iterator.

Trait Implementations

impl<Predicate> Clone for FilterControl<Predicate>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.