Enum SessionOp 

pub enum SessionOp {
    Send(BaseType),
    Recv(BaseType),
    SelectLeft,
    SelectRight,
    Close,
}

A single session operation (for type checking).

Variants

Send(BaseType)

Send a value of the given type.

Recv(BaseType)

Receive a value of the given type.

SelectLeft

Select the left branch.

SelectRight

Select the right branch.

Close

Close the session.

Implementations

impl SessionOp

pub fn check_step(&self, stype: SType) -> Result<SType, String>

Check this operation against the current session type, returning the continuation type.

Trait Implementations

impl Clone for SessionOp

fn clone(&self) -> SessionOp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SessionOp

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

Formats the value using the given formatter.