Enum MathBot 

pub enum MathBot {
    Cmd {
        name: AnyMathCmdTok,
        args: Vec<MathArg>,
    },
    Chars(MathCharTok),
    Embed(VarInMathTok),
    Sep(SepTok),
    Group {
        mgrp: MathGroup<()>,
        elems: Vec<MathErasedV1>,
    },
}

mathbot — identical shape to crate::cst::ast::MathBot (no 0.1 delta; name accepts a module-qualified \Mod.cmd math command too, AnyMathCmdTok::Mod — the lexer already emits Token::MathCmdWithMod for one, lexer.rs’s \\ arm in Mode:: Math, since ${\Math.paren{…}}-shaped qualified references need it to parse at all).

Variants

Cmd

\cmd matharg*, sigil-only or module-qualified (\Mod.cmd matharg*).

Fields

name: AnyMathCmdTok

args: Vec<MathArg>

Chars(MathCharTok)

Embed(VarInMathTok)

#var (math mode never trails this with ;).

Sep(SepTok)

A | separator marker (flat; elaborator regroups).

Group

{ … } — re-enters the math grammar.

Fields

mgrp: MathGroup<()>

elems: Vec<MathErasedV1>

Trait Implementations

impl Clone for MathBot

fn clone(&self) -> MathBot

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MathBot

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

Formats the value using the given formatter.

impl<__SyanMacro_Atom> Parse<__SyanMacro_Atom> for MathBot

where __SyanMacro_Atom: Spanned + Clone, AnyMathCmdTok: Parse<__SyanMacro_Atom>, Vec<MathArg>: Parse<__SyanMacro_Atom>, MathCharTok: Parse<__SyanMacro_Atom>, VarInMathTok: Parse<__SyanMacro_Atom>, SepTok: Parse<__SyanMacro_Atom>, MathGroup<()>: GroupShape<__SyanMacro_Atom>, __SyanSubstructOfOwn_mgrp_MathBot_Group_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 MathBot

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for MathBot

impl<__SyanMacro_Atom> Unparse<__SyanMacro_Atom> for MathBot

where AnyMathCmdTok: Unparse<__SyanMacro_Atom>, Vec<MathArg>: Unparse<__SyanMacro_Atom>, MathCharTok: Unparse<__SyanMacro_Atom>, VarInMathTok: Unparse<__SyanMacro_Atom>, SepTok: Unparse<__SyanMacro_Atom>, MathGroup<()>: GroupUnparse<__SyanMacro_Atom>, for<'syan_substruct_ref> __SyanSubstructOfRef_mgrp_MathBot_Group_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>