Struct Body 

pub struct Body<S> {
    pub statements: Vec<Terminated<S>>,
    pub tail: Option<S>,
}

Statements discarded by semicolons followed by an optional returned tail.

This is analogous to a Rust block: every terminated statement is evaluated for effects, while the unterminated tail supplies the body’s value.

Fields

statements: Vec<Terminated<S>>

Statements terminated by semicolons.

tail: Option<S>

The optional unterminated value returned by the body.

Implementations

impl<S> Body<S>

pub fn new(statements: Vec<Terminated<S>>, tail: Option<S>) -> Self

Creates a body from discarded statements and its returned tail.

Trait Implementations

impl<S: Lex> Lex for Body<S>

fn to_tokens(&self, output: &mut TokenStream)

Appends this value’s token trees to output.

fn to_token_stream(&self) -> TokenStream

Emits this value into a fresh token stream.

fn to_m2(&self) -> String

Renders this value as normalized Macaulay2 source.

impl<S: Parse> Parse for Body<S>

fn parse(input: &mut ParseStream) -> Result<Self, TokenParseError>

Consumes this value from input.

impl<S> Spanned for Body<S>

where Vec<Terminated<S>>: Spanned, Option<S>: Spanned,

fn try_span(&self) -> Option<Span>

Returns the smallest span covering this value, when its constituents share one source snapshot.

fn span(&self) -> Span

Returns the smallest span covering this value.

fn expect_span(&self) -> Span

Returns this value’s span when one source snapshot covers it.