Enum Syntax

pub enum Syntax {
    Recv(Type),
    Send(Type),
    Call(Box<Spanned<Syntax>>),
    Choose(Vec<Spanned<Syntax>>),
    Offer(Vec<Spanned<Syntax>>),
    Split {
        tx_only: Box<Spanned<Syntax>>,
        rx_only: Box<Spanned<Syntax>>,
    },
    Loop(Option<String>, Box<Spanned<Syntax>>),
    Break(Option<String>),
    Continue(Option<String>),
    Block(Vec<Spanned<Syntax>>),
    Type(Type),
}

The surface syntax for a macro invocation: a single statement-like item, or a block of them.

While the Target of the compiler (and its corresponding types in the Dialectic library) have continuations for almost every expression, the surface syntax is not in continuation passing style, instead encoding sequences of operations using the ; operator within blocks.

Variants

Recv(Type)

Syntax: recv T.

Send(Type)

Syntax: send T.

Call(Box<Spanned<Syntax>>)

Syntax: call T or call { ... }.

Choose(Vec<Spanned<Syntax>>)

Syntax: choose { 0 => ..., ... }.

Offer(Vec<Spanned<Syntax>>)

Syntax: offer { 0 => ..., ... }.

Split

Syntax: split { -> ..., <- ... }.

Fields

tx_only: Box<Spanned<Syntax>>

The transmit-only half.

rx_only: Box<Spanned<Syntax>>

The receive-only half.

Loop(Option<String>, Box<Spanned<Syntax>>)

Syntax: loop { ... } or 'label loop { ... }.

Break(Option<String>)

Syntax: break or break 'label.

Continue(Option<String>)

Syntax: continue or continue 'label.

Block(Vec<Spanned<Syntax>>)

Syntax: { ... }

Type(Type)

Syntax: T.

Implementations

impl Syntax

pub fn recv(ty: &str) -> Self

Construct a Syntax::Recv from a string representing a type.

Panics

If the type does not parse correctly, this panics.

pub fn send(ty: &str) -> Self

Construct a Syntax::Send from a string representing a type.

Panics

If the type does not parse correctly, this panics.

pub fn call(callee: impl Into<Spanned<Syntax>>) -> Self

Construct a Syntax::Call from its inner callee.

pub fn loop_(label: Option<String>, body: impl Into<Spanned<Syntax>>) -> Self

Construct a Syntax::Loop from its (optional) label and its body.

pub fn type_(ty: &str) -> Self

Construct a Syntax::Type from a string representing a type.

Panics

If the type does not parse correctly, this panics.

Trait Implementations

impl Clone for Syntax

fn clone(&self) -> Syntax

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Syntax

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

Formats the value using the given formatter.