Enum Atomic 

pub enum Atomic {
    Length(LengthTok),
    Float(FloatTok),
    Int(IntTok),
    Literal(LiteralTok),
    True(KwTrue),
    False(KwFalse),
    Ctor(CtorTok),
    Var(VarTok),
    VarWithMod(VarWithModTok),
    Command {
        kw: CommandTok,
        name: AnyHorzCmdTok,
    },
    Unit {
        paren: UnitParen,
    },
    Paren {
        paren: ParenGroup<()>,
        inner: Box<ParenBody>,
    },
    Record {
        rec: RecordGroup<()>,
        body: RecordBody,
    },
    List {
        list: ListGroup<()>,
        items: Vec<ListItem>,
    },
    InlineText {
        igrp: InlineGroup<()>,
        elems: Vec<InlineElem>,
    },
    BlockText {
        bgrp: BlockGroup<()>,
        elems: Vec<BlockElem>,
    },
    MathText {
        mgrp: MathGroup<()>,
        elems: Vec<MathErasedV1>,
    },
}

expr_bot-analogue: an atomic expression. Delta: Atomic::List and Atomic::Record are now ,-separated (optterm_list(COMMA, …), parser_v1.mly:935,942) rather than 0.0.6’s ;-separated forms — see ListItem/RecordField. Parenthesized/tuple bodies were already ,-separated in 0.0.6 and are unchanged (parser_v1.mly:914).

Variants

Length(LengthTok)

Float(FloatTok)

Int(IntTok)

Literal(LiteralTok)

True(KwTrue)

False(KwFalse)

Ctor(CtorTok)

A bare constructor, e.g. None, or the head of Some 1.

Var(VarTok)

VarWithMod(VarWithModTok)

Mod.x — a module-qualified variable.

Command

command \cmd (upstream parser_v1.mly:906, L_PAREN COMMAND backslash_cmd R_PAREN — the parens arrive via Atomic::Paren here, exactly like crate::cst::ast::Atomic::Command, which this reproduces verbatim; the plus_cmd alternative at :908 is deferred with the same rationale as the 0.0.6 comment). Needed by the transliterated v01-mini.satyh’s (command \math).

Fields

kw: CommandTok

name: AnyHorzCmdTok

Unit

()

Fields

paren: UnitParen

Paren

( expr ) or ( expr, expr, … ) (the latter elaborates to a tuple).

Fields

paren: ParenGroup<()>

inner: Box<ParenBody>

Record

(| label = expr, … |) or (| base with label = expr, … |) (,-separated — see RecordBody).

Fields

rec: RecordGroup<()>

body: RecordBody

List

[ expr, … ] (,-separated — see ListItem).

Fields

list: ListGroup<()>

items: Vec<ListItem>

InlineText

{ inline text }

Fields

igrp: InlineGroup<()>

elems: Vec<InlineElem>

BlockText

'< block text >

Fields

bgrp: BlockGroup<()>

elems: Vec<BlockElem>

MathText

${ math }. Parses the same math grammar as 0.0.6; the math-text/math-boxes value split is a lowering/typing concern, not a cst_v1 shape change.

Fields

mgrp: MathGroup<()>

elems: Vec<MathErasedV1>

Trait Implementations

impl Clone for Atomic

fn clone(&self) -> Atomic

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Atomic

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

Formats the value using the given formatter.

impl<__SyanMacro_Atom> Parse<__SyanMacro_Atom> for Atomic

where __SyanMacro_Atom: Spanned + Clone, LengthTok: Parse<__SyanMacro_Atom>, FloatTok: Parse<__SyanMacro_Atom>, IntTok: Parse<__SyanMacro_Atom>, LiteralTok: Parse<__SyanMacro_Atom>, KwTrue: Parse<__SyanMacro_Atom>, KwFalse: Parse<__SyanMacro_Atom>, CtorTok: Parse<__SyanMacro_Atom>, VarTok: Parse<__SyanMacro_Atom>, VarWithModTok: Parse<__SyanMacro_Atom>, CommandTok: Parse<__SyanMacro_Atom>, AnyHorzCmdTok: Parse<__SyanMacro_Atom>, UnitParen: Parse<__SyanMacro_Atom>, ParenGroup<()>: GroupShape<__SyanMacro_Atom>, __SyanSubstructOfOwn_paren_Atomic_Paren_1383305089136131385: Parse<__SyanMacro_Atom>, RecordGroup<()>: GroupShape<__SyanMacro_Atom>, __SyanSubstructOfOwn_rec_Atomic_Record_1383305089136131385: Parse<__SyanMacro_Atom>, ListGroup<()>: GroupShape<__SyanMacro_Atom>, __SyanSubstructOfOwn_list_Atomic_List_1383305089136131385: Parse<__SyanMacro_Atom>, InlineGroup<()>: GroupShape<__SyanMacro_Atom>, __SyanSubstructOfOwn_igrp_Atomic_InlineText_1383305089136131385: Parse<__SyanMacro_Atom>, BlockGroup<()>: GroupShape<__SyanMacro_Atom>, __SyanSubstructOfOwn_bgrp_Atomic_BlockText_1383305089136131385: Parse<__SyanMacro_Atom>, MathGroup<()>: GroupShape<__SyanMacro_Atom>, __SyanSubstructOfOwn_mgrp_Atomic_MathText_1383305089136131385: Parse<__SyanMacro_Atom>,

type Error = ParseError<<__SyanMacro_Atom as Spanned>::Span>

Every error must be convertible to the universal one, so a field’s failure can become the enclosing type’s failure with no per-field where-predicate. Stating it HERE rather than at each derived impl is what keeps it out of the obligation graph: a per-field <FieldTy as Parse<Atom>>::Error: Into<…> predicate re-creates a projection cycle on a recursive field (E0275), which decycle’s bound-peeling does not break.

fn parse_stream<__SyanMacro_S: ParseStream<Atom = __SyanMacro_Atom>>( __syan_stream: &mut __SyanMacro_S, ) -> Result<Self, Self::Error>

Parse from a reborrowable stream.

fn parse(stream: impl IntoParseStream<Atom = Atom>) -> Result<Self, Self::Error>

Parse from anything that can become a stream — String, TokenStream, an existing stream.

fn attempt(self) -> Attempt<Self>

Wrap this value in Attempt, the atomic-parse marker: parsing an Attempt<Self> parses Self but rewinds the stream on failure (it requires Atom: Clone). This is the value constructor; value.attempt() is sugar for Attempt(value).

impl PartialEq for Atomic

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Atomic

impl<__SyanMacro_Atom> Unparse<__SyanMacro_Atom> for Atomic

where LengthTok: Unparse<__SyanMacro_Atom>, FloatTok: Unparse<__SyanMacro_Atom>, IntTok: Unparse<__SyanMacro_Atom>, LiteralTok: Unparse<__SyanMacro_Atom>, KwTrue: Unparse<__SyanMacro_Atom>, KwFalse: Unparse<__SyanMacro_Atom>, CtorTok: Unparse<__SyanMacro_Atom>, VarTok: Unparse<__SyanMacro_Atom>, VarWithModTok: Unparse<__SyanMacro_Atom>, CommandTok: Unparse<__SyanMacro_Atom>, AnyHorzCmdTok: Unparse<__SyanMacro_Atom>, UnitParen: Unparse<__SyanMacro_Atom>, ParenGroup<()>: GroupUnparse<__SyanMacro_Atom>, for<'syan_substruct_ref> __SyanSubstructOfRef_paren_Atomic_Paren_1383305089136131385<'syan_substruct_ref>: Unparse<__SyanMacro_Atom>, RecordGroup<()>: GroupUnparse<__SyanMacro_Atom>, for<'syan_substruct_ref> __SyanSubstructOfRef_rec_Atomic_Record_1383305089136131385<'syan_substruct_ref>: Unparse<__SyanMacro_Atom>, ListGroup<()>: GroupUnparse<__SyanMacro_Atom>, for<'syan_substruct_ref> __SyanSubstructOfRef_list_Atomic_List_1383305089136131385<'syan_substruct_ref>: Unparse<__SyanMacro_Atom>, InlineGroup<()>: GroupUnparse<__SyanMacro_Atom>, for<'syan_substruct_ref> __SyanSubstructOfRef_igrp_Atomic_InlineText_1383305089136131385<'syan_substruct_ref>: Unparse<__SyanMacro_Atom>, BlockGroup<()>: GroupUnparse<__SyanMacro_Atom>, for<'syan_substruct_ref> __SyanSubstructOfRef_bgrp_Atomic_BlockText_1383305089136131385<'syan_substruct_ref>: Unparse<__SyanMacro_Atom>, MathGroup<()>: GroupUnparse<__SyanMacro_Atom>, for<'syan_substruct_ref> __SyanSubstructOfRef_mgrp_Atomic_MathText_1383305089136131385<'syan_substruct_ref>: Unparse<__SyanMacro_Atom>,

fn unparse<__Syan_Emitter: Emitter<__SyanMacro_Atom>>( &self, __syan_sink: &mut __Syan_Emitter, ) -> Result<(), <__Syan_Emitter as Emitter<__SyanMacro_Atom>>::Error>