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.3.tar.gz

md5=fbc594cef4ba2469882803c12fb5cd51

sha512=2f93d42591e9030f2786f1d9a9783ed92c2cd299ccfd99d0a65f3b5984762f61c1bec3b3f854a557f72ca6c309e9c1eaec27065f0ee1a9cb9dfa4a7ee05dac15

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

Module `Dm.Types`Source

Sourcetype sentence_id = Stateid.t

Sourcetype sentence_id_set = Stateid.Set.t

Sourcemodule RangeList : sig ... end

Sourcetype exec_overview = {

prepared : RangeList.t;
processing : RangeList.t;
processed : RangeList.t;

}

Sourceval empty_overview : exec_overview

Sourcemodule Quickfix : sig ... end

Sourcetype text_edit = Protocol.LspWrapper.Range.t * string

Sourcetype link = {

write_to : Unix.file_descr;
read_from : Unix.file_descr;

}

Sourcetype error = {

code : Jsonrpc.Response.Error.Code.t option;
message : string;

}

Sourcetype 'a log =

| Log : 'a -> 'a log

Sourcetype feedback_message = Feedback.level * Loc.t option * Quickfix.t list * Pp.t

Sourcetype document_id = int

Sourcetype feedback_data = Feedback.route_id * sentence_id * feedback_message

Sourcetype rocq_feedback_listener = int

Sourcetype feedback_pipe = {

doc_id : document_id;
rocq_feeder : rocq_feedback_listener;
sel_feedback_queue : feedback_data Queue.t;
sel_cancellation_handle : Sel.Event.cancellation_handle;

}

Sourcetype sentence_checking_result =

| Success of Vernacstate.t option
| Failure of Pp.t Loc.located * Quickfix.t list option * Vernacstate.t option

Sourcetype document_updates = (sentence_id * sentence_checking_result) list

Sourcetype ('state, 'event) handled_event = {

state : 'state option;
events : 'event Sel.Event.t list;
update_view : bool;
notification : Protocol.ExtProtocol.Notification.Server.t option;

}

Source

val make_handled_event : 
  ?state:'a ->
  ?events:'b Sel.Event.t list ->
  ?update_view:bool ->
  ?notification:Protocol.ExtProtocol.Notification.Server.t ->
  unit ->
  ('a, 'b) handled_event