package vscoq-language-server

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

vscoq-language-server.dm
- Dm
  - CompletionItems
  - CompletionSuggester
  - DelegationManager
    
    Job
    
    MakeWorker
    
    Job
    
    Worker
  - Document
    
    Internal
  - DocumentManager
    
    Internal
  - ExecutionManager
    
    ProofWorkerProcess
  - Log
  - ParTactic
    
    TacticWorkerProcess
  - PriorityManager
  - RawDocument
  - Scheduler
  - SearchQuery
  - Types
    
    Quickfix
vscoq-language-server.language
- Language
  - Hover
vscoq-language-server.lsp
- Protocol

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Job : Job

Signature

type job_t = Job.t

type job_update_request = Job.update_request

val resize_pool : int -> unit

type delegation

Event for the main loop

val pr_event : delegation -> Pp.t

type events = delegation Sel.Event.t list

val handle_event : delegation -> job_update_request option * events

handling an event may require an update to a sentence in the exec state, e.g. when a feedback is received

val worker_available : 
  jobs:(job_handle * Sel.Event.cancellation_handle * job_t) Stdlib.Queue.t ->
  fork_action:(job_t -> send_back:(job_update_request -> unit) -> unit) ->
  feedback_cleanup:(unit -> unit) ->
  delegation Sel.Event.t

type options

val parse_options : string list -> options * string list

val setup_plumbing : options -> (job_update_request -> unit) * job_t

val log : string -> unit