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

md5=d1623b2919d2984bfcd841b5e772abd1

sha512=5924c8822d7e5a7bc49eb2b451cfd06cb372415559bc5ff232a59395b0aa28eb9819e351426ab25510f7d96ffb85ec652fa1878478b046c61e51ff471c285710

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.Query.dbix Forester_core.Query.expr -> 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