Struct Sum 

pub struct Sum {
    pub left: SpannableNode<Term>,
    pub cont: Option<SumP>,
}

A sum of any number of Terms.

If cont == None, then this is just a Term.

Grammar

Sum -> Term SumP?;

Fields

left: SpannableNode<Term>

The left-hand Term.

cont: Option<SumP>

The optional continuation.

Implementations

impl Sum

pub fn new_unspanned(left: Term, cont: Option<SumP>) -> Self

Constructs a Self with dummy span information.

Trait Implementations

impl Clone for Sum

fn clone(&self) -> Sum

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Sum

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

Formats the value using the given formatter.

impl Display for Sum

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

Formats the value using the given formatter.

impl Hash for Sum

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Parse for Sum

fn parse(lexer: &mut LexerBridge<'_>) -> ParseResult<Self>

Given a lexer, try to parse a valid instance of this node.

fn parse_sep( lexer: &mut LexerBridge<'_>, join: Tokens, ) -> ParseResult<Vec<Self>>

where Self: Sized,

Parse multiple instances of this node, separated by a Tokens.

fn parse_sep_end( lexer: &mut LexerBridge<'_>, join: Tokens, end: Tokens, ) -> ParseResult<Vec<Self>>

where Self: Sized,

Parse multiple instances of this node, separated by a Tokens end ended by a (possibly different) Tokens.

impl PartialEq for Sum

fn eq(&self, other: &Sum) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Sum

impl StructuralPartialEq for Sum