hibana 0.9.9

Choreographic programming in Rust with no_std and no heap allocation
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

//! Projected route-effect metadata helpers.

use crate::global::{compiled::images::CompiledProgramRef, const_dsl::DynamicRouteResolver};

pub(crate) struct ProgramImageRouteResolverSiteIter<'a> {
    program: &'a CompiledProgramRef,
    row: usize,
}

impl<'a> ProgramImageRouteResolverSiteIter<'a> {
    #[inline(always)]
    pub(crate) const fn new(program: &'a CompiledProgramRef) -> Self {
        Self { program, row: 0 }
    }
}

impl Iterator for ProgramImageRouteResolverSiteIter<'_> {
    type Item = DynamicRouteResolver;

    fn next(&mut self) -> Option<Self::Item> {
        while self.row < self.program.route_resolver_row_count() {
            let row = self.row;
            self.row += 1;
            let Some((_, resolver)) = self.program.route_resolver_authority_at_row(row) else {
                crate::invariant();
            };
            let Some(resolver) = resolver else {
                continue;
            };
            return Some(resolver);
        }
        None
    }
}