Struct biscuit_auth::datalog::FactSet

pub struct FactSet { /* private fields */ }

Implementations

impl FactSet

pub fn insert(&mut self, origin: &Origin, fact: Fact)

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn iterator<'a>( &'a self, block_ids: &'a TrustedOrigins ) -> impl Iterator<Item = (&Origin, &Fact)> + Clone

pub fn iter_all<'a>(&'a self) -> impl Iterator<Item = (&Origin, &Fact)> + Clone

pub fn merge(&mut self, other: FactSet)

Trait Implementations

impl Clone for FactSet

fn clone(&self) -> FactSet

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FactSet

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

Formats the value using the given formatter.

impl Default for FactSet

fn default() -> FactSet

Returns the “default value” for a type.

impl Extend<(Origin, Fact)> for FactSet

fn extend<T: IntoIterator<Item = (Origin, Fact)>>(&mut self, iter: T)

Extends a collection with the contents of an iterator.

fn extend_one(&mut self, item: A)

🔬This is a nightly-only experimental API. (extend_one)

Extends a collection with exactly one element.

fn extend_reserve(&mut self, additional: usize)

🔬This is a nightly-only experimental API. (extend_one)

Reserves capacity in a collection for the given number of additional elements.

impl IntoIterator for FactSet

type Item = (Origin, Fact)

The type of the elements being iterated over.

type IntoIter = Box<dyn Iterator<Item = (Origin, Fact)>>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.