Module `Forester_core`Source

Core types

Base

Sourcetype eval_mode =

| Text_mode
| TeX_mode

val pp_eval_mode : 
  Ppx_deriving_runtime.Format.formatter ->
  eval_mode ->
  Ppx_deriving_runtime.unit

Sourceval show_eval_mode : eval_mode -> Ppx_deriving_runtime.string

Sourceval eval_mode_t : eval_mode Repr.t

Sourcetype binding_info =

| Strict
| Lazy

Source

val pp_binding_info : 
  Ppx_deriving_runtime.Format.formatter ->
  binding_info ->
  Ppx_deriving_runtime.unit

Sourceval show_binding_info : binding_info -> Ppx_deriving_runtime.string

Sourceval binding_info_t : binding_info Repr.t

Delimiters

Sourcetype delim =

| Braces
| Squares
| Parens

Sourceval pp_delim : Format.formatter -> delim -> unit

Sourceval show_delim : delim -> string

Sourceval delim_t : delim Repr.t

Sourceval delim_to_strings : delim -> string * string

Sourcetype 'a binding = binding_info * 'a

Variable binding

Source

val pp_binding : 
  (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'a binding ->
  Ppx_deriving_runtime.unit

Source

val show_binding : 
  (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) ->
  'a binding ->
  Ppx_deriving_runtime.string

Sourceval binding_t : 'a Repr.t -> 'a binding Repr.t

Math modes

Sourcetype math_mode =

| Inline
| Display

Sourceval pp_math_mode : Format.formatter -> math_mode -> unit

Sourceval show_math_mode : math_mode -> string

Sourceval math_mode_t : math_mode Repr.t

Import visibility

Sourcetype visibility =

| Private
| Public

Sourceval pp_visibility : Format.formatter -> visibility -> unit

Sourceval show_visibility : visibility -> string

Sourcetype identity =

| Anonymous
| URI of URI.t

Sourceval pp_identity : Format.formatter -> identity -> unit

Sourceval show_identity : identity -> string

Sourceval identity_to_uri : identity -> URI.t option

Sourcetype origin =

| Physical of Lsp.Text_document.t
| Subtree of {
1. parent : identity;
}
| Undefined

Sourceval pp_origin : Format.formatter -> origin -> unit

Sourceval show_origin : origin -> string

Sourceval visibility_t : visibility Repr.t

Sourcemodule URI : sig ... end

Sourcemodule URI_scheme : sig ... end

Sourcemodule Config : sig ... end

Vertices

The type of vertices used by the graph database

Sourcemodule Vertex : sig ... end

Sourcemodule Vertex_set : sig ... end

Error handling

Compiler diagnostics and other errors.

Sourcemodule Reporter : sig ... end

Source locations

These are used by compiler diagnostics and the language server.

Sourcemodule Range : sig ... end

Sourcemodule Builtin_relation : sig ... end

Sourcemodule Builtin_queries : sig ... end

Sourcemodule Forest_graph : sig ... end

The graph type used by the datalog database. Used in particular to track imports, links and transclusions.

Sourcemodule Forest_graphs : sig ... end

The graph database

Datalog bindings

Sourcemodule Datalog_engine : sig ... end

Sourcemodule Datalog_expr : sig ... end

Sourcemodule Datalog_eval : sig ... end

Sourcemodule Prim : sig ... end

Sourcemodule TeX_cs : sig ... end

Sourcemodule Types : sig ... end

Sourcemodule TeX_like : sig ... end

Sourcemodule Trie : sig ... end

Sourcemodule Syn : sig ... end

Sourcemodule Symbol : sig ... end

Sourcemodule Value : sig ... end

Sourcemodule Resolver : sig ... end

Sourcemodule Code : sig ... end

Sourcemodule Tree : sig ... end

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/forester.core/Forester_core/index.html

Module `Forester_core`Source

Base

Delimiters

Math modes

Import visibility

Vertices

Error handling

Compiler diagnostics and other errors.

Source locations

Datalog bindings

package forester

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/forester.core/Forester_core/index.html

Module Forester_coreSource

Base

Delimiters

Math modes

Import visibility

Vertices

Error handling

Compiler diagnostics and other errors.

Source locations

Datalog bindings

dune-project
Dependency

Module `Forester_core`Source