sark-http 0.29.2

HTTP wire types, semantics, codecs, and ownership invariants 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

use std::convert::Infallible;

use o3::buffer::bytes::scope;

use crate::{
    owner::{handoff, handoff::stage},
    request::{Id, body},
};

/// Immutable request sources available while selecting a response body.
#[doc(hidden)]
pub struct Slot<'req, 'd, H = (), B = body::Retained<'req, 'd>> {
    pub(in crate::owner::handoff) origin: handoff::Origin<'req, 'd, B>,
    pub(in crate::owner::handoff) head: H,
}

impl<'req, 'd> Slot<'req, 'd> {
    pub const fn new(body: body::Ref<'req, 'd>) -> Self {
        Self {
            origin: handoff::Origin::new(body),
            head: (),
        }
    }

    pub const fn empty() -> Self {
        Self {
            origin: handoff::Origin::empty(),
            head: (),
        }
    }

    pub const fn task(id: Id<'d>) -> Self {
        Self {
            origin: handoff::Origin::task(id),
            head: (),
        }
    }
}

impl<'req, 'd, B> Slot<'req, 'd, (), B> {
    pub fn with_head<H: scope::Source>(self, head: H) -> Slot<'req, 'd, H, B> {
        Slot {
            origin: self.origin,
            head,
        }
    }
}

impl<'req, 'd, H, B: stage::Body<'req, 'd>> Slot<'req, 'd, H, B> {
    pub(crate) const fn origin(&self) -> handoff::Origin<'req, 'd, B> {
        self.origin
    }
}

impl<'req, 'd> Slot<'req, 'd, (), Infallible> {
    /// Selects an output with no borrowed request-body owner to defer.
    pub const fn ready(id: Option<Id<'d>>) -> Self {
        Self {
            origin: match id {
                Some(id) => handoff::Origin::task(id),
                None => handoff::Origin::empty(),
            },
            head: (),
        }
    }
}