sark-h2 0.29.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
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
103
104
105
106
107
108
109
110
111
112
113

use core::{convert::Infallible, marker::PhantomData, ops::ControlFlow};

use o3::buffer::{resident, segments};
use sark_core::decode::{
    request,
    state::{self, admit},
};

use crate::server::{
    payload::Buffer,
    state::exchange::{Accepted, Input},
};

pub(crate) struct Plain<'d>(PhantomData<&'d ()>);

impl<'d> Plain<'d> {
    pub(crate) const fn new() -> Self {
        Self(PhantomData)
    }

    pub(crate) fn admit<P, F, T>(
        mut self,
        request: T,
    ) -> <P::Family as state::Family<P>>::State<Accepted<'d>>
    where
        P: request::Prepared,
        F: Input<'d>,
        T: state::Admission<
                P,
                F,
                Accepted<'d>,
                Output = <P::Family as state::Family<P>>::State<Accepted<'d>>,
            >,
    {
        match state::Admission::admit(request, &mut self) {
            ControlFlow::Continue(request) => request,
            ControlFlow::Break(never) => match never {},
        }
    }
}

impl<'d, P, F> admit::Visit<P, F, Accepted<'d>> for Plain<'d>
where
    F: Input<'d>,
{
    type Break = Infallible;

    fn sync_open<S: state::Slot<P>>(
        &mut self,
        slot: S,
        body: F::SyncOpen,
    ) -> ControlFlow<Self::Break, (S, Buffer<'d>)> {
        ControlFlow::Continue((slot, F::sync(body)))
    }

    fn sync_done<S: state::Slot<P>>(
        &mut self,
        slot: S,
        body: F::SyncFinished,
    ) -> ControlFlow<Self::Break, (S, Buffer<'d>)> {
        ControlFlow::Continue((slot, F::sync_done(body)))
    }

    fn task_open<S: state::Slot<P>>(
        &mut self,
        slot: S,
        body: F::TaskOpen,
    ) -> ControlFlow<Self::Break, (S, Buffer<'d>)> {
        ControlFlow::Continue((slot, F::task(body)))
    }

    fn task_done<S: state::Slot<P>>(
        &mut self,
        slot: S,
        body: F::TaskFinished,
    ) -> ControlFlow<Self::Break, (S, Buffer<'d>)> {
        ControlFlow::Continue((slot, F::task_done(body)))
    }

    fn duplex_open<S: state::Slot<P>>(
        &mut self,
        slot: S,
        body: F::DuplexOpen,
    ) -> ControlFlow<Self::Break, (S, Option<segments::Chain<resident::Shared<'d>>>)> {
        ControlFlow::Continue((slot, F::duplex(body)))
    }

    fn duplex_done<S: state::Slot<P>>(
        &mut self,
        slot: S,
        body: F::DuplexFinished,
    ) -> ControlFlow<Self::Break, (S, Option<segments::Chain<resident::Shared<'d>>>)> {
        ControlFlow::Continue((slot, F::duplex_done(body)))
    }

    fn reject_open<S: state::Slot<P>>(
        &mut self,
        slot: S,
        body: F::UnsupportedOpen,
    ) -> ControlFlow<Self::Break, (S, Buffer<'d>)> {
        ControlFlow::Continue((slot, F::other(body)))
    }

    fn reject_done<S: state::Slot<P>>(
        &mut self,
        slot: S,
        body: F::UnsupportedFinished,
    ) -> ControlFlow<Self::Break, (S, Buffer<'d>)> {
        ControlFlow::Continue((slot, F::other_done(body)))
    }
}

const _: () = assert!(core::mem::size_of::<Plain<'_>>() == 0);