Crate sesstype [−] [src]
The sesstype crate provides a representation of (multiparty) session types and utilities to construct and manipulate session types in Rust.
For a background of Multiparty Session Types (MPST), see Multiparty Asynchronous Session Types by Honda, Yoshida and Carbone. This implementation of MPST closely follow the syntax defined in A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming by Scalas et al.
Modules
| global |
The module provides types and utilities for working with global session types. |
| local |
The module provides types and utilities for working with local session types. |
| parser |
The module provides parser for a simple session type language. |
Structs
| Message |
A structure to represent a message passed between |
| Role |
A participant of a multiparty session. |
Enums
| PayloadType |
Payload Type carried by a |
Functions
| project |
Converts a global::Type into a local::Type. |