telltale-runtime 17.0.0

Choreographic programming for Telltale - effect-based distributed 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
27
28
29
30
31
32

//! Subtyping for Local Session Types
//!
//! This module implements subtyping relations for local session types.
//! Session type subtyping allows a more specific type to be used where a
//! more general type is expected.
//!
//! # Subtyping Modes
//!
//! ## Synchronous Subtyping
//!
//! Simple structural subtyping based on action sequences. A type S is a
//! subtype of T if S can perform all the actions T expects.
//!
//! ## Asynchronous Subtyping
//!
//! Precise subtyping for asynchronous communication based on the POPL 2021
//! paper "Precise Subtyping for Asynchronous Multiparty Sessions".
//! Uses SISO (Single-Input-Single-Output) tree decomposition.
//!
//! # References
//!
//! - "A Very Gentle Introduction to Multiparty Session Types" (Yoshida & Gheri)
//! - "Precise Subtyping for Asynchronous Multiparty Sessions" (Ghilezan et al., POPL 2021)

pub mod synchronous;
pub mod asynchronous;

pub use synchronous::{sync_subtype, SyncSubtypeError};
pub use asynchronous::{
    async_subtype, orphan_free, siso_decompose,
    InputTree, OutputTree, AsyncSubtypeError,
};