dope-manifold 0.40.0

Owned application and service composition for dope
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

use dope_core::driver::{route::Identity, storage};
use dope_net::link::pool::change;
use session::ingress;

use crate::{
    app::env,
    client::{app::request::Disabled, session, session::policy},
    network::client::topology::{factory::Built, plan},
};

/// Builds one session that has no outbound request source.
pub trait Application<S, ID: Identity, const MAX: usize, E>: Sized
where
    S: storage::Plan,
    E: env::Spec,
{
    type Input: plan::Input;
    type Session<'life, 'p, 'd>: session::Target<'d, ID, MAX>
        + session::Connected<'d, ID>
        + session::Exhausted<'d, ID>
        + session::Failed<'d, ID>
        + session::Session<'d, ID, Requests = Disabled>
        + policy::Compatible<'d, 'd, E::Wire, ID>
        + plan::Staged<'d, ID, <Self::Input as plan::Input>::Staging>
    where
        'd: 'p,
        'p: 'life,
        'd: 'life,
        Self: 'd,
        ID: 'd,
        S: 'd,
        E::Wire: 'd;
    type Source<'life, 'p, 'd>: ingress::Source<'d, Authority = <Self::Input as plan::Input>::Authority>
        + 'life
    where
        'd: 'p,
        'p: 'life,
        'd: 'life,
        Self: 'd,
        ID: 'd,
        S: 'd,
        E::Wire: 'd;
    type Wire<'life, 'p, 'd>: change::Prepare<'d, 'd, ID, E::Wire>
    where
        'd: 'p,
        'p: 'life,
        'd: 'life,
        Self: 'd,
        ID: 'd,
        S: 'd,
        E::Wire: 'd;
    type Error;

    fn build<'life, 'p, 'd>(
        self,
        storage: &'life S::Output<'p, 'd>,
    ) -> Built<
        'd,
        Self::Session<'life, 'p, 'd>,
        Self::Source<'life, 'p, 'd>,
        Self::Wire<'life, 'p, 'd>,
        Self::Error,
    >
    where
        'd: 'p,
        'p: 'life,
        'd: 'life,
        Self: 'd,
        ID: 'd,
        S: 'd,
        E::Wire: 'd;
}