rsaeb 0.10.1

A no_std + alloc interpreter for A=B ordered rewrite programs.
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

pub use crate::runtime::matcher::RuleMissReason;

/// Completed non-applying rule attempt.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub struct RuleMiss<RuleWitness> {
    /// Rule witness for the consumed rule line.
    rule: RuleWitness,
    /// Why the consumed rule did not apply.
    reason: RuleMissReason,
}

/// Why a rule-attempt run reached stability.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum RuleAttemptStableReason<RuleWitness> {
    /// The parsed program contains no executable rules.
    NoExecutableRules,
    /// The final executable rule line was consumed without applying.
    FinalMiss(RuleMiss<RuleWitness>),
}

impl<RuleWitness> RuleMiss<RuleWitness> {
    /// Captures the rule and reason for one consumed non-applying rule line.
    pub(crate) const fn new(rule: RuleWitness, reason: RuleMissReason) -> Self {
        Self { rule, reason }
    }

    /// Rule witness for the consumed rule line.
    #[must_use]
    pub const fn rule(&self) -> &RuleWitness {
        &self.rule
    }

    /// Why the consumed rule did not apply.
    #[must_use]
    pub const fn reason(&self) -> RuleMissReason {
        self.reason
    }

    /// Splits this miss into its rule witness and miss reason.
    #[must_use]
    pub fn into_parts(self) -> (RuleWitness, RuleMissReason) {
        (self.rule, self.reason)
    }
}