sark-h2 0.25.0

Fiber-free HTTP/2 protocol primitives and manifold server for sark
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

use std::pin;

use dope::{
    core::driver::route::Identity,
    manifold::{
        app::receive,
        network::listener::{conn::Id, handler::retire},
    },
    net::link::pool::recv::input::Execution,
};
use sark_core::{
    decode::request,
    manifold::{server::app as semantic, task::app::Runtime},
};

use crate::server::{
    Target,
    response::Handoff,
    runtime::output::flush,
    task::{
        App, Build, Retired, Transport,
        app::{boundary::close, turn::schedule::Schedule},
        service, timers,
    },
};

pub struct Retire;

impl<'d, ID: Identity + 'd, R, W, M, D, P, A> retire::Policy<'d, App<'d, ID, R, W, M, D, P, A>, ID>
    for Retire
where
    R: Runtime<'d, Target = Target<'d, ID>>,
    A: service::Select<R> + semantic::Timed<'d, service::Connection<'d, A>, Id<'d, ID>>,
    W: Execution + 'd,
    receive::Scoped: receive::Mode<W>,
    M: Transport<'d, ID>,
    M::Output: flush::Evidence<'d>,
    M::Retention: Handoff,
    D: timers::Policy<'d>,
    P: crate::server::runtime::app::Fault<'d, W, A::Failure, ID, Build<A::Build>>,
    <R::Head as request::Head>::Start: Schedule<'d, R>,
{
    fn select() -> Option<Self> {
        Some(Self)
    }

    fn retire(
        self,
        app: pin::Pin<&mut App<'d, ID, R, W, M, D, P, A>>,
        mut conn: Retired<'_, '_, 'd, ID, R, W, M, D, A>,
    ) {
        let this = app.project();
        close::Close::new(this.router, this.tasks, this.mode).audit::<W, D, A>(&mut conn);
    }
}