Struct Invocation

pub struct Invocation {
    pub syntax: Spanned<Syntax>,
}

A shim for parsing the root level of a macro invocation, so that a session type may be written as a block w/o an extra layer of braces.

Fields

syntax: Spanned<Syntax>

The spanned syntax representing a full invocation of the macro.

Implementations

impl Invocation

pub fn compile(&self) -> Result<Spanned<Target>, Error>

Compile this invocation into the corresponding target syntax.

Trait Implementations

impl Clone for Invocation

fn clone(&self) -> Invocation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Invocation

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

Formats the value using the given formatter.

impl Parse for Invocation

fn parse(input: ParseStream<'_>) -> Result<Self>