Struct ScopeSet 

pub struct ScopeSet { /* private fields */ }

What one connection observes of the shared view.

Canonicalized on construction (sorted, deduplicated) so that equality is set equality. The shard compares the freshly asked-for observation against the committed one to decide whether a connection needs the slow path, and a flavor that returns the same set in a different order must not be mistaken for one that moved.

Implementations

impl ScopeSet

pub const NONE: ScopeSet

Observes nothing at all. This is the state a connection is attached in, which is what makes attaching an ordinary scope change (guide 9.6).

pub fn new(scopes: &[Scope]) -> Result<ScopeSet, TooManyScopes>

Build an observation from a slice of scopes.

Errors

TooManyScopes when more than MAX_OBSERVED distinct scopes are given. Duplicates are free.

pub fn sees(self, element: Scope) -> bool

Whether an element at element is visible to this connection.

pub fn is_empty(self) -> bool

Whether this connection observes nothing.

pub fn iter(self) -> impl Iterator<Item = Scope>

The observed scopes, in canonical order.

Trait Implementations

impl Clone for ScopeSet

fn clone(&self) -> ScopeSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ScopeSet

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

Formats the value using the given formatter.

impl Default for ScopeSet

fn default() -> ScopeSet

Returns the “default value” for a type.

impl PartialEq for ScopeSet

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for ScopeSet

impl Eq for ScopeSet

impl StructuralPartialEq for ScopeSet