telltale-machine 17.0.0

Protocol machine for choreographic session type 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

//! Runtime drivers.
//!
//! Drivers own target/runtime orchestration while semantic stepping stays in
//! the ProtocolMachine kernel path.

use cfg_if::cfg_if;

pub mod single_thread;

pub use single_thread::NativeSingleThreadDriver;

cfg_if! {
    if #[cfg(feature = "multi-thread")] {
        pub mod threaded;
        pub use threaded::NativeThreadedDriver;
    }
}

cfg_if! {
    if #[cfg(target_arch = "wasm32")] {
        /// Cooperative driver for WebAssembly targets.
        ///
        /// Uses the single-threaded driver since WASM lacks native threading support.
        pub type WasmCooperativeDriver = NativeSingleThreadDriver;
    }
}