Struct SourceFactSetV1 

pub struct SourceFactSetV1<T> { /* private fields */ }

Coverage-qualified rows from one source domain.

Implementations

impl<T> SourceFactSetV1<T>

pub fn complete(rows: Vec<T>) -> Self

Complete source-order rows; empty proves absence.

pub fn partial(rows: Vec<T>, reason: SourceUnavailableReasonV1) -> Self

Deterministic positive-presence prefix from a truncated domain.

pub fn unavailable(reason: SourceUnavailableReasonV1) -> Self

No rows are available for the domain.

pub const fn coverage(&self) -> SourceSetCoverageV1

Coverage for this independently enumerable domain.

pub fn rows(&self) -> &[T]

Retained deterministic rows.

pub fn proves_absence(&self) -> bool

Whether this complete empty set proves source absence.

Trait Implementations

impl<T: Clone> Clone for SourceFactSetV1<T>

fn clone(&self) -> SourceFactSetV1<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for SourceFactSetV1<T>

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

Formats the value using the given formatter.

impl<T: PartialEq> PartialEq for SourceFactSetV1<T>

fn eq(&self, other: &SourceFactSetV1<T>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<T: PartialEq> StructuralPartialEq for SourceFactSetV1<T>