package forester

You can search for identifiers within the package.

in-package search v0.2.0

A tool for tending mathematical forests

Install

md5=24f4aed96a8b8af33aba13fba66f1b37

sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573

Sourcetype exit =

val pp_exit : 
  Ppx_deriving_runtime.Format.formatter ->
  exit ->
  Ppx_deriving_runtime.unit

Sourceval show_exit : exit -> Ppx_deriving_runtime.string

Sourcetype t =

| Quit of exit
| Build_import_graph
| Plant_assets
| Plant_foreign
| Done
| Load_all_configured_dirs
| Parse_all
| Expand_all
| Eval_all
| Load_tree of Eio.Fs.dir_ty Eio.Path.t
| Parse of Lsp.Uri.t
| Expand of Forester_core.URI.t
| Eval of Forester_core.URI.t
| Query of (string, Forester_core.Vertex.t) Forester_core.Datalog_expr.query
| Query_results of Forester_core.Vertex_set.t
| Report_errors of Forester_core.Reporter.Message.t Asai.Diagnostic.t list * t
| Run_jobs of Job.job Forester_core.Range.located list

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

Sourceval show : t -> Ppx_deriving_runtime.string

val report : 
  next_action:t ->
  errors:Forester_core.Reporter.Message.t Asai.Diagnostic.t list ->
  t