Enum Target

pub enum Target {
    Done,
    Recv(Type, Rc<Spanned<Target>>),
    Send(Type, Rc<Spanned<Target>>),
    Choose(Vec<Spanned<Target>>),
    Offer(Vec<Spanned<Target>>),
    Loop(Rc<Spanned<Target>>),
    Continue(usize),
    Split {
        tx_only: Rc<Spanned<Target>>,
        rx_only: Rc<Spanned<Target>>,
        cont: Rc<Spanned<Target>>,
    },
    Call(Rc<Spanned<Target>>, Rc<Spanned<Target>>),
    Then(Rc<Spanned<Target>>, Rc<Spanned<Target>>),
    Type(Type),
}

The target language of the macro: the type level language of session types in Dialectic.

This is a one-to-one mapping to the literal syntax you would write without using the Session! macro. The only constructors which don’t correspond directly to constructs with Session implementations are Target::Then, which translates to a type-level function invocation to concatenate two session types, and Target::Type, which translates to an embedding of some arbitrary session type by name (i.e. defined elsewhere as a synonym).

Variants

Done

Session type: Done.

Recv(Type, Rc<Spanned<Target>>)

Session type: Recv<T, P>.

Send(Type, Rc<Spanned<Target>>)

Session type: Send<T, P>.

Choose(Vec<Spanned<Target>>)

Session type: Choose<(P, ...)>.

Offer(Vec<Spanned<Target>>)

Session type: Offer<(P, ...)>.

Loop(Rc<Spanned<Target>>)

Session type: Loop<...>.

Continue(usize)

Session type: Continue<N>.

Split

Session type: Split<P, Q, R>.

Fields

tx_only: Rc<Spanned<Target>>

The transmit-only half.

rx_only: Rc<Spanned<Target>>

The receive-only half.

cont: Rc<Spanned<Target>>

The continuation.

Call(Rc<Spanned<Target>>, Rc<Spanned<Target>>)

Session type: Call<P, Q>.

Then(Rc<Spanned<Target>>, Rc<Spanned<Target>>)

Session type: <P as Then<Q>>::Combined.

Type(Type)

Some arbitrary session type referenced by name.

Trait Implementations

impl Clone for Target

fn clone(&self) -> Target

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Target

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

Formats the value using the given formatter.

impl Display for Target

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

Formats the value using the given formatter.