Struct AsOf 

pub struct AsOf {
    pub valid: Option<String>,
    pub recorded: Option<String>,
}

The instant pair a temporal read is taken at (0.13.2, W7.1, D-174).

One field per axis, because §3.1 is what happens when there is one field for both. None on either axis means the present on that axis, and the two are independent: a read may fix valid time and float transaction time, or the reverse, or fix both — which is the cell Jensen and Snodgrass’s BCDM defines a bitemporal database as answering, and which no surface in this crate could express before W7.1.

Fields

valid: Option<String>

What was true. Bounds a row against its own valid_from/valid_to.

recorded: Option<String>

What we believed. Bounds transaction_log.recorded_at.

Implementations

impl AsOf

pub fn now() -> Self

Both axes at the present: live rows, current belief.

pub fn valid_at(ts: impl Into<String>) -> Self

Fix valid time at ts, leaving belief at the present.

pub fn recorded_at(ts: impl Into<String>) -> Self

Fix belief at ts, leaving valid time at the present.

pub fn bitemporal(valid: impl Into<String>, recorded: impl Into<String>) -> Self

Fix both — the bitemporal cell.

Trait Implementations

impl Clone for AsOf

fn clone(&self) -> AsOf

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AsOf

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

Formats the value using the given formatter.

impl Default for AsOf

fn default() -> AsOf

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for AsOf

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for AsOf

impl PartialEq for AsOf

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for AsOf

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for AsOf