package forester

You can search for identifiers within the package.

in-package search v0.2.0

package forester

forester.core
- Core
  - BaseN
    
    Base36
    
    I
    
    Make
    
    _
    
    S
  - Code
  - Eval
  - Expand
    
    Builtins
    
    Transclude
    
    UnitMap
  - Prim
  - Query
  - Range
  - Reporter
    
    Message
  - Resolver
    
    P
    
    Scope
    
    Perform
    
    Silence
  - Sem
    
    MethodTable
    
    Query
    
    Util
  - Syn
forester.frontend
- Forester
  - Analysis
    
    Gph
    
    Map
    
    Tbl
    
    Topo
  - Build_latex
  - Forest
  - Grammar
  - LaTeX_queue
    
    Make
    
    S
  - LaTeX_template
  - Lexer
forester.prelude
- Prelude
  - Compare
  - Date
  - Eio_util
    
    NullSink
  - Printer_kit
    
    Kit
    
    P
    
    S
    
    S0
  - String_util
forester.render
- Render
  - Render_effect
    
    Handler
    
    Perform
    
    Run
    
    _
  - Render_json
  - Render_text
    
    Printer
  - Render_util
  - Render_verbatim
    
    Printer
  - Render_xml
  - Xml_printer
    
    P0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type config = {

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

}

type raw_forest = Core.Code.tree Seq.t

type forest = {

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

}

val plant_forest : Core.Code.tree Seq.t -> forest

val render_trees : cfg:config -> forest:forest -> unit

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

val complete : forest:forest -> string -> (Core.addr * string) Seq.t

val prefixes : addrs:Core.addr Seq.t -> string list

val taxa : forest:forest -> (Core.addr * string) Seq.t

val tags : forest:forest -> (Core.addr * string list) Seq.t

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

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