hibana 0.9.3

Session-typed choreographic programming for no_std Rust protocols, inspired by affine MPST
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

use super::super::ingress::OfferIngressMode;
use super::super::{
    OfferScopeProfile,
    profile::{
        OfferControllerLocalReadiness, OfferCursorReadiness, OfferEarlyDecisionReadiness,
        OfferEntryPosition, OfferPassiveReadiness, OfferRouteShape,
    },
};

#[derive(Clone, Copy)]
pub(super) struct OfferIngressEvidence {
    pub(super) profile: OfferScopeProfile,
    pub(super) entry: OfferEntryPosition,
    pub(super) cursor: OfferCursorReadiness,
    pub(super) early_decision: OfferEarlyDecisionReadiness,
    pub(super) controller: OfferControllerLocalReadiness,
    pub(super) passive: OfferPassiveReadiness,
}

impl OfferIngressEvidence {
    #[inline]
    pub(super) const fn profile(self) -> OfferScopeProfile {
        self.profile
    }

    #[inline]
    pub(super) fn ingress_mode(self) -> OfferIngressMode {
        OfferRouteShape {
            profile: self.profile,
            entry: self.entry,
            cursor: self.cursor,
            early_decision: self.early_decision,
            controller: self.controller,
            passive: self.passive,
        }
        .ingress_mode()
    }
}