o3 0.22.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
27
28
29
30
31

use crate::base::cell::{
    local::Read,
    region::{self, Brand},
};

/// Scoped mutable access to one generative local region.
#[repr(transparent)]
pub struct Access<'borrow, B: Brand> {
    pub(in crate::base::cell) region: &'borrow mut region::Token<B>,
}

impl<'borrow, B: Brand> Access<'borrow, B> {
    pub fn new(region: &'borrow mut region::Token<B>) -> Self {
        Self { region }
    }

    pub fn reborrow(&mut self) -> Access<'_, B> {
        Access {
            region: self.region,
        }
    }

    pub fn read(&self) -> Read<'_, B> {
        Read::new(self.region)
    }

    /// Runs one region operation without allowing its token borrow to escape.
    pub fn with_region<R>(self, f: impl for<'a> FnOnce(&'a mut region::Token<B>) -> R) -> R {
        f(self.region)
    }
}