Crate sesstype 

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] (https://dl.acm.org/citation.cfm?id=2827695) 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] (http://mrg.doc.ic.ac.uk/publications/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 Roles.

Role

A participant of a multiparty session.

Enums

PayloadType

Payload Type carried by a Message.

Functions

project

Converts a global::Type into a local::Type.