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

md5=4cf7ec6a0a36810572f8b3a2af58631c

sha512=818f859dac00a18807563fd79663ec54232c8df196a8dc2de5e269a1d0c71085b1b490297ea0ecf3ef9cd32e40fb05ad2e10c241b03958c15e25c2942271eede

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