Struct ReadFilter 

pub struct ReadFilter { /* private fields */ }

One TupleSet filter for the Read API (paper §2.4.2 / §2.4.3). Build with ReadFilter::by_object, ReadFilter::by_user, or ReadFilter::by_user_set.

Implementations

impl ReadFilter

pub fn by_object(ns: Namespace, obj: Obj, rel: Option<Rel>) -> ReadFilter

Reads stored tuples on ⟨ns, obj⟩. rel None means all relations.

pub fn by_user(ns: Namespace, user: User, rel: Option<Rel>) -> ReadFilter

Reverse-reads tuples in ns whose subject is user (paper §2.4.3 UserSetSpec). Answered via the reverse index — raw stored edges, no rewrite evaluation. rel None means all relations.

pub fn by_user_set( ns: Namespace, user_set: UserSet, rel: Option<Rel>, ) -> ReadFilter

Reverse-reads tuples in ns whose subject is the userset. rel None means all relations.

Trait Implementations

impl Clone for ReadFilter

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReadFilter

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

Formats the value using the given formatter.