lemma 0.9.2

A pure, declarative language for business rules.
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
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131

//! Embedded Lemma authoring guide and example specs for MCP tools/resources.

pub const LLMS_TXT: &str = include_str!("../../documentation/llms.txt");

const SYNTAX: &str = include_str!("../../documentation/guide/10_syntax.txt");
const COMPOSITION: &str = include_str!("../../documentation/guide/20_composition.txt");
const DATA: &str = include_str!("../../documentation/guide/30_data.txt");
const UNITS: &str = include_str!("../../documentation/guide/40_units.txt");
const RULES: &str = include_str!("../../documentation/guide/50_rules.txt");
const VETO: &str = include_str!("../../documentation/guide/60_veto.txt");
const ANTI_PATTERNS: &str = include_str!("../../documentation/guide/70_anti_patterns.txt");

pub const EXAMPLE_01_COFFEE_ORDER: &str =
    include_str!("../../documentation/examples/01_coffee_order.lemma");
pub const EXAMPLE_02_LIBRARY_FEES: &str =
    include_str!("../../documentation/examples/02_library_fees.lemma");
pub const EXAMPLE_03_RECIPE_SCALING: &str =
    include_str!("../../documentation/examples/03_recipe_scaling.lemma");
pub const EXAMPLE_04_MEMBERSHIP_BENEFITS: &str =
    include_str!("../../documentation/examples/04_membership_benefits.lemma");
pub const EXAMPLE_05_WEATHER_CLOTHING: &str =
    include_str!("../../documentation/examples/05_weather_clothing.lemma");
pub const EXAMPLE_NL_TAX_NET_SALARY: &str =
    include_str!("../../documentation/examples/nl/tax/net_salary.lemma");

/// Guide topics map to fragment files under `cli/documentation/guide/`.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum GuideTopic {
    Syntax,
    Data,
    Rules,
    Units,
    Veto,
    Composition,
    AntiPatterns,
}

impl GuideTopic {
    pub const ALL: &[GuideTopic] = &[
        GuideTopic::Syntax,
        GuideTopic::Data,
        GuideTopic::Rules,
        GuideTopic::Units,
        GuideTopic::Veto,
        GuideTopic::Composition,
        GuideTopic::AntiPatterns,
    ];

    pub fn as_str(self) -> &'static str {
        match self {
            GuideTopic::Syntax => "syntax",
            GuideTopic::Data => "data",
            GuideTopic::Rules => "rules",
            GuideTopic::Units => "units",
            GuideTopic::Veto => "veto",
            GuideTopic::Composition => "composition",
            GuideTopic::AntiPatterns => "anti_patterns",
        }
    }

    pub fn parse(name: &str) -> Option<Self> {
        Self::ALL.iter().copied().find(|t| t.as_str() == name)
    }

    /// Guide topic content from corresponding fragment.
    pub fn section_text(self) -> &'static str {
        match self {
            GuideTopic::Syntax => SYNTAX,
            GuideTopic::Data => DATA,
            GuideTopic::Rules => RULES,
            GuideTopic::Units => UNITS,
            GuideTopic::Veto => VETO,
            GuideTopic::Composition => COMPOSITION,
            GuideTopic::AntiPatterns => ANTI_PATTERNS,
        }
    }
}

/// Example resource: URI path after `lemma://examples/` → body.
pub struct ExampleResource {
    pub path: &'static str,
    pub body: &'static str,
}

pub const EXAMPLE_RESOURCES: &[ExampleResource] = &[
    ExampleResource {
        path: "01_coffee_order.lemma",
        body: EXAMPLE_01_COFFEE_ORDER,
    },
    ExampleResource {
        path: "02_library_fees.lemma",
        body: EXAMPLE_02_LIBRARY_FEES,
    },
    ExampleResource {
        path: "03_recipe_scaling.lemma",
        body: EXAMPLE_03_RECIPE_SCALING,
    },
    ExampleResource {
        path: "04_membership_benefits.lemma",
        body: EXAMPLE_04_MEMBERSHIP_BENEFITS,
    },
    ExampleResource {
        path: "05_weather_clothing.lemma",
        body: EXAMPLE_05_WEATHER_CLOTHING,
    },
    ExampleResource {
        path: "nl/tax/net_salary.lemma",
        body: EXAMPLE_NL_TAX_NET_SALARY,
    },
];

pub fn example_by_path(path: &str) -> Option<&'static str> {
    EXAMPLE_RESOURCES
        .iter()
        .find(|e| e.path == path)
        .map(|e| e.body)
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn guide_topic_parse_round_trip() {
        for topic in GuideTopic::ALL {
            assert_eq!(GuideTopic::parse(topic.as_str()), Some(*topic));
        }
        assert!(GuideTopic::parse("temporal").is_none());
        assert!(GuideTopic::parse("").is_none());
    }
}