package vscoq-language-server

You can search for identifiers within the package.

in-package search v0.2.0

vscoq-language-server.dm
- Dm
vscoq-language-server.language
- Language
  - Hover
vscoq-language-server.lsp
- Protocol

Legend:
Library
Module
Module type
Parameter
Class
Class type

module CompletionItems : sig ... end

module CompletionSuggester : sig ... end

module DelegationManager : sig ... end

module Document : sig ... end

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

module 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.

module 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

module Log : sig ... end

module ParTactic : sig ... end

module PriorityManager : sig ... end

module RawDocument : sig ... end

module 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.

module SearchQuery : sig ... end

module Types : sig ... end