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

md5=15c22fee2131c4b3dae4258e8a4484f6

sha512=b5ab3eea5bb6af643d635781e741a7a7b217fcc33e84c2c9e3448962118a63e174569ef6069c50af2ab57508d5cef476a8cfade14957a9654b1fea16c29a08b9

val check : 
  doc_id:int ->
  vs:Vernacstate.t ->
  pattern:string ->
  (Protocol.Printing.pp, Types.error) result

val locate : 
  doc_id:int ->
  vs:Vernacstate.t ->
  pattern:string ->
  (Protocol.Printing.pp, Types.error) result

val print : 
  doc_id:int ->
  vs:Vernacstate.t ->
  pattern:string ->
  (Protocol.Printing.pp, Types.error) result

val about : 
  doc_id:int ->
  vs:Vernacstate.t ->
  pattern:string ->
  (Protocol.Printing.pp, Types.error) result

val search : 
  doc_id:int ->
  vs:Vernacstate.t ->
  id:string ->
  string ->
  Protocol.LspWrapper.notification Sel.Event.t list

val hover : 
  Document.document ->
  Lsp.Types.Position.t ->
  Lsp.Types.MarkupContent.t option

this one is a bit special since it crawls the document

val highlight : 
  Document.document ->
  Lsp.Types.Position.t ->
  Lsp.Types.Range.t list

val jump_to_definition : 
  Document.document ->
  Vernacstate.t ->
  Lsp.Types.Position.t ->
  (Lsp.Types.Range.t * string) option

val get_completions : 
  doc_id:int ->
  vs:Vernacstate.t ->
  CompletionItems.completion_item list