pub enum ReadKeyIdent {
Point(KeyRepr),
Predicate,
IndexEq {
field: String,
value: String,
},
IndexRange {
field: String,
lo: Option<String>,
hi: Option<String>,
},
}Expand description
The identity a read observed within a collection, carried on the
replicated Calvin TxClass.
Point carries the exact row identity (KeyRepr) for a keyed lookup
(per-key optimistic-concurrency validation). Predicate is the coarse,
collection-scoped observation for scans / searches / aggregates — safe
against phantoms, never under-approximating. IndexEq / IndexRange carry
the indexed dimension of a secondary-index equality / range read (canonical
stringified index value, identical to the index-key segment) for narrower
per-value validation.
New variants are APPENDED only — the on-wire encoding is positional, so reordering would break cross-version decode. Do NOT reorder variants.
Variants§
Point(KeyRepr)
A single-row keyed observation.
Predicate
A collection-scoped predicate observation.
IndexEq
A secondary-index equality observation on one indexed field.
IndexRange
A secondary-index range observation on one indexed field. lo/hi are
optional so a one-sided native range is representable; both None is
never emitted.
Trait Implementations§
Source§impl Clone for ReadKeyIdent
impl Clone for ReadKeyIdent
Source§fn clone(&self) -> ReadKeyIdent
fn clone(&self) -> ReadKeyIdent
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for ReadKeyIdent
impl Debug for ReadKeyIdent
Source§impl<'de> Deserialize<'de> for ReadKeyIdent
impl<'de> Deserialize<'de> for ReadKeyIdent
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
impl Eq for ReadKeyIdent
Source§impl<'__msgpack_de> FromMessagePack<'__msgpack_de> for ReadKeyIdent
impl<'__msgpack_de> FromMessagePack<'__msgpack_de> for ReadKeyIdent
Source§impl PartialEq for ReadKeyIdent
impl PartialEq for ReadKeyIdent
Source§impl Serialize for ReadKeyIdent
impl Serialize for ReadKeyIdent
impl StructuralPartialEq for ReadKeyIdent
Auto Trait Implementations§
impl Freeze for ReadKeyIdent
impl RefUnwindSafe for ReadKeyIdent
impl Send for ReadKeyIdent
impl Sync for ReadKeyIdent
impl Unpin for ReadKeyIdent
impl UnsafeUnpin for ReadKeyIdent
impl UnwindSafe for ReadKeyIdent
Blanket Implementations§
Source§impl<T> ArchivePointee for T
impl<T> ArchivePointee for T
Source§type ArchivedMetadata = ()
type ArchivedMetadata = ()
Source§fn pointer_metadata(
_: &<T as ArchivePointee>::ArchivedMetadata,
) -> <T as Pointee>::Metadata
fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
impl<T> FromMessagePackOwned for Twhere
T: for<'a> FromMessagePack<'a>,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> LayoutRaw for T
impl<T> LayoutRaw for T
Source§fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
Source§impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
Source§unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
Source§fn resolve_niched(out: Place<NichedOption<T, N1>>)
fn resolve_niched(out: Place<NichedOption<T, N1>>)
out indicating that a T is niched.impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
impl<T> Scalar for T
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
self to the equivalent element of its superset.