package forester
A tool for tending mathematical forests
Install
Dune Dependency
Authors
Maintainers
Sources
2.5.1.tar.gz
md5=b26b6f4e3d14b976c3d5018c97b81b94
sha512=f0c794ed4330485b5255639720ad7201488b77ef947b0736a847fa4f56f93d3f03a22fd2a3319bbe867bab827a4b5ae73b2426a1067911b29fe178d21dd99e73
doc/src/forester.render/Render_effect.ml.html
Source file Render_effect.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 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95open Core type target = | Xml | Rss module type Handler = sig val route : target -> addr -> string val source_path : addr -> string option val is_root : addr -> bool val backlinks : addr -> Sem.doc list val bibliography : addr -> Sem.doc list val parents : addr -> Sem.doc list val children : addr -> Sem.doc list val contributors : addr -> string list val contributions : addr -> Sem.doc list val enqueue_latex : name:string -> packages:string list -> source:string -> unit val get_doc : addr -> Sem.doc option val run_query : Sem.t Query.t -> Sem.doc list end type _ Effect.t += | Route : target * addr -> string Effect.t | Abs_path : addr -> string option Effect.t | Is_root : addr -> bool Effect.t | Backlinks : addr -> Sem.doc list Effect.t | Related : addr -> Sem.doc list Effect.t | Bibliography : addr -> Sem.doc list Effect.t | Parents : addr -> Sem.doc list Effect.t | Children : addr -> Sem.doc list Effect.t | Contributions : addr -> Sem.doc list Effect.t | Contributors : addr -> string list Effect.t | Enqueue_latex : {name : string; packages : string list; source : string} -> unit Effect.t | Get_doc : addr -> Sem.doc option Effect.t | Run_query : Sem.t Query.t -> Sem.doc list Effect.t module Perform : Handler = struct let route target addr = Effect.perform @@ Route (target, addr) let source_path addr = Effect.perform @@ Abs_path addr let is_root addr = Effect.perform @@ Is_root addr let backlinks addr = Effect.perform @@ Backlinks addr let addr = Effect.perform @@ Related addr let bibliography addr = Effect.perform @@ Bibliography addr let contributions addr = Effect.perform @@ Contributions addr let parents addr = Effect.perform @@ Parents addr let children addr = Effect.perform @@ Children addr let contributors addr = Effect.perform @@ Contributors addr let enqueue_latex ~name ~packages ~source = Effect.perform @@ Enqueue_latex {name; packages; source} let get_doc addr = Effect.perform @@ Get_doc addr let run_query query = Effect.perform @@ Run_query query end module Run (H : Handler) = struct let run f = Effect.Deep.try_with f () @@ {effc = fun (type a) (eff : a Effect.t) -> let resume x = Option.some @@ fun (k : (a, _) Effect.Deep.continuation) -> Algaeff.Fun.Deep.finally k @@ fun () -> x () in match eff with | Route (target, addr) -> resume @@ fun () -> H.route target addr | Abs_path addr -> resume @@ fun () -> H.source_path addr | Is_root addr -> resume @@ fun () -> H.is_root addr | Backlinks addr -> resume @@ fun () -> H.backlinks addr | Related addr -> resume @@ fun () -> H.related addr | Bibliography addr -> resume @@ fun () -> H.bibliography addr | Parents addr -> resume @@ fun () -> H.parents addr | Children addr -> resume @@ fun () -> H.children addr | Contributors addr -> resume @@ fun () -> H.contributors addr | Contributions addr -> resume @@ fun () -> H.contributions addr | Enqueue_latex {name; packages; source} -> resume @@ fun () -> H.enqueue_latex ~name ~packages ~source | Get_doc addr -> resume @@ fun () -> H.get_doc addr | Run_query query -> resume @@ fun () -> H.run_query query | _ -> None} end