package forester

You can search for identifiers within the package.

in-package search v0.2.0

forester.core
- Forester_core
  - Base
    
    Addr
    
    Addr_map
    
    Addr_set
    
    String_map
  - BaseN
    
    Base36
    
    I
    
    Make
    
    _
    
    S
  - Code
  - Eval
    
    Make
  - Expand
    
    Builtins
    
    Transclude
    
    UnitMap
  - Prim
  - Query
    
    Rel
  - Range
  - Reporter
    
    Message
  - Resolver
    
    P
    
    Scope
    
    Perform
    
    Silence
  - Sem
    
    MethodTable
    
    Query
    
    Text_modifier
    
    Util
  - Symbol
  - Syn
  - TeX_cs
  - Xml_tree
forester.frontend
- Forester_frontend
  - Config
    
    Forest_config
  - Forest
  - Grammar
    
    Incremental
    
    MenhirInterpreter
  - Import_graph
    
    Gph
    
    Topo
  - Lexer
  - Parse
forester.prelude
- Forester_prelude
  - Compare
  - Date
  - Eio_util
    
    NullSink
  - Printer_kit
    
    Kit
    
    P
    
    S
    
    S0
  - String_util
forester.render
- Forester_render
  - Build_latex
  - Compile
    
    I
    
    Make
    
    _
  - LaTeX_queue
    
    Make
    
    S
  - LaTeX_template
  - Render_TeX_like
    
    Printer
  - Render_json
  - Render_text
    
    Printer
  - Render_util
  - Serialise_xml_tree
    
    I
    
    Make
    
    _
  - Xml_forester

Legend:
Library
Module
Module type
Parameter
Class
Class type

include sig ... end

type not_found_handler = P.context option -> Yuujinchou.Trie.bwd_path -> unit

type shadow_handler =
  P.context option ->
  Yuujinchou.Trie.bwd_path ->
  (P.data * P.tag) ->
  (P.data * P.tag) ->
  P.data * P.tag

type hook_handler =
  P.context option ->
  Yuujinchou.Trie.bwd_path ->
  P.hook ->
  (P.data, P.tag) Yuujinchou.Trie.t ->
  (P.data, P.tag) Yuujinchou.Trie.t

exception Locked

val resolve : Yuujinchou.Trie.path -> (P.data * P.tag) option

val modify_visible : 
  ?context_visible:P.context ->
  P.hook Yuujinchou.Language.t ->
  unit

val modify_export : 
  ?context_export:P.context ->
  P.hook Yuujinchou.Language.t ->
  unit

val export_visible : 
  ?context_modifier:P.context ->
  ?context_export:P.context ->
  P.hook Yuujinchou.Language.t ->
  unit

val get_visible : unit -> (P.data, P.tag) Yuujinchou.Trie.t

val get_export : unit -> (P.data, P.tag) Yuujinchou.Trie.t

val section : 
  ?context_modifier:P.context ->
  ?context_visible:P.context ->
  ?context_export:P.context ->
  ?modifier:P.hook Yuujinchou.Language.t ->
  Yuujinchou.Trie.path ->
  (unit -> 'a) ->
  'a

module type Perform = sig ... end

module Perform : sig ... end

module Silence : sig ... end

val run : 
  ?not_found:not_found_handler ->
  ?shadow:shadow_handler ->
  ?hook:hook_handler ->
  ?export_prefix:Yuujinchou.Trie.bwd_path ->
  ?init_visible:(P.data, P.tag) Yuujinchou.Trie.t ->
  (unit -> 'a) ->
  'a

val try_with : 
  ?not_found:not_found_handler ->
  ?shadow:shadow_handler ->
  ?hook:hook_handler ->
  (unit -> 'a) ->
  'a

val register_printer : 
  ([ `Hook of
       P.context option
       * Yuujinchou.Trie.bwd_path
       * P.hook
       * (P.data, P.tag) Yuujinchou.Trie.t
   | `NotFound of P.context option * Yuujinchou.Trie.bwd_path
   | `Shadow of
     P.context option
     * Yuujinchou.Trie.bwd_path
     * (P.data * P.tag)
     * (P.data * P.tag) ] ->
    string option) ->
  unit

val import_singleton : Yuujinchou.Trie.path -> P.data -> unit

val include_singleton : Yuujinchou.Trie.path -> P.data -> unit

val import_subtree : 
  ?modifier:P.hook Yuujinchou.Language.t ->
  Yuujinchou.Trie.path ->
  (P.data, P.tag) Yuujinchou.Trie.t ->
  unit

val include_subtree : 
  ?modifier:P.hook Yuujinchou.Language.t ->
  Yuujinchou.Trie.path ->
  (P.data, P.tag) Yuujinchou.Trie.t ->
  unit