Struct OwnershipTuples 

pub struct OwnershipTuples<'a, O: ?Sized> { /* private fields */ }

An OwnershipStore read as the schema’s TupleSource at instant now, for the set-aware checks: schema.may_grant(&OwnershipTuples::at(&*store, now), …), holds, held_by, members. Rows whose lease has lapsed at now are dropped (R734-F4). A newtype because the orphan rule forbids a blanket impl of cheers-core’s trait for every store.

Implementations

impl<'a, O: ?Sized> OwnershipTuples<'a, O>

pub fn at(store: &'a O, now: i64) -> Self

Trait Implementations

impl<'a, O: OwnershipStore + ?Sized> TupleSource for OwnershipTuples<'a, O>

type Tuple = OwnershipRow

fn list_for_principal<'life0, 'life1, 'async_trait>( &'life0 self, p: &'life1 PrincipalId, ) -> Pin<Box<dyn Future<Output = Result<Vec<OwnershipRow>, StoreError>> + Send + 'async_trait>>

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

Tuples whose subject is exactly principal — no set rows.

fn list_for_resource<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, kind: &'life1 str, id: &'life2 str, ) -> Pin<Box<dyn Future<Output = Result<Vec<OwnershipRow>, StoreError>> + Send + 'async_trait>>

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

Tuples on resource (kind, id), either subject form.

fn list_for_subject_set<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, kind: &'life1 str, id: &'life2 str, ) -> Pin<Box<dyn Future<Output = Result<Vec<OwnershipRow>, StoreError>> + Send + 'async_trait>>

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

Tuples whose subject is a set on (kind, id), any subject relation.