sim-lib-logic 0.1.0

SIM workspace package for sim lib logic.
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

use sim_kernel::{Cx, Ref, Result, Symbol};
use sim_lib_control::{ControlPrompt, ControlTag};

/// The control prompt emitted when the logic resolver encounters `!`.
#[derive(Clone, Debug, PartialEq, Eq)]
pub(crate) struct CutPrompt {
    /// Choice-frame boundary retained after the cut commits.
    pub(crate) cut_parent: u64,
}

impl CutPrompt {
    pub(crate) fn tag_symbol() -> Symbol {
        Symbol::qualified("logic", "cut")
    }
}

impl ControlPrompt for CutPrompt {
    fn tag(&self) -> ControlTag {
        ControlTag::new(Self::tag_symbol())
    }

    fn input(&self) -> Ref {
        Ref::Symbol(Symbol::qualified(
            "logic-cut",
            format!("parent-{}", self.cut_parent),
        ))
    }
}

pub(crate) fn raise_cut_prompt(cx: &mut Cx, prompt_record: CutPrompt) -> Result<()> {
    sim_lib_control::raise_prompt(cx, &prompt_record).map(|_| ())
}