Struct TribleSet 

pub struct TribleSet {
    pub eav: PATCH<TRIBLE_LEN, EAVOrder, ()>,
    pub vea: PATCH<TRIBLE_LEN, VEAOrder, ()>,
    pub ave: PATCH<TRIBLE_LEN, AVEOrder, ()>,
    pub vae: PATCH<TRIBLE_LEN, VAEOrder, ()>,
    pub eva: PATCH<TRIBLE_LEN, EVAOrder, ()>,
    pub aev: PATCH<TRIBLE_LEN, AEVOrder, ()>,
}

A collection of Tribles.

A TribleSet is a collection of Tribles that can be queried and manipulated. It supports efficient set operations like union, intersection, and difference.

The stored Tribles are indexed by the six possible orderings of their fields in corresponding PATCHes.

Clone is extremely cheap and can be used to create a snapshot of the current state of the TribleSet.

Note that the TribleSet does not support an explicit delete/remove operation, as this would conflict with the CRDT semantics of the TribleSet and CALM principles as a whole. It does allow for set subtraction, but that operation is meant to compute the difference between two sets and not to remove elements from the set. A subtle but important distinction.

Fields

eav: PATCH<TRIBLE_LEN, EAVOrder, ()>

vea: PATCH<TRIBLE_LEN, VEAOrder, ()>

ave: PATCH<TRIBLE_LEN, AVEOrder, ()>

vae: PATCH<TRIBLE_LEN, VAEOrder, ()>

eva: PATCH<TRIBLE_LEN, EVAOrder, ()>

aev: PATCH<TRIBLE_LEN, AEVOrder, ()>

Implementations

impl TribleSet

pub fn union(&mut self, other: Self)

Union of two TribleSets.

The other TribleSet is consumed, and this TribleSet is updated in place.

pub fn intersect(&self, other: &Self) -> Self

pub fn difference(&self, other: &Self) -> Self

pub fn new() -> TribleSet

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn fingerprint(&self) -> TribleSetFingerprint

Returns a fast fingerprint suitable for in-memory caching.

The fingerprint matches TribleSet equality, but it is not stable across process boundaries because PATCH uses a per-process hash key.

pub fn insert(&mut self, trible: &Trible)

pub fn contains(&self, trible: &Trible) -> bool

pub fn iter(&self) -> TribleSetIterator<'_>

Trait Implementations

impl Add for TribleSet

type Output = TribleSet

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self::Output

Performs the + operation.

impl AddAssign for TribleSet

fn add_assign(&mut self, rhs: Self)

Performs the += operation.

impl Clone for TribleSet

fn clone(&self) -> TribleSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TribleSet

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

Formats the value using the given formatter.

impl Default for TribleSet

fn default() -> Self

Returns the “default value” for a type.

impl<U> From<&SuccinctArchive<U>> for TribleSet

where U: Universe,

fn from(archive: &SuccinctArchive<U>) -> Self

Converts to this type from the input type.

impl<U> From<&TribleSet> for SuccinctArchive<U>

where U: Universe + Serializable<Error = Error>, <U as Serializable>::Meta: Clone,

fn from(set: &TribleSet) -> Self

Converts to this type from the input type.

impl From<&TribleSet> for TribleSetFingerprint

fn from(set: &TribleSet) -> Self

Converts to this type from the input type.

impl FromIterator<Trible> for TribleSet

fn from_iter<I: IntoIterator<Item = Trible>>(iter: I) -> Self

Creates a value from an iterator.

impl<'a> IntoIterator for &'a TribleSet

type Item = &'a Trible

The type of the elements being iterated over.

type IntoIter = TribleSetIterator<'a>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl PartialEq for TribleSet

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl ToBlob<SimpleArchive> for &TribleSet

fn to_blob(self) -> Blob<SimpleArchive>

impl ToBlob<SimpleArchive> for TribleSet

fn to_blob(self) -> Blob<SimpleArchive>

impl TriblePattern for TribleSet

type PatternConstraint<'a> = TribleSetConstraint

The type of the constraint created by the pattern method.

fn pattern<V: ValueSchema>( &self, e: Variable<GenId>, a: Variable<GenId>, v: Variable<V>, ) -> Self::PatternConstraint<'static>

Create a constraint for a given trible pattern. The method takes three variables, one for each part of the trible. The schemas of the entities and attributes are always GenId, while the value schema can be any type implementing ValueSchema and is specified as a type parameter.

impl TryFromBlob<SimpleArchive> for TribleSet

type Error = UnarchiveError

fn try_from_blob(blob: Blob<SimpleArchive>) -> Result<Self, Self::Error>

impl Eq for TribleSet