package forester
A tool for tending mathematical forests
Install
Dune Dependency
Authors
Maintainers
Sources
4.1.0.tar.gz
md5=576a2fe0666a6bd9fbbf9a567c0aee79
sha512=af7666a0bcd8fb20497a8c0a0bc01cb57db0bde07d68952e40d37464efe81c3a3c8207a5e5dc88264a5f67b5815874e88f3aa31972dd5f0413d44f97e11b758e
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 65
open Forester_prelude open Forester_core open Sem module E = Render_effect.Perform let render_tree ~dev (doc : Sem.tree) = let addr = doc.fm.addr in let title = match doc.fm.title with | None -> `Null | Some title -> let title = Render_util.expand_title_with_parents doc.fm 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 match addr with | User_addr addr -> Some (addr, `Assoc ( path @ [("title", title); ("taxon", taxon); ("tags", tags); ("route",route); ("metas", metas); ])) | _ -> None 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)"
>