Enum TemporalBound 

pub enum TemporalBound {
    AsOf(i64),
    Since(i64),
    AsOfSince {
        as_of: i64,
        since: i64,
    },
}

A whole-query temporal bound (as-of / since), with Datomic’s meaning. A current-state pattern sees datoms; a history pattern ([?e ?a ?v ?tx ?added]) sees the log, retractions too, with the same tx bounds. See ConjoiningClauses::temporal.

Variants

AsOf(i64)

The state as of transaction T: assertions with tx <= T that no retraction at or before T cancels. History: tx <= T.

Since(i64)

The current datoms transacted after T: assertions with tx > T that no retraction cancels. History: tx > T.

AsOfSince

Both ((since (as-of db T) S)): assertions with since < tx <= as_of that no retraction at or before as_of cancels. History: since < tx <= as_of.

Fields

as_of: i64

since: i64

Implementations

impl TemporalBound

pub fn new(as_of: Option<i64>, since: Option<i64>) -> Option<TemporalBound>

The bound for an as-of and/or since basis; None when neither is set.

pub fn as_of(self) -> Option<i64>

The upper bound T (tx <= T), if any.

pub fn since(self) -> Option<i64>

The lower bound S (tx > S), if any.

Trait Implementations

impl Clone for TemporalBound

fn clone(&self) -> TemporalBound

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for TemporalBound

impl Debug for TemporalBound

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

Formats the value using the given formatter.

impl Eq for TemporalBound

impl PartialEq for TemporalBound

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TemporalBound