dope-net 0.25.0

Owned network transports 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

use std::convert::Infallible;

use dope_core::driver::route::Identity;
use o3::base::Call;

use crate::wire::{
    self,
    receive::{Policy, mode, reserve},
    send::Availability,
};

/// Delivers returned send capacity under the exact receive reservation policy.
pub trait Finish<W: wire::Spec>: Sized {
    fn release<'w, 'd: 'w, ID: Identity + 'w>(
        _: Availability,
    ) -> Option<impl for<'a> Call<&'a mut W::Runtime<'w, 'd, ID>>>
    where
        W: 'w + 'd,
    {
        None::<Infallible>
    }
}

impl<W> Finish<W> for mode::Disabled
where
    W: wire::Spec,
    <W::Receive as Policy<W>>::Reserve: reserve::Immediate<W>,
{
}

impl<W> Finish<W> for mode::Parking
where
    W: wire::Spec,
    <W::Receive as Policy<W>>::Reserve: reserve::Immediate<W>,
{
}

impl<W> Finish<W> for mode::Enabled
where
    W: wire::Spec,
    <W::Receive as Policy<W>>::Reserve: reserve::Immediate<W>,
{
}

impl<W, P> Finish<W> for mode::Waiting<P>
where
    W: wire::Spec,
    P: reserve::Try<W>,
    W::Receive: Policy<W, Reserve = reserve::Waiting<P>>,
{
    fn release<'w, 'd: 'w, ID: Identity + 'w>(
        space: Availability,
    ) -> Option<impl for<'a> Call<&'a mut W::Runtime<'w, 'd, ID>>>
    where
        W: 'w + 'd,
    {
        match space {
            Availability::Released => Some(P::release_send::<ID>),
            Availability::Unchanged => None,
        }
    }
}