notebook/render-html
src/notebook/render-html.tur
render notebook documents to standalone HTML.
defn
render-html-string-at
(render-html-string-at [nodes : int outputs : int opts : int html_path : cstr])
render a parsed notebook to HTML as if writing html_path.
defn
render-html-string
(render-html-string [nodes : int outputs : int opts : int])
render a parsed notebook and its outputs to standalone HTML.
defn
render-html
(render-html [path : cstr opts : int])
evaluate a notebook file and write rendered HTML beside it.
Internal definitions
__rhtml-build-hint__rhtml-nil-value__rhtml-list-nil?__rhtml-cons__rhtml-head__rhtml-tail__rhtml-ok__rhtml-err__rhtml-result-ok?__rhtml-result-ok-val__rhtml-cstr-as-int__rhtml-int-as-cstr__rhtml-cstr-empty?__rhtml-cstr-eq?__rhtml-str-concat__rhtml-strdup-- an owned copy of a borrowed string.__rhtml-join-owned-- join two OWNED blocks with a newline, releasing both.__rhtml-wrap3-- pre + a + mid + b + post, in one allocation.__rhtml-wrap4-- pre + a + m1 + b + m2 + c + post, in one allocation.__rhtml-cstr-free-- release an owned string. Safe on 0.__rhtml-cons-free-- free one cons cell, leaving its head alone.__rhtml-spine-free-- free a cons spine, leaving the heads alone.__rhtml-result-box-free-- release a Result box after taking its payload.__rhtml-noop-- void no-op, so a cleanup-only `if` has void on both arms.__rhtml-join-blocks__rhtml-output-path__rhtml-style-path__rhtml-ensure-parent-dir__rhtml-write-file__rhtml-close-cache__rhtml-render-opts-output-dir__rhtml-render-opts-use-cache__rhtml-render-opts-include-source__rhtml-render-opts-include-output__rhtml-render-opts-fail-fast__rhtml-render-opts-math-mode__rhtml-render-opts-assets-mode__rhtml-lang-label__rhtml-status-label__rhtml-cell-class__rhtml-html-escape__rhtml-page-title__rhtml-style-css__rhtml-toggle-script__rhtml-render-source-pre__rhtml-source-pre-build__rhtml-output-skipped?__rhtml-output-meta__rhtml-output-body__rhtml-is-frame-tag?-- case-insensitive check for "frame" in the type tag.__rhtml-frame-text-to-table-- parse pipe-delimited print-frame output__rhtml-render-output-table__rhtml-render-output-pre__rhtml-render-math-body__rhtml-render-math-output__rhtml-int->cstr__rhtml-copy-file__rhtml-png-data-url__rhtml-image-rel-name__rhtml-dir-join__rhtml-output-dir__rhtml-render-image-block__rhtml-cell-shows-source?__rhtml-cell-shows-output?__rhtml-render-cell-content__rhtml-render-single-cell__rhtml-should-toggle-pair?__rhtml-toggle-button__rhtml-toggle-button-build__rhtml-toggle-panel__rhtml-render-toggle-pair__rhtml-render-state-make__rhtml-render-state-text__rhtml-render-state-outputs__rhtml-render-state-adopt-- build a state that TAKES OWNERSHIP of `text`.__rhtml-state-take-text-- hand the text out and clear the field.__rhtml-render-state-free-- release a state and its text. Safe on 0.__rhtml-render-body__rhtml-cells-from-nodes-rev__rhtml-reverse-- reverse a list, consuming its cons cells.__rhtml-cells-from-nodes__rhtml-list-length__rhtml-cells-has-math-attr?__rhtml-find-katex-vendor-dir__rhtml-read-vendor-file__rhtml-katex-css-rewrite__rhtml-body-has-math?__rhtml-katex-copy-fonts__rhtml-katex-write-sibling__rhtml-katex-inject__rhtml-katex-sibling-tags__rhtml-katex-inline-build__rhtml-document__rhtml-document-build