o3 0.29.0

shared-nothing primitives
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

use crate::depot::map::{self, flat::Table};

/// The retained table and admission context own one unused logical entry.
/// Its nonempty directory has spare capacity through the consuming query.
pub struct Available;

impl crate::depot::raw::Sealed for Available {}
impl crate::depot::Predicate for Available {}

/// This exact table retains an initialized entry with the retained hash, satisfying
/// every invocation of the retained matcher throughout the query. Its context
/// preserves membership until the occupied entry and original context are returned.
pub struct Member;

impl crate::depot::raw::Sealed for Member {}
impl crate::depot::Predicate for Member {}

unsafe impl<V> map::raw::Mutation for &mut Table<V> {
    unsafe fn table_mut(&mut self) -> &mut map::raw::Table<V> {
        &mut self.table
    }

    unsafe fn shift(&mut self, hole: &map::raw::Vacant, next: &map::raw::Occupied, hash: u64) {
        unsafe { self.table.shift(hole, next, hash) };
    }
}