dope-manifold 0.22.0

Owned application and service composition for dope
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::{convert, pin};

use dope_core::driver::{retained, route::Identity, schedule};
use dope_net::link::pool;

use crate::{
    app::{env, receive::ingress},
    client::{
        app::{self, resume},
        attempt,
        conn::{
            engine::{
                self, liveness,
                ops::close,
                transfer::{effect::Effect as _, send},
            },
            flow,
        },
        side::mode::Mode,
    },
};

pub(in crate::client::conn::engine) trait Finish<'w, 'd: 'w, ID: Identity + 'd, A, C>
where
    A: app::Lifecycle<'w, 'd, ID>,
{
    fn finish<'machine, 'turn, 'driver, 'context, 'owner>(
        self: pin::Pin<&'machine mut Self>,
        key: pool::Key<'d, ID>,
        flow: flow::Flow<<A::Continuation as resume::Mode>::Outcome>,
        turn: schedule::Turn<'turn, 'd>,
        driver: &'driver mut retained::Context<'context, 'owner, 'd>,
    ) -> ingress::Progress<convert::Infallible>
    where
        'd: 'owner,
        A::Requests: send::Policy<'w, 'd, ID, A>;
}

impl<'p, 'w, 'd: 'w, ID: Identity + 'd, A, S, E, X> Finish<'w, 'd, ID, A, resume::Complete>
    for engine::Machine<'p, 'w, 'd, ID, A, S, E, X>
where
    A: app::Receive<'d, ID, Continuation = resume::Complete> + app::Lifecycle<'w, 'd, ID>,
    S: attempt::Control<'d, E::Transport, ID>,
    E: env::Spec<Wire = A::Wire>,
    E::Transport: dope_net::Transport,
    X: Mode<'d, ID> + liveness::Schedule<'d, ID, <E::Transport as dope_net::Transport>::Prepared>,
    engine::Machine<'p, 'w, 'd, ID, A, S, E, X>: close::ClosePhase<'d, ID, A, S, E>,
{
    fn finish<'machine, 'turn, 'driver, 'context, 'owner>(
        self: pin::Pin<&'machine mut Self>,
        key: pool::Key<'d, ID>,
        flow: flow::Flow<<A::Continuation as resume::Mode>::Outcome>,
        turn: schedule::Turn<'turn, 'd>,
        driver: &'driver mut retained::Context<'context, 'owner, 'd>,
    ) -> ingress::Progress<convert::Infallible>
    where
        'd: 'owner,
        A::Requests: send::Policy<'w, 'd, ID, A>,
    {
        let (done, next) = flow.into_parts();
        ingress::Progress::Done(done.apply(self, key, next, turn, driver))
    }
}

impl<'p, 'w, 'd: 'w, ID: Identity + 'd, A, S, E, X> Finish<'w, 'd, ID, A, resume::Retained>
    for engine::Machine<'p, 'w, 'd, ID, A, S, E, X>
where
    A: app::Resumable<'d, ID, Continuation = resume::Retained> + app::Lifecycle<'w, 'd, ID>,
    S: attempt::Control<'d, E::Transport, ID>,
    E: env::Spec<Wire = A::Wire>,
    E::Transport: dope_net::Transport,
    X: Mode<'d, ID> + liveness::Schedule<'d, ID, <E::Transport as dope_net::Transport>::Prepared>,
    engine::Machine<'p, 'w, 'd, ID, A, S, E, X>: close::ClosePhase<'d, ID, A, S, E>,
{
    fn finish<'machine, 'turn, 'driver, 'context, 'owner>(
        self: pin::Pin<&'machine mut Self>,
        key: pool::Key<'d, ID>,
        flow: flow::Flow<<A::Continuation as resume::Mode>::Outcome>,
        turn: schedule::Turn<'turn, 'd>,
        driver: &'driver mut retained::Context<'context, 'owner, 'd>,
    ) -> ingress::Progress<convert::Infallible>
    where
        'd: 'owner,
        A::Requests: send::Policy<'w, 'd, ID, A>,
    {
        let (done, next) = flow.into_parts();
        match done {
            app::Resumed::Complete(done) => {
                ingress::Progress::Done(done.apply(self, key, next, turn, driver))
            }
            app::Resumed::Paused(pause) => {
                ingress::Progress::Done(pause.apply(self, key, next, turn, driver))
            }
        }
    }
}