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/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