Struct KeepsakeResolver 

pub struct KeepsakeResolver<S, M = TenantScopedSubjectMapper> { /* private fields */ }

Resolves gatekeep facts from active keepsake relations for the principal.

Implementations

impl<S> KeepsakeResolver<S, TenantScopedSubjectMapper>

pub const fn new(source: S) -> Self

Builds a resolver around an active-relation source.

impl<S, M> KeepsakeResolver<S, M>

pub const fn with_subject_mapper(source: S, subject_mapper: M) -> Self

Builds a resolver with an explicit subject mapper.

pub fn map_subjects<Next>( self, subject_mapper: Next, ) -> KeepsakeResolver<S, Next>

Replaces the subject mapper.

pub fn with_binding(self, binding: FactBinding) -> Self

Adds or replaces a fact binding.

pub fn insert_binding(&mut self, binding: FactBinding)

Adds or replaces a fact binding.

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

where F: Fact, R: RelationSpec,

Adds or replaces a typed fact-to-relation binding.

Errors

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

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

where F: Fact, R: RelationSpec,

Adds or replaces a typed binding that is resolved during query preparation.

Errors

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

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

where F: Fact, R: RelationSpec,

Adds or replaces a typed binding that is deferred during query preparation for row-level lowering.

Errors

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

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

where F: Fact, R: RelationSpec,

Adds or replaces a typed binding with explicit query-mode behavior.

Errors

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

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

where F: Fact, R: RelationSpec,

Adds or replaces a typed binding resolved against a request-scoped subject slot.

Errors

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

pub const fn bindings(&self) -> &BTreeMap<FactId, FactBinding>

Returns the configured bindings keyed by fact id.

pub const fn source(&self) -> &S

Returns the wrapped active-relation source.

pub const fn subject_mapper(&self) -> &M

Returns the subject mapper.

impl<S, M> KeepsakeResolver<S, M>

where M: SubjectMapper,

pub fn target_for_binding( &self, binding: &FactBinding, cx: &Context, ) -> Result<KeepsakeRelationTarget, KeepsakeTargetError>

Resolves one binding into the keepsake subject/relation target used for lookups.

Errors

Returns KeepsakeTargetError::MissingSubjectSlot when the binding targets a request-scoped subject absent from the context, or KeepsakeTargetError::Subject when keepsake rejects the mapped subject.

pub fn target_for_fact( &self, fact: &FactId, cx: &Context, ) -> Result<KeepsakeRelationTarget, KeepsakeTargetError>

Resolves a configured fact id into its keepsake subject/relation target.

Errors

Returns KeepsakeTargetError::MissingBinding when the fact has no configured binding. Also returns the subject-resolution errors documented by Self::target_for_binding.

pub fn targets_for_facts( &self, facts: &[FactId], cx: &Context, ) -> Result<Vec<KeepsakeRelationTarget>, KeepsakeTargetError>

Resolves configured fact ids into keepsake subject/relation targets.

Errors

Returns the first KeepsakeTargetError encountered while resolving the requested facts.

Trait Implementations

impl<S: Clone, M: Clone> Clone for KeepsakeResolver<S, M>

fn clone(&self) -> KeepsakeResolver<S, M>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S: Debug, M: Debug> Debug for KeepsakeResolver<S, M>

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

Formats the value using the given formatter.

impl<S, M> FactResolver for KeepsakeResolver<S, M>

where S: ActiveRelationSource, M: SubjectMapper,

type Error = KeepsakeResolveError<<S as ActiveRelationSource>::Error>

Resolver-specific backend error.

fn resolve_for_decision<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, required: &'life1 [FactId], cx: &'life2 Context, ) -> Pin<Box<dyn Future<Output = Result<KnownFacts, ResolveError<Self::Error>>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Resolves every required fact to present or absent for a single decision.

fn resolve_for_query<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, required: &'life1 [FactId], cx: &'life2 Context, ) -> Pin<Box<dyn Future<Output = Result<PartialFacts, ResolveError<Self::Error>>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Resolves known request facts and marks query-deferred facts as unknown.