Enum LType 

pub enum LType {
    Send(Role, BaseType, Box<LType>),
    Recv(Role, BaseType, Box<LType>),
    IChoice(Role, Vec<(String, LType)>),
    EChoice(Role, Vec<(String, LType)>),
    End,
    Rec(String, Box<LType>),
    Var(String),
}

A local session type (from one role’s perspective).

Variants

Send(Role, BaseType, Box<LType>)

!q(T).L — send T to role q.

Recv(Role, BaseType, Box<LType>)

?p(T).L — receive T from role p.

IChoice(Role, Vec<(String, LType)>)

Internal choice: select one of the labeled continuations.

EChoice(Role, Vec<(String, LType)>)

External choice: offer labeled continuations to a role.

End

Session end.

Rec(String, Box<LType>)

Recursive local type.

Var(String)

Type variable.

Trait Implementations

impl Clone for LType

fn clone(&self) -> LType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LType

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

Formats the value using the given formatter.

impl PartialEq for LType

fn eq(&self, other: &LType) -> 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 LType

impl StructuralPartialEq for LType