Enum IText 

pub enum IText {
    Text(String),
    CodeText(String),
    Cmd {
        cmd: CompiledExpr,
        args: Vec<CmdArg>,
    },
    Embed {
        expr: CompiledExpr,
        span: Span,
    },
    EmbedMath {
        elems: Rc<Vec<MathElem>>,
        span: Span,
    },
}

One inline-text element (the compiled mirror of crate::ast::IText).

Variants

Text(String)

CodeText(String)

A backtick literal, dispatched at box-building time through the context’s code_text_command (see read_inline).

Cmd

Fields

cmd: CompiledExpr

Yields the command’s value — the \emph binding, already resolved against the quote site’s lexical scope. Running it can still fail with “unbound inline command ‘…’ at run time”, for the defensive case where the name was in no compile-time scope.

args: Vec<CmdArg>

Embed

#expr; — an embedded expression evaluating to inline-text.

Fields

expr: CompiledExpr

span: Span

EmbedMath

${…} embedded math.

Fields

elems: Rc<Vec<MathElem>>

span: Span

Implementations

impl IText

pub fn embed(expr: &Ast, env: &BaseEnv, span: Span) -> IText

crate::primitives::read_inline is public and takes these elements, so there has to be a way to build one from outside the crate — but CompiledExpr is deliberately crate-internal, so the compile step happens here rather than in the caller. env plays the role the enclosing compiler’s lexical scope plays for a real quote site: it is what free names in expr are resolved against.

Trait Implementations

impl Clone for IText

fn clone(&self) -> IText

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IText

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

Formats the value using the given formatter.