o3 0.7.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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96

use std::cell::UnsafeCell;
use std::marker::PhantomData;
use std::pin::Pin;

type Invariant<'id> = PhantomData<*mut &'id ()>;
type Tagged<Tag> = PhantomData<fn(Tag) -> Tag>;

#[doc(hidden)]
pub enum BrandPermission {}

#[doc(hidden)]
pub enum RegionPermission {}

pub struct BrandedToken<'id, Tag> {
    _brand: Invariant<'id>,
    _tag: Tagged<Tag>,
}

#[repr(transparent)]
pub struct BrandedCell<'id, T, Tag> {
    value: UnsafeCell<T>,
    _brand: Invariant<'id>,
    _tag: Tagged<Tag>,
}

pub type BrandToken<'id> = BrandedToken<'id, BrandPermission>;

pub type BrandCell<'id, T> = BrandedCell<'id, T, BrandPermission>;

pub type RegionToken<'id> = BrandedToken<'id, RegionPermission>;

pub type RegionCell<'id, T> = BrandedCell<'id, T, RegionPermission>;

impl BrandedToken<'_, BrandPermission> {
    pub fn scope_with_region<R>(
        f: impl for<'id> FnOnce(BrandToken<'id>, RegionToken<'id>) -> R,
    ) -> R {
        f(BrandedToken::new(), BrandedToken::new())
    }
}

impl<Tag> BrandedToken<'_, Tag> {
    pub fn scope<R>(f: impl for<'id> FnOnce(BrandedToken<'id, Tag>) -> R) -> R {
        f(BrandedToken::new())
    }

    const fn new() -> Self {
        Self {
            _brand: PhantomData,
            _tag: PhantomData,
        }
    }
}

impl<'id, T, Tag> BrandedCell<'id, T, Tag> {
    pub const fn new(value: T) -> Self {
        Self {
            value: UnsafeCell::new(value),
            _brand: PhantomData,
            _tag: PhantomData,
        }
    }

    pub fn borrow<'a>(&'a self, token: &'a BrandedToken<'id, Tag>) -> &'a T {
        let _ = token;
        unsafe { &*self.value.get() }
    }

    pub fn borrow_mut<'a>(&'a self, token: &'a mut BrandedToken<'id, Tag>) -> &'a mut T
    where
        T: Unpin,
    {
        let _ = token;
        unsafe { &mut *self.value.get() }
    }

    pub fn get_mut(&mut self) -> &mut T {
        self.value.get_mut()
    }

    pub fn into_inner(self) -> T {
        self.value.into_inner()
    }

    pub fn borrow_pin_mut<'a>(
        self: Pin<&'a Self>,
        token: &'a mut BrandedToken<'id, Tag>,
    ) -> Pin<&'a mut T> {
        let _ = token;
        unsafe { Pin::new_unchecked(&mut *self.get_ref().value.get()) }
    }

    pub fn borrow_pin<'a>(self: Pin<&'a Self>, token: &'a BrandedToken<'id, Tag>) -> Pin<&'a T> {
        unsafe { Pin::new_unchecked(self.get_ref().borrow(token)) }
    }
}