Struct IdSet 

pub struct IdSet<Id: Ord> { /* private fields */ }

A membership predicate over a set of ids — the canonical pub/sub filter. contains is true when the set holds id; as a SendPipe it admits (Ok(id)) or rejects (Err(id)) the id flowing through it. Build one as the initial for live_filter and grow it live with FilterUpdate.

Serde-transparent: it round-trips as a bare array of ids, so a subscription’s set is exactly what you load from config or ship over the wire (the config mirror; the layered conflaguration loader attaches at the service that composes this, per the workspace config principle’s layering caveat).

Implementations

impl<Id: Ord> IdSet<Id>

pub fn new() -> Self

An empty set — matches nothing.

pub fn from_ids(ids: impl IntoIterator<Item = Id>) -> Self

A set seeded from ids.

pub fn contains(&self, id: &Id) -> bool

Whether id is a member.

pub fn len(&self) -> usize

The number of ids in the set.

pub fn is_empty(&self) -> bool

Whether the set is empty (matches nothing).

pub fn iter(&self) -> impl Iterator<Item = &Id> + '_

Iterate the member ids in sorted order.

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

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

A copy with id added — the copy-on-write step for FilterControl::update.

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

A copy with id removed.

Trait Implementations

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

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Id: Debug + Ord> Debug for IdSet<Id>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<Id: Ord> Default for IdSet<Id>

fn default() -> Self

Returns the “default value” for a type.

impl<'de, Id> Deserialize<'de> for IdSet<Id>

where Id: Deserialize<'de> + Ord,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<Id: Eq + Ord> Eq for IdSet<Id>

impl<Id: Ord> FromIterator<Id> for IdSet<Id>

fn from_iter<Iter: IntoIterator<Item = Id>>(iter: Iter) -> Self

Creates a value from an iterator.

impl<Id: PartialEq + Ord> PartialEq for IdSet<Id>

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<Id: Ord + Clone + Debug + Send + Sync + 'static> SendPipe for IdSet<Id>

type In = Id

Input the pipe consumes.

type Out = Id

Output the pipe produces.

type Err = Id

Error the pipe can fail with — Send here so it can cross cores.

fn call(&self, id: Id) -> impl Future<Output = Result<Id, Id>> + Send

Apply the pipe. The returned future IS Send.

impl<Id> Serialize for IdSet<Id>

where Id: Serialize + Ord,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<Id: PartialEq + Ord> StructuralPartialEq for IdSet<Id>