dope-core 0.15.0

The manifold runtime
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

```compile_fail
use dope_core::driver::{schedule::ready::Key, Reference};

fn cross_driver<'outer, 'inner>(key: Key<'outer>, driver: Reference<'inner>)
where
    'outer: 'inner,
{
    driver.activate_ready(key);
}
```

```compile_fail
use dope_core::driver::Reference;

fn drain(driver: Reference<'_>) {
    driver.drain_ready(drop);
}
```

```compile_fail
use dope_core::driver::{Reference, targets::Token};

fn raw_target(driver: Reference<'_>, target: Token) {
    let _ = driver.make_ready_slot(target);
}
```

```compile_fail
use dope_core::driver::schedule::Controller;

fn recurse(turn: &mut Controller<'_, '_>) {
    turn.drain_ready(1, |_| {
        turn.drain_ready(1, drop);
    });
}
```

```compile_fail
use dope_core::driver::{
    schedule::ready::Slot,
    targets::{KeyTag, OperationTarget},
};

fn cross_route<'d>(
    slot: Slot<'d, KeyTag<1>>,
    target: OperationTarget<'d, KeyTag<2>>,
) {
    slot.set_target(target);
}
```

```compile_fail
use dope_core::driver::{Reference, targets::{KeyTag, OperationTarget}};

fn cross_driver<'a, 'b>(
    driver: Reference<'a>,
    target: OperationTarget<'b, KeyTag<1>>,
) {
    let _ = driver.make_ready_slot(target);
}
```