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
79
80

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

use {kutil::std::error::*, std::vec};

//
// ResolvingVariantIterator
//

/// Resolves an [Iterator] of [Variant], one item at a time.
///
/// Can be used directly on a [List].
///
/// Useful for implementing [Resolve] for list-like collections, such as [Vec].
pub struct ResolvingVariantIterator<InnerT, AnnotatedT>
where
    InnerT: Iterator<Item = Variant<AnnotatedT>>,
{
    /// Inner.
    pub inner: InnerT,
}

impl<'own, InnerT, AnnotatedT> ResolvingVariantIterator<InnerT, AnnotatedT>
where
    InnerT: Iterator<Item = Variant<AnnotatedT>>,
{
    /// Constructor.
    pub fn new(inner: InnerT) -> Self {
        Self { inner }
    }

    /// Constructor.
    pub fn new_for<IterableT>(iterable: IterableT) -> Self
    where
        IterableT: IntoIterator<IntoIter = InnerT>,
    {
        Self::new(iterable.into_iter())
    }
}

impl<'own, AnnotatedT> ResolvingVariantIterator<vec::IntoIter<Variant<AnnotatedT>>, AnnotatedT> {
    /// Constructor.
    pub fn new_from<ErrorReceiverT>(
        variant: Variant<AnnotatedT>,
        errors: &mut ErrorReceiverT,
    ) -> ResolveResult<Self, AnnotatedT>
    where
        AnnotatedT: Annotated + Clone + Default,
        ErrorReceiverT: ErrorReceiver<ResolveError<AnnotatedT>>,
    {
        match variant {
            Variant::List(list) => return Ok(Some(Self::new_for(list))),

            _ => errors.give(IncompatibleVariantTypeError::new_from(&variant, &["list"]))?,
        }

        Ok(None)
    }
}

impl<'own, ResolvedT, InnerT, AnnotatedT> ResolvingIterator<ResolvedT, AnnotatedT>
    for ResolvingVariantIterator<InnerT, AnnotatedT>
where
    Variant<AnnotatedT>: Resolve<ResolvedT, AnnotatedT>,
    InnerT: Iterator<Item = Variant<AnnotatedT>>,
{
    fn resolve_next<ErrorReceiverT>(&mut self, errors: &mut ErrorReceiverT) -> ResolveResult<ResolvedT, AnnotatedT>
    where
        ErrorReceiverT: ErrorReceiver<ResolveError<AnnotatedT>>,
    {
        Ok(match self.inner.next() {
            Some(next) => next.resolve_with_errors(errors)?,
            None => None,
        })
    }
}