o3 0.20.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

mod path;
pub mod raw;
pub(in crate::depot) use path::Path;

use crate::depot::heap;

/// One initialized position projected while the engine retains its complete owner.
pub struct At<S, V = ()> {
    owner: S,
    position: usize,
    next: V,
}

impl<S, V> At<S, V> {
    pub(in crate::depot) fn new(owner: S, position: usize, next: V) -> Self {
        Self {
            owner,
            position,
            next,
        }
    }

    pub fn into_inner(self) -> (S, usize, V) {
        (self.owner, self.position, self.next)
    }
}

/// One initialized source moving into the exact hole under its exclusive owner loan.
pub struct Step<'a, S: raw::Source> {
    pub(in crate::depot) hole: &'a mut heap::raw::Hole<S>,
    pub(in crate::depot) source: usize,
}

impl<'a, S: raw::Source> Step<'a, S> {
    pub(in crate::depot) fn shift(self) {
        let Self { hole, source } = self;
        S::shift(Step {
            hole: &mut *hole,
            source,
        });
        hole.position = source;
    }

    /// Consumes this move into its retained owner, initialized source, and vacant target.
    pub fn into_inner(self) -> (&'a mut S, usize, usize) {
        (&mut self.hole.owner, self.source, self.hole.position)
    }
}

/// The final hole and its owned value, ready to restore the initialized prefix.
pub struct Finish<S: raw::Source> {
    pub(in crate::depot) hole: heap::raw::Hole<S>,
}

impl<S: raw::Source> Finish<S> {
    pub fn into_inner(self) -> (S, usize, S::Value) {
        let heap::raw::Hole {
            owner,
            position,
            value,
        } = self.hole;
        (owner, position, value)
    }
}