包详细信息

@unified-latex/unified-latex-types

siefkenj35.3kMIT1.8.0

type definitions for unified-latex

pegjs, latex, parser, prettier

自述文件

unified-latex-types

What is this?

Types for the unified-latex Abstract Syntax Tree (AST). These types extend the unist AST, but instead of a children attribute, they have a content attribute.

When should I use this?

If you're working with unified-latex ASTs.

Install

npm install @unified-latex/unified-latex-types

This package contains both esm and commonjs exports. To explicitly access the esm export, import the .js file. To explicitly access the commonjs export, import the .cjs file.

Types

ArgumentParser

export type ArgumentParser = (
    nodes: Ast.Node[],
    startPos: number
) => { args: Ast.Argument[]; nodesRemoved: number };

Ast

export type Ast = Node | Argument | Node[];

EnvInfo

export type EnvInfo = {
    renderInfo?: {
        /**
         * Whether the body of the environment should be treated as math mode
         *
         * @type {boolean}
         */
        inMathMode?: boolean;
        /**
         * Whether to align the environment contents based on `&` and `\\` delimiters
         * (like a matrix or tabular environment).
         *
         * @type {boolean}
         */
        alignContent?: boolean;
        /**
         * Whether the arguments should be treated as pgfkeys-type arguments.
         *
         * @type {boolean}
         */
        pgfkeysArgs?: boolean;
        /**
         * A list of names to be given to each argument when processing. This list should
         * be the same length as the number of arguments. `null` can appear any number of times
         * for "un-named" arguments.
         *
         * This allows a consistent reference to macro arguments even if the macro signatures are redefined between
         * packages.
         *
         * @type {((string|null)[])}
         */
        namedArguments?: (string | null)[];
        /**
         * Whether the body is tikz-environment like (e.g., a `tikzpicture` or `scope`, etc.)
         *
         * @type {boolean}
         */
        tikzEnvironment?: boolean;
    };
    /**
     * Function to process the body of an environment. The return value of `processContent`
     * is treated as the new body.
     *
     */
    processContent?: (ast: Ast.Node[]) => Ast.Node[];
    /**
     * The environment signature as an xparse argument specification string.
     *
     * @type {string}
     */
    signature?: string;
};

EnvInfoRecord

export type EnvInfoRecord = Record<string, EnvInfo>;

GenericAst

export type GenericAst = GenericNode | GenericNode[];

MacroInfo

export type MacroInfo = {
    renderInfo?: {
        /**
         * Whether the macro's contents wraps along with the current
         * paragraph or displays as it's own block.
         *
         * @type {boolean}
         */
        inParMode?: boolean;
        /**
         * Whether the arguments should be processed as pgfkeys-type arguments.
         *
         * @type {boolean}
         */
        pgfkeysArgs?: boolean;
        /**
         * Whether there should be line breaks after the macro
         * (e.g., like the `\\` command.)
         *
         * @type {boolean}
         */
        breakAfter?: boolean;
        /**
         * Whether there should be line breaks before and after the macro
         * (e.g., like the `\section{...}` command.)
         *
         * @type {boolean}
         */
        breakAround?: boolean;
        /**
         * Whether there should be line breaks before the macro.
         *
         * @type {boolean}
         */
        breakBefore?: boolean;
        /**
         * Whether the contents of the macro should be assumed to be in math mode.
         *
         * @type {boolean}
         */
        inMathMode?: boolean;
        /**
         * Whether the arguments should be rendered with a hanging indent when the wrap
         * (like the arguments to \item in an enumerate environment.)
         *
         * @type {boolean}
         */
        hangingIndent?: boolean;
        /**
         * A list of names to be given to each argument when processing. This list should
         * be the same length as the number of arguments. `null` can appear any number of times
         * for "un-named" arguments.
         *
         * This allows a consistent reference to macro arguments even if the macro signatures are redefined between
         * packages.
         *
         * @type {((string|null)[])}
         */
        namedArguments?: (string | null)[];
        /**
         * Whether the macro represents a tikz path command (e.g. `\draw (0,0) -- (1,1);`).
         *
         * @type {boolean}
         */
        tikzPathCommand?: boolean;
        /**
         * If `\sysdelims` is present, this contains the global information about the delimiters.
         */
        sysdelims?: (Ast.Node[] | null)[];
    };
    /**
     * The macro signature as an xparse argument specification string.
     *
     * @type {string}
     */
    signature?: string;
    /**
     * Some special macros like `^` and `_` don't use
     * an escape token. When matching against these macros,
     * care must be taken to match the macro contents and the macro's
     * escape token.
     */
    escapeToken?: string;
    /**
     * Custom argument parser. If present, function overrides the default argument
     * parsing of `signature`. An array of nodes is passed as well as the position
     * of the first node **after** the macro. This function is expected to _mutate_
     * the input array, removing any nodes that are part of the macro's argument.
     *
     * This function will only be called on a macro if it has no existing `args`.
     *
     * Note: for stability when printing/accessing a node's arguments, this function
     * should always return an argument array of the same length, regardless of
     * whether optional arguments are present. For example, if this function parses
     * a node with signature `o m`, it should ways return a length-two array of arguments.
     * A "blank" argument (one that does not show up during printing) can be created
     * with `args([], { openMark: "", closeMark: "" })`, using the `unified-latex-builder` package.
     */
    argumentParser?: ArgumentParser;
};

MacroInfoRecord

export type MacroInfoRecord = Record<string, MacroInfo>;

Node

export type Node =
    | Root
    | String
    | Whitespace
    | Parbreak
    | Comment
    | Macro
    | Environment
    | VerbatimEnvironment
    | InlineMath
    | DisplayMath
    | Group
    | Verb;

更新日志

unified-latex Changelog

v1.8.0

  • Added initial PreTeXt conversion support
  • Upgraded deps
  • Added amsart macros
  • Consume the whitespace after special character macros when expanding ligatures. For example \o y produces øy instead of ø y
  • Fix signatures of \hyphenation

v1.7.1

  • Types fix for @unified-latex/unified-latex-types
  • Fixed AST when expanding \sysdelim macros for rendering \systeme{} macros with KaTeX

v1.7.0

  • Switch build system to vite. Should result in smaller bundles.
  • Save default arguments when parsing if the macro signature specifies them e.g. {signature: "O{foo}"}. The defaults are substituted in when expanding the macros with the optional arguments omitted.
  • Preserve position information when comments are modified. (Sometimes, during a parse, but never during a parseMinimal, comments are modified to remove leading whitespace. Previously, modified comments would have their position information deleted. Position information is now preserved.)

v1.6.1

  • Pass VisitInfo as an additional argument ot macroReplacers and environmentReplacers in unifiedLatexToHast.
  • Allow skipping of HTML validation in unifiedLatexToHast.
  • The minted environment parses its contents as a verbatim.

v1.6.0

  • Embellishment tokens are now supported in macro signatures. E.g., a xxx: {signature: "e{^_}"} will allow \xxx_{foo}^{bar} and \xxx^{foo}_{bar} to parse correctly.
  • Stop tokens can now be regular string characters. For example xxx: {signature: "ua"} will allow \xxx YYYaBBB to consume YYY leaving BBB unconsumed.
  • Break after \\ macro when pretty printing (Issue #59)
  • [DEVELOPMENT] Added tsconfig.json files to each test/ folder for more granular control of the typescript settings.

v1.5.0

  • HTML conversion: vspace and hspace now give the amount in a data-amount attribute.
  • HTML conversion: unknown macros now have their arguments wrapped in spans instead of appearing as formatted LaTeX code.
  • Add basic Markdown conversion support.

v1.4.2

  • Avoid slowdown when paring incomplete environments (e.g. \newcommand{\x}{\begin{x}}). This is accomplished by enabling caching in PEGjs.
  • Added " ligature and \paragraph and \subparagraph to HTML conversion.

v1.4.1

  • Many more ligatures added to the HTML converter.
  • Fixed issue #40 where the optional argument to \\ was being parsed even if preceded by a space. (E.g., \\[10pt] and \\ [10pt]) were parsed the same. Not allowing the space should more closely match expected behavior.
  • Bump Prettier to v2.8.8

v1.4.0

  • Better CJS support (now unified is compiled in rather than left as an external dependency. This is needed because unified is ESM-only).
  • minted and listings environments now accept optional arguments and parse their contents verbatim. This makes them much more efficient.

v1.3.0

  • Initial support for parsing and pretty-printing of tikz environments.
  • Added support for xparse u-type arguments.
  • Can now pass an argumentParser attribute for custom argument parsing (instead of relying on an xparse signature)