sim-lib-control 0.1.0-rc.1

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

#![forbid(unsafe_code)]
#![deny(missing_docs)]
//! Control behavior for the SIM runtime: async, backtracking, conditions.
//!
//! The kernel defines the control-policy contracts; this crate supplies the
//! concrete control organ (coroutines, generators, restarts, non-local exits)
//! layered over those contracts.

mod r#async;
mod backtrack;
mod claims;
mod condition;
mod coroutine;
mod generator;
mod model;
mod nonlocal;
mod ops;
mod policy;
mod prompt;
mod restart;
mod runtime;

pub use r#async::{AsyncPoll, AsyncTask};
pub use backtrack::{BacktrackStep, Backtracker};
pub use claims::{
    control_op_keys, control_organ_symbol, publish_control_organ_claims,
    publish_control_organ_claims_for_lib,
};
pub use condition::{Condition, ConditionHandler, ConditionStack, signal_condition};
pub use coroutine::{Coroutine, CoroutineLane, CoroutineStep};
pub use generator::{Generator, GeneratorStep};
pub use model::{ContinuationValue, ControlResultValue};
pub use nonlocal::{LabeledPrompt, NonLocalExit, NonLocalExitKind, escape_to_label};
pub use ops::{ControlFunction, abort_symbol, capture_symbol, prompt_symbol, resume_symbol};
pub use policy::{
    OneShotControlPolicy, SegmentedControlPolicy, install_control_policy, one_shot_control_policy,
    segmented_control_policy,
};
pub use prompt::{ControlPrompt, ControlTag, raise_prompt};
pub use restart::{Restart, RestartStack, invoke_restart};
pub use runtime::{ControlLib, control_exports, install_control_lib, manifest_name};

#[cfg(test)]
mod derivation_tests;

#[cfg(test)]
mod tests;