package vsrocq-language-server

You can search for identifiers within the package.

in-package search v0.2.0

VSRocq language server

Install

dune-project

Dependency

github.com Readme Edit opam file Versions (7)

Authors

Maintainers

E

Enrico Tassi <enrico.tassi@inria.fr>

Sources

vsrocq-language-server-2.4.1.tar.gz

md5=86c43adac61349acb97dc2fe75a69b25

sha512=91dcbc400d6f27faa28091fbc2ff02e04990814ab6a4f1133ee14c38b57008ee31775d98085faffed2e6dc29f9b38369f533186a13b7e351a3748a738df601cc

doc/vsrocq-language-server.dm/Dm/index.html

Module `Dm`Source

Sourcemodule CheckingManager : sig ... end

Sourcemodule CompletionItems : sig ... end

Sourcemodule CompletionSuggester : sig ... end

Sourcemodule DelegationManager : sig ... end

Sourcemodule Document : sig ... end

This file defines operations on the content of a document (text, parsing of sentences, scheduling).

Sourcemodule DocumentManager : sig ... end

The document manager holds the view that Rocq has of the currently open states. It makes it easy for IDEs to handle text edits, navigate and get feedback. Note that it does not require IDEs to parse vernacular sentences.

Sourcemodule ExecutionManager : sig ... end

The event manager is in charge of the actual event of tasks (as defined by the scheduler), caching event states and invalidating them. It can delegate to worker processes via DelegationManager

Sourcemodule Log : sig ... end

Sourcemodule ParTactic : sig ... end

Sourcemodule PriorityManager : sig ... end

Sourcemodule RawDocument : sig ... end

Sourcemodule Scheduler : sig ... end

The scheduler is the component in charge of planning the execution of sentences. It also defines the task delegation strategy, and computes dependencies between tasks. Scheduling can be done incrementally.

Sourcemodule SearchQuery : sig ... end

Sourcemodule Types : sig ... end

Sourcemodule Utilities : sig ... end