IndexStorage

Struct IndexStorage 

Source
pub struct IndexStorage<'a, 'txn, T: KVTransaction<'txn>> { /* private fields */ }
Expand description

IndexStorage manages secondary index entries and lookups.

The two lifetime parameters serve distinct purposes:

  • 'a: The borrow duration of the transaction reference
  • 'txn: The lifetime parameter of the KVTransaction type itself

This separation is necessary to allow SqlTransaction to return IndexStorage instances while maintaining proper lifetime relationships with GATs.

Implementations§

Source§

impl<'a, 'txn, T: KVTransaction<'txn>> IndexStorage<'a, 'txn, T>

Source

pub fn new( txn: &'a mut T, index_id: u32, unique: bool, column_indices: Vec<usize>, ) -> Self

Create a new IndexStorage for the given index definition.

Source

pub fn insert(&mut self, row: &[SqlValue], row_id: u64) -> Result<()>

Insert an index entry for the provided row values and RowID.

Source

pub fn delete(&mut self, row: &[SqlValue], row_id: u64) -> Result<()>

Delete an index entry associated with the provided row values and RowID.

Source

pub fn lookup(&mut self, value: &SqlValue) -> Result<Vec<u64>>

Equality lookup for single-column index.

Source

pub fn lookup_composite(&mut self, values: &[SqlValue]) -> Result<Vec<u64>>

Equality lookup for composite index.

Source

pub fn range_scan( &mut self, start: Option<&SqlValue>, end: Option<&SqlValue>, start_inclusive: bool, end_inclusive: bool, ) -> Result<IndexScanIterator<'_>>

Range lookup for single-column index.

Auto Trait Implementations§

§

impl<'a, 'txn, T> Freeze for IndexStorage<'a, 'txn, T>

§

impl<'a, 'txn, T> RefUnwindSafe for IndexStorage<'a, 'txn, T>
where T: RefUnwindSafe,

§

impl<'a, 'txn, T> Send for IndexStorage<'a, 'txn, T>
where T: Send,

§

impl<'a, 'txn, T> Sync for IndexStorage<'a, 'txn, T>
where T: Sync,

§

impl<'a, 'txn, T> Unpin for IndexStorage<'a, 'txn, T>

§

impl<'a, 'txn, T> !UnwindSafe for IndexStorage<'a, 'txn, T>

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

impl<T> Allocation for T
where T: RefUnwindSafe + Send + Sync,

Source§

impl<T> MaybeSend for T
where T: Send,