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

Sourceval update : Action.t -> State.t -> Action.t * State.t

Sourceval run_until_done : Action.t -> State.t -> State.t

Sourceval implant_foreign : State.t -> State.t

Sourceval plant_assets : State.t -> State.t

Sourceval any_fatal : Forester_core.Reporter.Message.t Asai.Diagnostic.t list -> bool

val batch_run : 
  env:Eio_unix.Stdenv.base ->
  config:Forester_core.Config.t ->
  dev:bool ->
  State.t

val language_server : 
  env:Eio_unix.Stdenv.base ->
  config:Forester_core.Config.t ->
  State.t

Sourceval run_with_history : Action.t -> State.t -> State.t * Action.t list

val collect_emitted_errors : 
  Action.t ->
  State.t ->
  State.t * Forester_core.Reporter.Message.t Asai.Diagnostic.t list

Sourceval force : Action.t list -> State.t -> State.t