compris 0.0.11

Composite Primitive Schema (CPS) for Rust
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
65
66
67
68
69
70
71
72
73
74
75
76
77
78

use super::super::super::{
    super::{annotate::*, kv::*, normal::*},
    errors::*,
    iterator::*,
    resolve::*,
};

use kutil::std::error::*;

//
// ResolvingKeyValuePairIterator
//

/// Resolves a [KeyValuePairIterator], one key-value pair at a time.
///
/// Both keys and values are resolved.
///
/// Note that the implementation relies on `dyn` to support different [KeyValuePairIterator]
/// implementations.
///
/// Useful for implementing [Resolve] for map-like collections, such as
/// [HashMap](std::collections::HashMap).
pub struct ResolvingKeyValuePairIterator<'own, AnnotatedT> {
    /// Inner key-value pair iterator.
    pub inner: Box<dyn IntoKeyValuePairIterator<AnnotatedT> + 'own>,
}

impl<'own, AnnotatedT> ResolvingKeyValuePairIterator<'own, AnnotatedT> {
    /// Constructor.
    pub fn new(inner: Box<dyn IntoKeyValuePairIterator<AnnotatedT> + 'own>) -> Self {
        Self { inner }
    }

    /// Constructor.
    pub fn new_from<ErrorReceiverT>(
        variant: Variant<AnnotatedT>,
        errors: &mut ErrorReceiverT,
    ) -> ResolveResult<Self, AnnotatedT>
    where
        AnnotatedT: 'own + Annotated + Clone + Default,
        ErrorReceiverT: ErrorReceiver<ResolveError<AnnotatedT>>,
    {
        if variant.is_collection() {
            let iterator = variant.into_key_value_iterator().expect("map or list");
            Ok(Some(Self::new(iterator)))
        } else {
            errors.give(IncompatibleVariantTypeError::new_from(&variant, &["map", "list"]))?;
            Ok(None)
        }
    }
}

impl<'own, KeyT, ValueT, AnnotatedT> ResolvingIterator<(KeyT, ValueT), AnnotatedT>
    for ResolvingKeyValuePairIterator<'own, AnnotatedT>
where
    Variant<AnnotatedT>: Resolve<KeyT, AnnotatedT>,
    Variant<AnnotatedT>: Resolve<ValueT, AnnotatedT>,
    AnnotatedT: Annotated + Default,
{
    fn resolve_next<ErrorReceiverT>(&mut self, errors: &mut ErrorReceiverT) -> ResolveResult<(KeyT, ValueT), AnnotatedT>
    where
        ErrorReceiverT: ErrorReceiver<ResolveError<AnnotatedT>>,
    {
        // Repeat until we get a non-error
        loop {
            match self.inner.next() {
                Ok(next) => {
                    return Ok(match next {
                        Some(pair) => pair.resolve_with_errors(errors)?,
                        None => None,
                    });
                }

                Err((error, cause)) => errors.give(error.with_annotations_from(&cause))?,
            }
        }
    }
}