package forester
A tool for tending mathematical forests
Install
Dune Dependency
Authors
Maintainers
Sources
3.1.0.tar.gz
md5=3512b493a31b0d1073ba4e48e8058493
sha512=b6e5ad2f86132d1874cb943546375e2f1b987a0c65628d71f17827f1ff7435df476c86fb135b34b3ff302f99ea54a21b90730257e12aa41cce170fae57c422b0
doc/src/forester.render/Render_json.ml.html
Source file Render_json.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64
open Prelude open Core open Sem module E = Render_effect.Perform let render_tree ~dev (doc : Sem.tree) = match doc.fm.addr with | None -> None | Some addr -> let title = match doc.fm.title with | None -> `Null | Some title -> let title = Render_util.expand_title_with_parents doc title in let title_string = String.trim @@ String_util.sentence_case @@ Render_text.Printer.contents @@ Render_text.render title in `String title_string in let taxon = match doc.fm.taxon with | None -> `Null | Some taxon -> `String (String_util.sentence_case taxon) in let = `List (List.map (fun t -> `String t) doc.fm.tags) in let route = `String (E.route addr) in let metas = let meta_string meta = String.trim @@ String_util.sentence_case @@ Render_text.Printer.contents @@ Render_text.render meta in `Assoc (List.map (fun (s, meta) -> (s, `String (meta_string meta))) doc.fm.metas) in let path = if dev then match doc.fm.source_path with | Some p -> [("sourcePath", `String p)] | None -> [] else [] in Some (addr, `Assoc ( path @ [("title", title); ("taxon", taxon); ("tags", tags); ("route",route); ("metas", metas); ])) let render_trees ~(dev : bool) (docs : Sem.tree list) : Yojson.Basic.t = `Assoc (List.filter_map (render_tree ~dev) docs)
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>