object_rainbow/impls/
bytes.rs

1use typenum::ToUInt;
2
3use crate::*;
4
5impl<const N: usize> ToOutput for [u8; N] {
6    fn to_output(&self, output: &mut dyn Output) {
7        output.write(self);
8    }
9}
10
11impl<const N: usize, I: ParseInput> Parse<I> for [u8; N] {
12    fn parse(input: I) -> crate::Result<Self> {
13        ParseInline::parse_as_inline(input)
14    }
15}
16
17impl<const N: usize, I: ParseInput> ParseInline<I> for [u8; N] {
18    fn parse_inline(input: &mut I) -> crate::Result<Self> {
19        input.parse_chunk().copied()
20    }
21}
22
23impl<const N: usize> Size for [u8; N]
24where
25    typenum::generic_const_mappings::Const<N>: ToUInt<Output: Unsigned>,
26{
27    const SIZE: usize = N;
28    type Size = typenum::generic_const_mappings::U<N>;
29}
30
31impl<const N: usize> MaybeHasNiche for [u8; N]
32where
33    typenum::generic_const_mappings::Const<N>: ToUInt<Output: ArrayLength>,
34{
35    type MnArray = NoNiche<ZeroNoNiche<typenum::generic_const_mappings::U<N>>>;
36}
37
38impl<const N: usize> Topological for [u8; N] {}
39impl<const N: usize> Tagged for [u8; N] {}
40impl<const N: usize> Object for [u8; N] {}
41impl<const N: usize> Inline for [u8; N] {}
42impl<const N: usize> ReflessObject for [u8; N] {}
43impl<const N: usize> ReflessInline for [u8; N] {}
44
45impl ToOutput for Vec<u8> {
46    fn to_output(&self, output: &mut dyn Output) {
47        output.write(self);
48    }
49}
50
51impl Parse<Input<'_>> for Vec<u8> {
52    fn parse(input: Input) -> crate::Result<Self> {
53        Ok(input.parse_all().into())
54    }
55}
56
57impl Parse<ReflessInput<'_>> for Vec<u8> {
58    fn parse(input: ReflessInput) -> crate::Result<Self> {
59        Ok(input.parse_all().into())
60    }
61}
62
63impl Topological for Vec<u8> {}
64impl Tagged for Vec<u8> {}
65impl Object for Vec<u8> {}
66impl ReflessObject for Vec<u8> {}
67
68impl ToOutput for [u8] {
69    fn to_output(&self, output: &mut dyn Output) {
70        output.write(self);
71    }
72}
object_rainbow/impls/bytes.rs

object_rainbow/impls/
bytes.rs
