[{"name":"MiniLatex.API","comment":" The public interface to MiniLaTeX: everything the frontend calls goes\nthrough this module.\n\n\n# Rendering\n\n@docs LaTeXMsg, render\n\n\n# Parse once, update incrementally\n\n@docs Data, parse, update, renderData, source\n\n\n# Table of contents\n\n@docs TocEntry, tableOfContents\n\n\n# Export\n\n@docs toLaTeX, toLaTeXBody, images\n\n","unions":[{"name":"Data","comment":" A parsed MiniLaTeX document. Create it with `parse`, keep it in your model,\nand refresh it with `update` when the source changes.\n","args":[],"cases":[]}],"aliases":[{"name":"LaTeXMsg","comment":" Messages emitted by rendered MiniLaTeX (e.g. a paragraph was clicked).\n","args":[],"type":"MiniLatex.EditSimple.LaTeXMsg"},{"name":"TocEntry","comment":" One numbered heading: `level` is 1 for `\\section`, 2 for `\\subsection` and\n3 for `\\subsubsection`; `number` is its label, e.g. `\"2.1\"`; `id` is the DOM id\nof the rendered heading, for links and scrolling.\n","args":[],"type":"{ level : Basics.Int, number : String.String, title : String.String, id : String.String }"}],"values":[{"name":"images","comment":" The images in MiniLaTeX source: each one's `url`, and the `filename` the\noutput of `toLaTeX` uses for it, as `image/<filename>`. Download the images\nthere before compiling.\n","type":"String.String -> List.List { url : String.String, filename : String.String }"},{"name":"parse","comment":" Parse a MiniLaTeX source string.\n","type":"String.String -> MiniLatex.API.Data"},{"name":"render","comment":" Parse and render a MiniLaTeX source string. Each logical paragraph becomes\none element, carrying `data-line` / `data-lines` attributes for editor sync.\n","type":"String.String -> List.List (Html.Html MiniLatex.API.LaTeXMsg)"},{"name":"renderData","comment":" Render parsed `Data`, with the same output as `render`.\n","type":"MiniLatex.API.Data -> List.List (Html.Html MiniLatex.API.LaTeXMsg)"},{"name":"source","comment":" The source text that `Data` was parsed from.\n","type":"MiniLatex.API.Data -> String.String"},{"name":"tableOfContents","comment":" The numbered headings of the document, in order.\n","type":"MiniLatex.API.Data -> List.List MiniLatex.API.TocEntry"},{"name":"toLaTeX","comment":" Map MiniLaTeX source to a complete standard LaTeX document, ready for\nxelatex: preamble, `\\begin{document}`, body, `\\end{document}`.\n","type":"String.String -> String.String"},{"name":"toLaTeXBody","comment":" Map MiniLaTeX source to standard LaTeX: the document body only.\n","type":"String.String -> String.String"},{"name":"update","comment":" Bring `Data` up to date with new source text. Only the paragraphs that\nchanged are re-parsed.\n","type":"String.String -> MiniLatex.API.Data -> MiniLatex.API.Data"}],"binops":[]}]