Struct ManagedSchemaScope 

pub struct ManagedSchemaScope { /* private fields */ }

Unbound evidence selecting direct fact identities observed as managed.

Selection-only evidence cannot enter persisted managed fingerprints until an owning schema derives an exclusive bound scope from all declared facts.

Implementations

impl ManagedSchemaScope

pub fn new(facts: impl IntoIterator<Item = SchemaFactId>) -> Self

Create a deterministic managed scope from direct fact identities.

pub fn bind_exclusive( scope_id: ManagedScopeId, declared: &DeclaredSchema, ) -> Result<BoundManagedSchemaScope, SchemaDiagnostics>

Derive a complete exclusive managed scope from every direct declared fact.

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

Report whether a direct fact identity is managed.

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

Iterate managed identities in stable order.

pub fn len(&self) -> usize

Return the number of managed identities.

pub fn is_empty(&self) -> bool

Report whether the scope manages no facts.

Trait Implementations

impl Clone for ManagedSchemaScope

fn clone(&self) -> ManagedSchemaScope

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ManagedSchemaScope

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

Formats the value using the given formatter.

impl Default for ManagedSchemaScope

fn default() -> ManagedSchemaScope

Returns the “default value” for a type.

impl Eq for ManagedSchemaScope

impl PartialEq for ManagedSchemaScope

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ManagedSchemaScope