Struct ExprLambdaList 

pub struct ExprLambdaList {
    pub arguments: Delimited<Option<ArgumentListContent>>,
    pub operator: _SubGst,
    pub body: Box<Expr>,
}

Struct generated by strutuct! for ExprLambdaList.

Fields

arguments: Delimited<Option<ArgumentListContent>>

Field ExprLambdaList::arguments generated by strutuct!.

operator: _SubGst

Field ExprLambdaList::operator generated by strutuct!.

body: Box<Expr>

Field ExprLambdaList::body generated by strutuct!.

Implementations

impl ExprLambdaList

pub fn new( arguments: Delimited<Option<ArgumentListContent>>, operator: _SubGst, body: Box<Expr>, ) -> Self

Creates this node from its typed children.

Trait Implementations

impl Debug for ExprLambdaList

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

Formats the value using the given formatter.

impl From<ExprLambdaList> for Component

fn from(value: ExprLambdaList) -> Self

Converts to this type from the input type.

impl From<ExprLambdaList> for Expr

fn from(value: ExprLambdaList) -> Self

Converts to this type from the input type.

impl From<ExprLambdaList> for ExprLambda

fn from(value: ExprLambdaList) -> Self

Converts to this type from the input type.

impl From<ExprLambdaList> for PackedContent

fn from(value: ExprLambdaList) -> Self

Converts to this type from the input type.

impl Lex for ExprLambdaList

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<N> Migrate<N> for ExprLambdaList

where N: ExternalCstNode,

fn matches(node: &N) -> bool

Reports whether node can migrate this typed value.

fn migrate(node: N) -> Result<Self, MigrateError>

Converts a matching external node into typed syntax.

impl PrettyTree for ExprLambdaList

fn pretty_tree(&self) -> PrettyNode

Builds the presentation node for this syntax value.

impl Spanned for ExprLambdaList

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.