package forester

  1. Overview
  2. Docs
A tool for tending mathematical forests

Install

Dune Dependency

Authors

Maintainers

Sources

4.3.1.tar.gz
md5=d1623b2919d2984bfcd841b5e772abd1
sha512=5924c8822d7e5a7bc49eb2b451cfd06cb372415559bc5ff232a59395b0aa28eb9819e351426ab25510f7d96ffb85ec652fa1878478b046c61e51ff471c285710

doc/src/forester.render/LaTeX_queue.ml.html

Source file LaTeX_queue.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
open Forester_core

module type S =
sig
  val enqueue : string -> string
  val process : env:_ Build_latex.env -> ignore_tex_cache : bool -> unit
end

module Make () : S =
struct
  let svg_queue : (string, string) Hashtbl.t = Hashtbl.create 100

  let enqueue source =
    let hash = Digest.to_hex @@ Digest.string source in
    if not @@ Hashtbl.mem svg_queue hash then
      Hashtbl.add svg_queue hash source;
    hash

  let process ~env ~ignore_tex_cache : unit  =
    let task (name, source) =
      Reporter.easy_run @@ fun () ->
      Build_latex.build_latex ~ignore_tex_cache ~env ~name ~source
    in
    Hashtbl.to_seq svg_queue
    |> List.of_seq
    |> Eio.Fiber.List.iter ~max_fibers:20 task
end
OCaml

Innovation. Community. Security.