Struct ScopeSet 

pub struct ScopeSet { /* private fields */ }

The scopes a principal holds.

A u128 bitset for the same reason FeatureProfile is one: the set is copied into every visibility decision, so it has to be Copy and eight bytes of comparison beats a HashSet on a path that runs once per primitive per list.

Implementations

impl ScopeSet

pub const fn empty() -> Self

No scopes. The default, so a context built without a set denies everything that requires one.

pub const fn all() -> Self

Every scope.

pub const fn with(self, scope: Scope) -> Self

Adds a scope.

pub const fn contains(self, scope: Scope) -> bool

Whether the scope is held.

pub const fn is_empty(self) -> bool

Whether no scope is held.

pub const fn holds(self, required: Self) -> bool

Whether every scope in required is held.

The direction matters: this is “does the principal have everything the primitive needs”, and the subset relation is what makes an empty requirement visible to everyone while a single missing scope hides the primitive from everyone.

pub const fn difference(self, other: Self) -> Self

The scopes held but not required, and the reverse — for a message that says which side was short.

Trait Implementations

impl Clone for ScopeSet

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ScopeSet

impl Debug for ScopeSet

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

Formats the value using the given formatter.

impl Default for ScopeSet

fn default() -> Self

Returns the “default value” for a type.

impl Eq for ScopeSet

impl Hash for ScopeSet

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ScopeSet

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ScopeSet