Struct FactBinding 

pub struct FactBinding { /* private fields */ }

Mapping from one gatekeep fact to one keepsake relation.

Implementations

impl FactBinding

pub const fn new(fact: FactId, relation_id: RelationId) -> Self

Builds a binding that resolves in both decision and query mode.

pub const fn with_query_presence( fact: FactId, relation_id: RelationId, query_presence: QueryPresence, ) -> Self

Builds a binding with explicit query-mode behavior.

pub const fn on_subject( fact: FactId, relation_id: RelationId, subject_slot: SubjectSlot, ) -> Self

Builds a binding for a request-scoped subject slot.

pub const fn with_subject_and_query_presence( fact: FactId, relation_id: RelationId, subject_slot: Option<SubjectSlot>, query_presence: QueryPresence, ) -> Self

Builds a binding for a request-scoped subject slot with explicit query-mode behavior.

pub fn for_relation_spec<F, R>() -> Result<Self, FactBindingError>

where F: Fact, R: RelationSpec,

Binds a typed gatekeep fact to a typed keepsake relation.

Errors

Returns FactBindingError::Gatekeep if the fact marker exposes an invalid stable id.

pub fn for_relation_spec_on_subject<F, R>( subject_slot: SubjectSlot, ) -> Result<Self, FactBindingError>

where F: Fact, R: RelationSpec,

Binds a typed gatekeep fact to a typed keepsake relation on a request-scoped subject.

Errors

Returns FactBindingError::Gatekeep if the fact marker exposes an invalid stable id.

pub fn resolve_relation<F, R>() -> Result<Self, FactBindingError>

where F: Fact, R: RelationSpec,

Binds a typed gatekeep fact to a typed keepsake relation that is resolved during query preparation.

Errors

Returns FactBindingError::Gatekeep if the fact marker exposes an invalid stable id.

pub fn defer_relation<F, R>() -> Result<Self, FactBindingError>

where F: Fact, R: RelationSpec,

Binds a typed gatekeep fact to a typed keepsake relation that is left unknown during query preparation for row-level lowering.

Errors

Returns FactBindingError::Gatekeep if the fact marker exposes an invalid stable id.

pub fn for_relation_spec_with_query_presence<F, R>( query_presence: QueryPresence, ) -> Result<Self, FactBindingError>

where F: Fact, R: RelationSpec,

Binds a typed gatekeep fact to a typed keepsake relation, with explicit query-mode behavior.

Errors

Returns FactBindingError::Gatekeep if the fact marker exposes an invalid stable id.

pub fn for_relation_spec_on_subject_with_query_presence<F, R>( subject_slot: SubjectSlot, query_presence: QueryPresence, ) -> Result<Self, FactBindingError>

where F: Fact, R: RelationSpec,

Binds a typed gatekeep fact to a typed keepsake relation on a request-scoped subject, with explicit query-mode behavior.

Errors

Returns FactBindingError::Gatekeep if the fact marker exposes an invalid stable id.

pub const fn fact(&self) -> &FactId

Returns the gatekeep fact id.

pub const fn relation_id(&self) -> RelationId

Returns the keepsake relation id.

pub const fn subject_slot(&self) -> Option<&SubjectSlot>

Returns the request-scoped subject slot for this binding.

pub const fn query_presence(&self) -> QueryPresence

Returns query-mode resolution behavior.

Trait Implementations

impl Clone for FactBinding

fn clone(&self) -> FactBinding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FactBinding

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

Formats the value using the given formatter.

impl Eq for FactBinding

impl PartialEq for FactBinding

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FactBinding