package forester

You can search for identifiers within the package.

in-package search v0.2.0

A tool for tending mathematical forests

Install

Dune Dependency

sr.ht Readme Edit opam file Versions (17)

Authors

J

Jonathan Sterling

Maintainers

J

Jonathan Sterling

Sources

4.1.0.tar.gz

md5=576a2fe0666a6bd9fbbf9a567c0aee79

sha512=af7666a0bcd8fb20497a8c0a0bc01cb57db0bde07d68952e40d37464efe81c3a3c8207a5e5dc88264a5f67b5815874e88f3aa31972dd5f0413d44f97e11b758e

doc/forester.frontend/Forester_frontend/Forest/index.html

Module `Forester_frontend.Forest`Source

Sourcetype config = {

env : Eio_unix.Stdenv.base;
assets_dirs : Eio.Fs.dir_ty Eio.Path.t list;
theme_dir : Eio.Fs.dir_ty Eio.Path.t;
root : string option;
base_url : string option;
stylesheet : string;
ignore_tex_cache : bool;
no_assets : bool;
no_theme : bool;
max_fibers : int;

}

Sourcetype raw_forest = Forester_core.Code.tree list

Sourcetype forest = {

trees : Forester_core.Sem.tree Analysis.Map.t;
analysis : Analysis.analysis Lazy.t;

}

Sourceval plant_forest : raw_forest -> forest

Source

val render_trees : 
  cfg:config ->
  forest:forest ->
  render_only:Forester_core.addr list option ->
  unit

Source

val create_tree : 
  cfg:config ->
  addrs:string Seq.t ->
  dest:Eio.Fs.dir_ty Eio.Path.t ->
  prefix:string ->
  template:string option ->
  mode:[ `Sequential | `Random ] ->
  string

Sourceval complete : forest:forest -> string -> (string * string) Seq.t

Sourceval taxa : forest:forest -> (string * string) Seq.t

Sourceval tags : forest:forest -> (string * string list) Seq.t

Sourceval run_renderer : cfg:config -> forest -> (unit -> 'a) -> 'a

Source

val render_json : 
  cwd:[> Eio__.Fs.dir_ty ] Eio.Path.t ->
  Forester_core.Sem.tree Analysis.Map.t ->
  unit

package forester

Install

Dune Dependency

Authors

Maintainers

Sources

doc/forester.frontend/Forester_frontend/Forest/index.html

Module Forester_frontend.ForestSource

Module `Forester_frontend.Forest`Source