Module mpstthree::binary

The slightly modified binary session type library.

  

Modules

cancel

This module contains the functions for cancelling binary sessions.

choose

This module contains the functions and macros for sending a choice for binary sessions.

close

This module contains the functions for closing binary sessions.

fork

This module contains the functions for forking binary sessions.

offer

This module contains the functions and macros for receiving a choice for binary sessions.

recv

This module contains the functions for receiving a payload for binary sessions.

select

This module contains the functions for selecting the first active session.

send

This module contains the functions for sending a payload for binary sessions.

struct_trait

This module contains the basic structures, definitions, traits and functions for the binary sessions.