Struct arithmetic_typing::ast::TupleAst

pub struct TupleAst<'a> {
    pub start: Vec<SpannedTypeAst<'a>>,
    pub middle: Option<Spanned<'a, SliceAst<'a>>>,
    pub end: Vec<SpannedTypeAst<'a>>,
}

Parsed tuple type, such as (Num, Bool) or (fn() -> Num, ...[Num; _]).

Fields

start: Vec<SpannedTypeAst<'a>>

Elements at the beginning of the tuple, e.g., Num and Bool in (Num, Bool, ...[T; _]).

middle: Option<Spanned<'a, SliceAst<'a>>>

Middle of the tuple, e.g., [T; _] in (Num, Bool, ...[T; _]).

end: Vec<SpannedTypeAst<'a>>

Elements at the end of the tuple, e.g., Bool in (...[Num; _], Bool). Guaranteed to be empty if middle is not present.

Trait Implementations

impl<'a> Clone for TupleAst<'a>

fn clone(&self) -> TupleAst<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for TupleAst<'a>

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

Formats the value using the given formatter.

impl<'a> PartialEq for TupleAst<'a>

fn eq(&self, other: &TupleAst<'a>) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<'a> StructuralPartialEq for TupleAst<'a>