sark-http 0.29.3

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

use crate::{
    field::metadata::block,
    payload::compress::dynamic::{Whole, field, table::ring::Cursor},
};

#[derive(Clone, Copy, PartialEq, Eq)]
pub struct Slot {
    start: Cursor,
    packed_name: Packed,
}

#[derive(Clone, Copy, PartialEq, Eq)]
#[repr(transparent)]
struct Packed(u32);

impl Slot {
    pub(in crate::payload::compress::dynamic) const BYTES: usize = 8;
    pub(in crate::payload::compress::dynamic) const fn pack(
        start: Cursor,
        name_len: usize,
        check: Whole,
    ) -> Self {
        Self {
            start,
            packed_name: Packed::new(name_len, check),
        }
    }

    pub(in crate::payload::compress::dynamic) const fn start(self) -> Cursor {
        self.start
    }

    pub(in crate::payload::compress::dynamic) const fn name_len(self) -> usize {
        self.packed_name.len()
    }

    pub(in crate::payload::compress::dynamic) fn proof(self) -> block::Name {
        self.validation().name()
    }

    pub(in crate::payload::compress::dynamic) const fn validation(self) -> Whole {
        self.packed_name.validation()
    }
}

impl Packed {
    const fn new(name_len: usize, check: Whole) -> Self {
        Self(name_len as u32 | (check.compact() as u32) << field::NAME_LEN_BITS)
    }

    const fn len(self) -> usize {
        (self.0 & field::NAME_LEN_MASK) as usize
    }

    const fn validation(self) -> Whole {
        Whole::from_packed(self.0)
    }
}

const _: () = assert!(core::mem::size_of::<Slot>() == Slot::BYTES);