hibana 0.9.2

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

use super::{Par, ProgramSourceData, ProgramTerm, Resolve, Roll, Route, Send, Seq};
use crate::global::steps::RoleLaneMask;

impl<const FROM: u8, const TO: u8, M> ProgramTerm for Send<FROM, TO, M>
where
    M: crate::global::Message,
{
    const PROGRAM_SOURCE: ProgramSourceData = {
        ProgramSourceData::from_parts(
            crate::global::const_dsl::const_send_typed::<FROM, TO, M, 0>(),
            RoleLaneMask::empty().with_role(FROM, 0).with_role(TO, 0),
            1,
        )
    };
}

impl<Left, Right> ProgramTerm for Seq<Left, Right>
where
    Left: ProgramTerm,
    Right: ProgramTerm,
{
    const PROGRAM_SOURCE: ProgramSourceData = ProgramSourceData::seq(
        <Left as ProgramTerm>::PROGRAM_SOURCE,
        <Right as ProgramTerm>::PROGRAM_SOURCE,
    );
}

impl<Left, Right> ProgramTerm for Route<Left, Right>
where
    Left: ProgramTerm,
    Right: ProgramTerm,
{
    const PROGRAM_SOURCE: ProgramSourceData = ProgramSourceData::route(
        <Left as ProgramTerm>::PROGRAM_SOURCE,
        <Right as ProgramTerm>::PROGRAM_SOURCE,
    );
}

impl<Left, Right> ProgramTerm for Par<Left, Right>
where
    Left: ProgramTerm,
    Right: ProgramTerm,
{
    const PROGRAM_SOURCE: ProgramSourceData = ProgramSourceData::par(
        <Left as ProgramTerm>::PROGRAM_SOURCE,
        <Right as ProgramTerm>::PROGRAM_SOURCE,
    );
}

impl<Left, Right, const RESOLVER_ID: u16> ProgramTerm for Resolve<Route<Left, Right>, RESOLVER_ID>
where
    Left: ProgramTerm,
    Right: ProgramTerm,
{
    const PROGRAM_SOURCE: ProgramSourceData = ProgramSourceData::resolve_route(
        <Route<Left, Right> as ProgramTerm>::PROGRAM_SOURCE,
        RESOLVER_ID,
    );
}

impl<Inner> ProgramTerm for Roll<Inner>
where
    Inner: ProgramTerm,
{
    const PROGRAM_SOURCE: ProgramSourceData =
        ProgramSourceData::roll(<Inner as ProgramTerm>::PROGRAM_SOURCE);
}