o3 0.36.1

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
27
28
29

use std::marker;

use crate::depot::capacity;

/// One invariant brand for a fixed index domain.
/// As a proof predicate, the retained key lies within this exact domain's fixed count; no occupancy is claimed.
#[derive(Clone, Copy)]
pub struct Domain<'a> {
    count: capacity::Count,
    brand: marker::PhantomData<fn(&'a ()) -> &'a ()>,
}

impl Domain<'_> {
    pub(in crate::depot) fn with<R>(
        count: capacity::Count,
        run: impl for<'a> FnOnce(Domain<'a>) -> R,
    ) -> R {
        run(Domain {
            count,
            brand: marker::PhantomData,
        })
    }

    pub const fn count(self) -> capacity::Count {
        self.count
    }
}

impl crate::depot::Predicate for Domain<'_> {}