miden-protobuf 0.17.1

Protobuf conversion support for Miden
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

use alloc::collections::BTreeMap;
use alloc::vec::Vec;
use core::fmt::Debug;

use super::{MapField, OptionalField, RepeatedField};
use crate::{BuildUnchecked, ConversionError};

/// Builds the present value; the caller must ensure the invariants documented by `S`.
impl<S: BuildUnchecked> BuildUnchecked for OptionalField<S> {
    type Output = Option<S::Output>;
    type Error = ConversionError;

    fn build_unchecked(self) -> Result<Self::Output, Self::Error> {
        self.try_map(BuildUnchecked::build_unchecked)
    }
}

/// Builds each value in input order, preserving duplicates. The caller must ensure the
/// invariants documented by `S` for every value, as well as any collection-wide invariants.
impl<S: BuildUnchecked> BuildUnchecked for RepeatedField<S> {
    type Output = Vec<S::Output>;
    type Error = ConversionError;

    fn build_unchecked(self) -> Result<Self::Output, Self::Error> {
        self.try_map(BuildUnchecked::build_unchecked)
    }
}

/// Builds each value in key order, preserving keys. The caller must ensure the invariants
/// documented by `S` for every value, as well as any collection-wide invariants.
impl<K: Ord + Debug, S: BuildUnchecked> BuildUnchecked for MapField<BTreeMap<K, S>> {
    type Output = BTreeMap<K, S::Output>;
    type Error = ConversionError;

    fn build_unchecked(self) -> Result<Self::Output, Self::Error> {
        self.try_map(BuildUnchecked::build_unchecked)
    }
}

/// Builds each value in unspecified order, preserving keys. The caller must ensure the
/// invariants documented by `S` for every value, as well as any collection-wide invariants.
#[cfg(feature = "std")]
impl<K: Eq + core::hash::Hash + Debug, S: BuildUnchecked> BuildUnchecked
    for MapField<std::collections::HashMap<K, S>>
{
    type Output = std::collections::HashMap<K, S::Output>;
    type Error = ConversionError;

    fn build_unchecked(self) -> Result<Self::Output, Self::Error> {
        self.try_map(BuildUnchecked::build_unchecked)
    }
}