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
54
55
56
57
58
59
60
61
62
63
64

use core::ops;

use crate::{
    field::metadata::{
        packed,
        section::{
            self, rules,
            state::{RetainedHead, Selected},
            storage::{self, Block},
        },
    },
    request::{Bound, Error, Layout, Source},
};

/// Consumes the exact retained request admission and its immutable owner.
pub trait Bind: Sized {
    type Owner: Source;

    ///
    /// # Safety
    /// Self must come from the native decoder and a closed policy preserving native value and final section admission; these exact original field ranges must come from its native iteration or private selection populated only by that decoder's Commit values tagging actual wire names.
    unsafe fn try_bind(
        self,
        path: Option<ops::Range<usize>>,
        path_len: Option<usize>,
        pseudo: Option<ops::Range<usize>>,
        host: Option<ops::Range<usize>>,
    ) -> Result<Bound<Self::Owner>, Error>;
}

impl Bind for RetainedHead<packed::Decoded, Selected<rules::RetainRaw>> {
    type Owner = packed::Decoded;

    unsafe fn try_bind(
        self,
        path: Option<ops::Range<usize>>,
        path_len: Option<usize>,
        pseudo: Option<ops::Range<usize>>,
        host: Option<ops::Range<usize>>,
    ) -> Result<Bound<Self::Owner>, Error> {
        let (owner, _, plan) = self.into_parts();
        let layout = Layout::from_kept(owner.as_bytes(), path, path_len, pseudo, host, plan)?;
        Ok(Bound { owner, layout })
    }
}

impl<P: section::Policy<Block = storage::Fields>> Bind
    for RetainedHead<storage::Fields, Selected<P>>
{
    type Owner = storage::Bytes;

    unsafe fn try_bind(
        self,
        path: Option<ops::Range<usize>>,
        path_len: Option<usize>,
        pseudo: Option<ops::Range<usize>>,
        host: Option<ops::Range<usize>>,
    ) -> Result<Bound<Self::Owner>, Error> {
        let (fields, _, plan) = self.into_parts();
        let owner = fields.into_bytes();
        let layout = Layout::from_kept(owner.as_bytes(), path, path_len, pseudo, host, plan)?;
        Ok(Bound { owner, layout })
    }
}