o3 0.26.2

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
30
31
32
33
34
35
36
37
38

use crate::base::cell::{
    local,
    region::{Brand, Identity, Token},
    values,
};

/// A value accessible only with the matching state [`Token`].
#[derive(Debug)]
#[repr(transparent)]
pub struct Value<B: Brand, T> {
    pub(in crate::base::cell) value: values::Value<B, T>,
}

impl<B: Brand, T> Value<B, T> {
    pub fn read<R>(&self, access: local::Read<'_, B>, f: impl for<'a> FnOnce(&'a T) -> R) -> R {
        f(access.region.borrow(self))
    }

    pub fn write<R>(
        &self,
        access: local::Access<'_, B>,
        f: impl for<'a> FnOnce(&'a mut T) -> R,
    ) -> R
    where
        T: Unpin,
    {
        f(access.region.borrow_mut(self))
    }
}

const _: () = {
    assert!(size_of::<Token<Identity<'static>>>() == 0);
    assert!(size_of::<Value<Identity<'static>, u64>>() == size_of::<u64>());
    assert!(align_of::<Value<Identity<'static>, u64>>() == align_of::<u64>());
    assert!(size_of::<(Token<Identity<'static>>, Token<Identity<'static, 1>>)>() == 0);
    assert!(size_of::<Value<Identity<'static, 1>, u64>>() == size_of::<u64>());
    assert!(align_of::<Value<Identity<'static, 1>, u64>>() == align_of::<u64>());
};