package forester
A tool for tending mathematical forests
Install
Dune Dependency
Authors
Maintainers
Sources
5.0.tar.gz
md5=24f4aed96a8b8af33aba13fba66f1b37
sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573
doc/forester.compiler/Forester_compiler/State/index.html
Module Forester_compiler.State
Source
Source
type t = {
env : Eio_unix.Stdenv.base;
dev : bool;
config : Forester_core.Config.t;
index : Forester_core.Tree.t Forester_core.URI.Tbl.t;
diagnostics : Forester_core.Reporter.Message.t Asai.Diagnostic.t list Forester_core.URI.Tbl.t;
graphs : (module Forester_core.Forest_graphs.S);
import_graph : Forester_core.Forest_graph.t;
dependency_cache : Cache.t;
resolver : string Forester_core.URI.Tbl.t;
search_index : Forester_search.Index.t;
usages : (Forester_core.Tree.exports, Forester_core.URI.t Asai.Range.located) Hashtbl.t;
history : Action.t list;
hosts : (string, unit) Hashtbl.t;
suggestions : Forester_core.URI.t Forester_core.URI.Tbl.t;
}
Source
val make :
env:Eio_unix.Stdenv.base ->
config:Forester_core.Config.t ->
dev:bool ->
?graphs:(module Forester_core.Forest_graphs.S) ->
?import_graph:Forester_core.Forest_graph.t ->
?resolver:string Forester_core.URI.Tbl.t ->
?index:Forester_core.Tree.t Forester_core.URI.Tbl.t ->
?diagnostics:
Forester_core.Reporter.Message.t Asai.Diagnostic.t list
Forester_core.URI.Tbl.t ->
?usages:
(Forester_core.Tree.exports, Forester_core.URI.t Asai.Range.located)
Hashtbl.t ->
?search_index:Forester_search.Index.t ->
?dependency_cache:Cache.t ->
?hosts:(string, unit) Hashtbl.t ->
?suggestions:Forester_core.URI.t Forester_core.URI.Tbl.t ->
unit ->
t
Source
val get_resource :
t ->
Forester_core.URI.Tbl.key ->
Forester_core__Types.content Forester_core__Types.resource option
Source
val get_article :
Forester_core.URI.t ->
t ->
Forester_core.Types.content Forester_core.Types.article option
Source
val get_expanded_title :
?scope:Forester_core.URI.t ->
?flags:Forester_core.Types.title_flags ->
Forester_core.Types.content Forester_core.Types.frontmatter ->
t ->
Forester_core.Types.content
Source
val get_content_of_transclusion :
Forester_core.Types.transclusion ->
t ->
Forester_core.Types.content option
Source
val get_title_or_content_of_vertex :
?not_found:(Forester_core.URI.t -> Forester_core.Types.content option) ->
Forester_core.Types.content Forester_core.Types.vertex ->
t ->
Forester_core.Types.content option
Source
val plant_resource :
?route_locally:bool ->
Forester_core.Types.content Forester_core.Types.resource ->
t ->
unit
Source
val serialize_graphs :
(module Forester_core.Forest_graphs.S) ->
Forester_core.Datalog_engine.db
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>