package vscoq-language-server

  1. Overview
  2. Docs
VSCoq language server

Install

Dune Dependency

Authors

Maintainers

Sources

vscoq-language-server-2.1.3.tar.gz
md5=300d171d3225fac2a68ce348154ff640
sha512=65bc228d84f814cfea4b5ddcd20f365a8a8ea178bbd4474129c998e8a351a7dba8d2adbb263f7f18ed41c45c765e73c332b518834360bf3638fe2721518e1fd8

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

Module DmSource

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 Coq 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
OCaml

Innovation. Community. Security.