Enum SType 

pub enum SType {
    Send(Box<BaseType>, Box<SType>),
    Recv(Box<BaseType>, Box<SType>),
    End,
    Choice(Box<SType>, Box<SType>),
    Branch(Box<SType>, Box<SType>),
    Rec(String, Box<SType>),
    Var(String),
}

A binary session type.

Variants

Send(Box<BaseType>, Box<SType>)

!T.S — send T then continue as S.

Recv(Box<BaseType>, Box<SType>)

?T.S — receive T then continue as S.

End

Session termination.

Choice(Box<SType>, Box<SType>)

Internal choice: S₁ ⊕ S₂.

Branch(Box<SType>, Box<SType>)

External choice: S₁ & S₂.

Rec(String, Box<SType>)

Recursive session type: μX.S.

Var(String)

Session type variable.

Implementations

impl SType

pub fn dual(&self) -> SType

Compute the dual session type.

pub fn unfold(&self) -> SType

Unfold a recursive session type one step.

pub fn is_end(&self) -> bool

Check if this session type is End.

pub fn is_send(&self) -> bool

Check if this is a send type.

pub fn is_recv(&self) -> bool

Check if this is a receive type.

Trait Implementations

impl Clone for SType

fn clone(&self) -> SType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SType

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

Formats the value using the given formatter.

impl Display for SType

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

Formats the value using the given formatter.

impl PartialEq for SType

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

impl StructuralPartialEq for SType