package coq-lsp

Overview
Docs

You can search for identifiers within the package.

in-package search v0.2.0

Language Server Protocol native server for Coq

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (32)

Authors

E

Emilio Jesús Gallego Arias <e@x80.org>
A

Ali Caglayan <alizter@gmail.com>
S

Shachar Itzhaky <shachari@cs.technion.ac.il>
R

Ramkumar Ramachandra <r@artagnon.com>

Maintainers

E

e@x80.org

Sources

coq-lsp-0.2.3.8.20.tbz

sha256=49a87d5fe263b3f8f7d2489f280db85e65890236c000e49ec9f41ab8edd266d5

sha512=1b7df9e7b29aa0a02864d7f06ad40deab1768e4ca2dc6ddb1719220276357eda14c272c5f4b47e4dc173d6a21272d6321c6a98a8647f251ed15bae9032da60d9

doc/coq-lsp.fleche/Fleche/Theory/Check/index.html

Module `Theory.Check`Source

Source

val maybe_check : 
  io:Io.CallBack.t ->
  token:Coq.Limits.Token.t ->
  (Int.Set.t * Doc.t) option

Check pending documents, return None if there is none pending, or Some rqs the list of requests ready to execute after the check. Sends progress and diagnostics notifications using output function ofn.

Sourceval set_scheduler_hint : uri:Lang.LUri.File.t -> point:(int * int) -> unit