Functions for parsing LaTeX macro definitions and applying macros to LateX expressions.
- data Macro = Macro {
- macroDefinition :: String
- macroParser :: forall st. GenParser Char st String
- pMacroDefinition :: GenParser Char st Macro
- pSkipSpaceComments :: GenParser Char st ()
- applyMacros :: [Macro] -> String -> String
Documentation
Macro | |
|
pMacroDefinition :: GenParser Char st MacroSource
Parses a \newcommand
or \renewcommand
macro definition and
returns a Macro
.
pSkipSpaceComments :: GenParser Char st ()Source
Skip whitespace and comments.
applyMacros :: [Macro] -> String -> StringSource
Applies a list of macros to a string recursively until a fixed point is reached. If there are several macros in the list with the same name, earlier ones will shadow later ones.