telltale-runtime 17.0.0

Choreographic programming for Telltale - effect-based distributed protocols
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

//! Basic compilation smoke tests for the effect system.
#![allow(clippy::unwrap_used)]
#![allow(clippy::expect_used)]

#[test]
fn test_effect_traits_compile() {
    // Just verify the module structure compiles
    // The crate name in tests is the library name with underscores
    use telltale_runtime::effects::{LabelId, RoleId};
    use telltale_runtime::RoleName;

    // Basic role enum
    #[derive(Copy, Clone, Debug, PartialEq, Eq, Hash)]
    #[allow(dead_code)]
    enum TestRole {
        A,
        B,
    }

    #[derive(Copy, Clone, Debug, PartialEq, Eq, Hash)]
    enum TestLabel {
        Default,
    }

    impl LabelId for TestLabel {
        fn as_str(&self) -> &'static str {
            "default"
        }

        fn from_str(label: &str) -> Option<Self> {
            match label {
                "default" => Some(TestLabel::Default),
                _ => None,
            }
        }
    }

    impl RoleId for TestRole {
        type Label = TestLabel;

        fn role_name(&self) -> RoleName {
            match self {
                TestRole::A => RoleName::from_static("A"),
                TestRole::B => RoleName::from_static("B"),
            }
        }
    }

    // Verify it implements RoleId
    fn assert_role_id<T: RoleId>() {}
    assert_role_id::<TestRole>();
}