package forester

You can search for identifiers within the package.

in-package search v0.2.0

package forester

Forester: A language for scientific hypertext
- README.nix
- Developing Forester
- Library forester.compiler
  - Forester_compiler
    
    Xml_forester
    
    Parse
    
    Imports
    
    Expand
    
    Unit_map
    
    Builtins
    
    Transclude
    
    Eval
    
    Forest
    
    Action
    
    State
    
    Syntax
    
    Phases
    
    Driver
    
    Asset_router
    
    URI_util
    
    Build_latex
    
    LaTeX_pipeline
    
    LaTeX_template
    
    Job
- Library forester.core
  - Forester_core
    
    URI
    
    Set
    
    Map
    
    Tbl
    
    URI_scheme
    
    Config
    
    Vertex
    
    Vertex_set
    
    Reporter
    
    Message
    
    Tty
    
    Range
    
    Builtin_relation
    
    Dx
    
    Builtin_queries
    
    Dx
    
    Forest_graph
    
    Map
    
    Graphviz
    
    Forest_graphs
    
    S
    
    Make
    
    Datalog_engine
    
    Datalog_expr
    
    Constructors
    
    Notation
    
    Datalog_eval
    
    Prim
    
    TeX_cs
    
    Types
    
    Comparators
    
    TeX_like
    
    Trie
    
    Untagged
    
    Syn
    
    Symbol
    
    Value
    
    String_map
    
    Symbol_map
    
    Method_table
    
    Resolver
    
    P
    
    Scope
    
    Perform
    
    Perform
    
    Silence
    
    Lang
    
    Code
    
    Tree
- Library forester.frontend
  - Forester_frontend
    
    Config_parser
    
    Forester
    
    DSL
    
    Datalog
    
    Code
    
    Syn
    
    Htmx_client
    
    Plain_text_client
    
    Legacy_xml_client
    
    Json_manifest_client
- Library forester.human_datetime
  - Human_datetime
- Library forester.language_server
  - Forester_lsp
    
    L
    
    RPC
    
    Server
    
    Semantic_tokens
    
    Request
    
    Notification
    
    Analysis
    
    Item
    
    Context
    
    Lsp_state
    
    M
    
    LspEio
    
    RPC
    
    Header
    
    Message
    
    Lsp_shims
    
    Loc
    
    Diagnostic
    
    Call_hierarchy
    
    Change_configuration
    
    Code_action
    
    Code_lens
    
    Completion
    
    S
    
    Syntax
    
    Definitions
    
    Did_change
    
    Did_open
    
    Document_link
    
    Document_symbols
    
    Highlight
    
    Hover
    
    Inlay_hint
    
    Publish
    
    Semantic_tokens
    
    Token_type
    
    Token_modifiers_set
    
    Workspace_symbols
    
    Did_create_files
- Library forester.parser
  - Forester_parser
    
    Grammar
    
    MenhirInterpreter
    
    Incremental
    
    Lexer
    
    Parse
- Library forester.prelude
  - Forester_prelude
    
    Bwd
    
    BwdLabels
    
    String_util
    
    Option_util
    
    List_util
    
    BaseN
    
    I
    
    S
    
    Make
    
    Base36
    
    Compare
- Library forester.search
  - Forester_search
    
    Index
    
    Ocurrences
    
    BM_25
    
    Tokenizer
    
    Set
    
    Stemming
    
    Context
- Library forester.server
  - Forester_server
    
    Headers
    
    Index
    
    Router
    
    Search_menu
    
    Server
- Library forester.test
  - Forester_test
    
    Test_env
    
    Testables
- Library forester.xml_names
  - Forester_xml_names
    
    Xmlns_effect
    
    Make
- Sources
  - forester.compiler
    
    Action.ml
    
    Asset_router.ml
    
    Build_latex.ml
    
    Cache.ml
    
    Dir_scanner.ml
    
    Driver.ml
    
    Eio_util.ml
    
    Eval.ml
    
    Expand.ml
    
    Export_for_test.ml
    
    Forest.ml
    
    Forester_compiler.ml
    
    Imports.ml
    
    Job.ml
    
    LaTeX_pipeline.ml
    
    LaTeX_template.ml
    
    Parse.ml
    
    Phases.ml
    
    State.ml
    
    Suggestions.ml
    
    Tape_effect.ml
    
    URI_util.ml
    
    Xml_forester.ml
    
    forester_compiler__.ml
  - forester.core
    
    Base.ml
    
    Builtin_queries.ml
    
    Builtin_relation.ml
    
    Code.ml
    
    Config.ml
    
    Datalog_engine.ml
    
    Datalog_eval.ml
    
    Datalog_expr.ml
    
    Forest_graph.ml
    
    Forest_graphs.ml
    
    Forester_core.ml
    
    Prim.ml
    
    Range.ml
    
    Reporter.ml
    
    Reporter_message.ml
    
    Resolver.ml
    
    Symbol.ml
    
    Syn.ml
    
    TeX_cs.ml
    
    TeX_like.ml
    
    Tree.ml
    
    Trie.ml
    
    Types.ml
    
    URI.ml
    
    URI_scheme.ml
    
    Value.ml
    
    Vertex.ml
    
    Vertex_set.ml
    
    forester_core__.ml
  - forester.frontend
    
    Atom_client.ml
    
    Config_parser.ml
    
    DSL.ml
    
    Forest_util.ml
    
    Forester.ml
    
    Forester_frontend.ml
    
    Html_client.ml
    
    Htmx_client.ml
    
    Json_manifest_client.ml
    
    Legacy_xml_client.ml
    
    Loop_detection_effect.ml
    
    Plain_text_client.ml
    
    forester_frontend__.ml
  - forester.human_datetime
    
    Conversion.ml
    
    Grammar.ml
    
    Human_datetime.ml
    
    Lexer.ml
    
    Types.ml
    
    human_datetime__.ml
  - forester.language_server
    
    Analysis.ml
    
    Call_hierarchy.ml
    
    Change_configuration.ml
    
    Code_action.ml
    
    Code_lens.ml
    
    Completion.ml
    
    Definitions.ml
    
    Diagnostics.ml
    
    Did_change.ml
    
    Did_create_files.ml
    
    Did_open.ml
    
    Document_link.ml
    
    Document_symbols.ml
    
    Forester_lsp.ml
    
    Highlight.ml
    
    Hover.ml
    
    Inlay_hint.ml
    
    LspEio.ml
    
    Lsp_error.ml
    
    Lsp_server.ml
    
    Lsp_shims.ml
    
    Lsp_state.ml
    
    Publish.ml
    
    Semantic_tokens.ml
    
    Util.ml
    
    Workspace_symbols.ml
    
    forester_lsp__.ml
  - forester.parser
    
    Grammar.ml
    
    Lexer.ml
    
    Parse.ml
    
    forester_parser.ml
  - forester.prelude
    
    BaseN.ml
    
    Compare.ml
    
    Forester_prelude.ml
    
    Fun_util.ml
    
    List_util.ml
    
    Option_util.ml
    
    String_util.ml
    
    forester_prelude__.ml
  - forester.search
    
    Context.ml
    
    Forester_search.ml
    
    Index.ml
    
    Stemming.ml
    
    Tokenizer.ml
    
    forester_search__.ml
  - forester.server
    
    Headers.ml
    
    Index.ml
    
    Router.ml
    
    Search_menu.ml
    
    Server.ml
    
    forester_server.ml
  - forester.test
    
    Forester_test.ml
    
    Prelude.ml
    
    Testables.ml
    
    forester_test__.ml
  - forester.xml_names
    
    Forester_xml_names.ml
    
    Types.ml
    
    Xmlns_effect.ml
    
    forester_xml_names__.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `DSL.Code`Source

Sourceval import_private : string -> Forester_core.Code.node Asai.Range.located

Sourceval import_public : string -> Forester_core.Code.node Asai.Range.located

Source

val inline_math : 
  Forester_core.Code.t ->
  Forester_core.Code.node Asai.Range.located

Source

val display_math : 
  Forester_core.Code.t ->
  Forester_core.Code.node Asai.Range.located

Sourceval parens : Forester_core.Code.t -> Forester_core.Code.node Asai.Range.located

Source

val squares : 
  Forester_core.Code.t ->
  Forester_core.Code.node Asai.Range.located

Sourceval braces : Forester_core.Code.t -> Forester_core.Code.node Asai.Range.located

Sourceval ul : Forester_core.Code.node Asai.Range.located

Sourceval li : Forester_core.Code.node Asai.Range.located

Sourceval text : string -> Forester_core.Code.node Asai.Range.located

Sourceval verbatim : string -> Forester_core.Code.node Asai.Range.located

Source

val math : 
  Forester_core__.Base.math_mode ->
  Forester_core.Code.t ->
  Forester_core.Code.node Asai.Range.located

Source

val ident : 
  Forester_core.Trie.path ->
  Forester_core.Code.node Asai.Range.located

Sourceval scope : Forester_core.Code.t -> Forester_core.Code.node Asai.Range.located

Source

val open_ : 
  Forester_core.Trie.path ->
  Forester_core.Code.node Asai.Range.located

Source

val group : 
  Forester_core__.Base.delim ->
  Forester_core.Code.t ->
  Forester_core.Code.node Asai.Range.located

Source

val def : 
  Forester_core.Trie.path ->
  (Forester_core__.Base.binding_info * string) list ->
  Forester_core.Code.t ->
  Forester_core.Code.node Asai.Range.located

Source

val object_ : 
  Forester_core.Code.t Forester_core.Code._object ->
  Forester_core.Code.node Asai.Range.located

package forester

Module DSL.CodeSource

Module `DSL.Code`Source