Enum MathElem 

pub enum MathElem<I = String> {
    Chars(String),
    Group(Vec<MathElem<I>>),
    Sub(Box<MathElem<I>>, Vec<MathElem<I>>),
    Sup(Box<MathElem<I>>, Vec<MathElem<I>>),
    Primes(Box<MathElem<I>>, usize),
    Cmd {
        name: I,
        span: Span,
        args: Vec<CmdArg<I>>,
    },
    Embed {
        expr: Ast<I>,
        span: Span,
    },
}

One quoted math element (structure mirrors the mathmain/mathtop/ mathbot rules; only carried, not typeset, until later).

Variants

Chars(String)

A run of math characters/symbols (MATHCHAR).

Group(Vec<MathElem<I>>)

{ … } grouping.

Sub(Box<MathElem<I>>, Vec<MathElem<I>>)

base _ script

Sup(Box<MathElem<I>>, Vec<MathElem<I>>)

base ^ script

Primes(Box<MathElem<I>>, usize)

base '+ (primes count as a superscript)

Cmd

\cmd args… in math mode; sigil included. args is CmdArg-shaped for uniformity with IText::Cmd/BText::Cmd (the runtime command fold is shared across all three); the math-mode application grammar has no ?(l=e) bundle form at all (math command arguments are always bracket groups — {…} / !{…} / !<…> / !(…), upstream narg), so every CmdArg here has opts: vec![] by construction.

Fields

name: I

span: Span

args: Vec<CmdArg<I>>

Embed

#x in math mode.

Fields

expr: Ast<I>

span: Span

Implementations

impl<I> MathElem<I>

pub fn map_idents<J>(&self, f: &impl Fn(&I) -> J) -> MathElem<J>

Trait Implementations

impl<I: Clone> Clone for MathElem<I>

fn clone(&self) -> MathElem<I>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<I: Debug> Debug for MathElem<I>

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

Formats the value using the given formatter.

impl<I: PartialEq> PartialEq for MathElem<I>

fn eq(&self, other: &MathElem<I>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<I: PartialEq> StructuralPartialEq for MathElem<I>