sark-http 0.22.0

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

//! Non-empty streaming response ownership.

use std::ops::ControlFlow;

use o3::buffer::{self, resident, segments};

/// One independently owned, non-empty response fragment.
#[must_use = "publish the response fragment or retain its owner"]
#[repr(transparent)]
pub struct Chunk<'d>(segments::Item<resident::Shared<'d>>);

/// The exact owner rejected because it contains no response bytes.
#[must_use = "recover the rejected empty owner"]
#[derive(Debug)]
pub struct Empty<'d>(resident::Shared<'d>);

impl<'d> Chunk<'d> {
    pub fn try_new(owner: resident::Shared<'d>) -> Result<Self, Empty<'d>> {
        match segments::Item::new(owner) {
            ControlFlow::Continue(owner) => Ok(Self(owner)),
            ControlFlow::Break(owner) => Err(Empty(owner)),
        }
    }

    pub const fn owner(&self) -> &resident::Shared<'d> {
        self.0.as_ref()
    }
}

impl<'d> Empty<'d> {
    pub const fn owner(&self) -> &resident::Shared<'d> {
        &self.0
    }
}

impl buffer::Residency for Chunk<'_> {
    fn resident(&self) -> usize {
        self.0.resident()
    }
}

impl<'a: 'd, 'd, const N: usize> From<&'a [u8; N]> for Chunk<'d> {
    /// Retains one borrowed array whose length proves at least one byte.
    fn from(bytes: &'a [u8; N]) -> Self {
        let bytes: &'d [u8; N] = bytes;
        Self(segments::Item::from(bytes))
    }
}

const _: () = {
    assert!(size_of::<Chunk<'static>>() == size_of::<resident::Shared<'static>>());
    assert!(size_of::<Option<Chunk<'static>>>() == size_of::<Option<resident::Shared<'static>>>());
};