dope-runtime 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
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
97
98
99
100
101
102

use std::ops;

use dope_core::{driver::schedule, io};

use crate::executor;

/// Application branded by one generative driver lifetime.
/// Lifecycle calls carry its exact pinned application; the derive owns any
/// structural decomposition.
pub trait Application<'d>: Sized {
    #[doc(hidden)]
    fn install<'app>(call: executor::raw::Install<'_, 'app, 'd, Self>)
    where
        'd: 'app,
    {
        let _ = call;
    }

    #[doc(hidden)]
    fn dispatch<'driver, 'turn, 'app>(
        call: executor::raw::Dispatch<'_, 'driver, 'turn, 'app, 'd, Self>,
    ) -> ops::ControlFlow<io::Event<'d>>
    where
        'd: 'app;

    #[doc(hidden)]
    fn activate<'driver, 'turn, 'app>(
        call: executor::raw::Activate<'_, 'driver, 'turn, 'app, 'd, Self>,
    ) where
        'd: 'app;

    #[doc(hidden)]
    fn pre_park<'driver, 'turn, 'app>(
        call: executor::raw::PrePark<'_, 'driver, 'turn, 'app, 'd, Self>,
    ) where
        'd: 'app;

    #[doc(hidden)]
    fn progress(call: executor::raw::Progress<'_, '_, 'd, Self>) -> schedule::Progress<'d>;

    #[doc(hidden)]
    fn shutdown_progress(
        call: executor::raw::Progress<'_, '_, 'd, Self>,
    ) -> schedule::Progress<'d> {
        Self::progress(call)
    }

    #[doc(hidden)]
    fn shutdown<'driver, 'turn, 'app>(
        call: executor::raw::Shutdown<'_, 'driver, 'turn, 'app, 'd, Self>,
    ) -> executor::raw::Pending<'app, 'd, Self>
    where
        'd: 'app;

    #[doc(hidden)]
    fn finish<'finalization, 'app>(call: executor::raw::Finish<'_, 'finalization, 'app, 'd, Self>)
    where
        'd: 'app,
    {
        let _ = call;
    }
}

impl<'d> Application<'d> for () {
    fn dispatch<'driver, 'turn, 'app>(
        call: executor::raw::Dispatch<'_, 'driver, 'turn, 'app, 'd, Self>,
    ) -> ops::ControlFlow<io::Event<'d>>
    where
        'd: 'app,
    {
        call.consume()
    }

    fn activate<'driver, 'turn, 'app>(
        call: executor::raw::Activate<'_, 'driver, 'turn, 'app, 'd, Self>,
    ) where
        'd: 'app,
    {
        let _ = call;
    }

    fn pre_park<'driver, 'turn, 'app>(
        call: executor::raw::PrePark<'_, 'driver, 'turn, 'app, 'd, Self>,
    ) where
        'd: 'app,
    {
        let _ = call;
    }

    fn progress(_call: executor::raw::Progress<'_, '_, 'd, Self>) -> schedule::Progress<'d> {
        schedule::Progress::Quiescent
    }

    fn shutdown<'driver, 'turn, 'app>(
        call: executor::raw::Shutdown<'_, 'driver, 'turn, 'app, 'd, Self>,
    ) -> executor::raw::Pending<'app, 'd, Self>
    where
        'd: 'app,
    {
        call.complete()
    }
}