Struct ManagedFactSelection 

pub struct ManagedFactSelection(/* private fields */);

Deterministically ordered identities owned by one managed schema scope.

Implementations

impl ManagedFactSelection

pub fn new( fact_ids: impl IntoIterator<Item = SchemaFactId>, ) -> Result<Self, Diagnostic>

Build a bounded selection, rejecting duplicate fact identities.

pub fn empty() -> Self

Return an empty managed selection.

pub fn contains(&self, fact_id: &SchemaFactId) -> bool

Return whether this selection contains one fact identity.

pub fn len(&self) -> usize

Return the number of selected fact identities.

pub fn is_empty(&self) -> bool

Return whether no facts are selected.

pub fn iter(&self) -> impl ExactSizeIterator<Item = &SchemaFactId>

Iterate in stable fact-identity order.

Trait Implementations

impl Clone for ManagedFactSelection

fn clone(&self) -> ManagedFactSelection

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ManagedFactSelection

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

Formats the value using the given formatter.

impl Eq for ManagedFactSelection

impl PartialEq for ManagedFactSelection

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ManagedFactSelection

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ManagedFactSelection