Enum LocalType 

pub enum LocalType {
    Send {
        to: Role,
        message: MessageType,
        continuation: Box<LocalType>,
    },
    Receive {
        from: Role,
        message: MessageType,
        continuation: Box<LocalType>,
    },
    Select {
        to: Role,
        branches: Vec<(Ident, LocalType)>,
    },
    Branch {
        from: Role,
        branches: Vec<(Ident, LocalType)>,
    },
    LocalChoice {
        branches: Vec<(Ident, LocalType)>,
    },
    Loop {
        condition: Option<Condition>,
        body: Box<LocalType>,
    },
    Rec {
        label: Ident,
        body: Box<LocalType>,
    },
    Var(Ident),
    Timeout {
        duration: Duration,
        body: Box<LocalType>,
        on_timeout: Box<LocalType>,
        on_cancel: Option<Box<LocalType>>,
    },
    End,
}

Extended local session type for code generation.

This enum extends LocalTypeR with additional constructs used during code generation, such as loops, timeouts, and local choice.

Variants

Send

Send a message

Fields

to: Role

message: MessageType

continuation: Box<LocalType>

Receive

Receive a message

Fields

from: Role

message: MessageType

continuation: Box<LocalType>

Select

Make a choice (select)

Fields

to: Role

branches: Vec<(Ident, LocalType)>

Branch

Receive a choice (branch)

Fields

from: Role

branches: Vec<(Ident, LocalType)>

LocalChoice

Local choice (decision without communication)

Fields

branches: Vec<(Ident, LocalType)>

Loop

Loop construct

Fields

condition: Option<Condition>

body: Box<LocalType>

Rec

Recursive type

Fields

label: Ident

body: Box<LocalType>

Var(Ident)

Variable (reference to recursive type)

Timeout

Timeout wrapper for protocol extensions

Fields

duration: Duration

body: Box<LocalType>

on_timeout: Box<LocalType>

on_cancel: Option<Box<LocalType>>

End

Type termination

Implementations

impl LocalType

pub fn is_well_formed(&self) -> bool

Check if this type is well-formed

pub fn depth(&self) -> usize

Count the depth of a local type

impl LocalType

Extend LocalType to support timeout

pub fn timeout(duration: Duration, body: LocalType) -> LocalType

Trait Implementations

impl Clone for LocalType

fn clone(&self) -> LocalType

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LocalType

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl PartialEq for LocalType

fn eq(&self, other: &LocalType) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for LocalType