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.2.0.tar.gz

md5=7543fe7acbdfeb2056dc0b774965239f

sha512=2317bf84588692bbbd40e5fa944faab4889474e4a058e336bd1165f6dd8e55e8979affab098248c87354acdc3b6e6927305553ff5ab6b002b6739719814ec080

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;
stylesheet : string;
ignore_tex_cache : bool;
no_assets : bool;
no_theme : bool;

}

Sourcetype raw_forest = Forester_core.Code.tree list

Sourcetype forest = {

trees : Forester_core.Sem.tree Forester_core.Addr_map.t;
run_query : Forester_core.Sem.query -> Forester_core.Addr_set.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