Struct Scope 

pub struct Scope { /* private fields */ }

Defines what is in-bounds for the intent.

Nothing outside the scope may appear in context.

Implementations

impl Scope

pub fn new() -> Self

Creates an empty scope.

pub fn with_constraint(self, constraint: ScopeConstraint) -> Self

Adds a scope constraint.

pub fn constraints(&self) -> &[ScopeConstraint]

Returns the scope constraints.

pub fn is_defined(&self) -> bool

Checks if the scope is defined (has at least one constraint).

pub fn allows(&self, _fact: &Fact) -> bool

Validates that a fact is within scope.

Returns true if the fact is allowed by the scope constraints. Default implementation is permissive; domain-specific validation should be implemented via invariants.

Trait Implementations

impl Clone for Scope

fn clone(&self) -> Scope

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Scope

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

Formats the value using the given formatter.

impl Default for Scope

fn default() -> Scope

Returns the “default value” for a type.

impl PartialEq for Scope

fn eq(&self, other: &Scope) -> 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 Eq for Scope

impl StructuralPartialEq for Scope