package forester
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
A tool for tending mathematical forests
Install
dune-project
Dependency
Authors
Maintainers
Sources
5.0.tar.gz
md5=24f4aed96a8b8af33aba13fba66f1b37
sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573
doc/forester.compiler/Forester_compiler/State/index.html
Module Forester_compiler.StateSource
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 ->
tSource
val get_resource :
t ->
Forester_core.URI.Tbl.key ->
Forester_core__Types.content Forester_core__Types.resource optionSource
val get_article :
Forester_core.URI.t ->
t ->
Forester_core.Types.content Forester_core.Types.article optionSource
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.contentSource
val get_content_of_transclusion :
Forester_core.Types.transclusion ->
t ->
Forester_core.Types.content optionSource
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 optionSource
val plant_resource :
?route_locally:bool ->
Forester_core.Types.content Forester_core.Types.resource ->
t ->
unitSource
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)"
>