package coq-lsp

You can search for identifiers within the package.

in-package search v0.2.0

Language Server Protocol native server for Coq

Install

dune-project

Dependency

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

Authors

Maintainers

E

e@x80.org

Sources

coq-lsp-0.2.4.9.1.tbz

sha256=667908bdd88f0bb1b75d2fa76a483006d600c9422a2a15297a172e62c0415cad

sha512=42f8e5ad308702f77c9dc40243acd2e656b16bdb94c302306dbb87387cc36941deccd5f52c18d1a045467030ddf86528b22819522a647eee5b9e1ac25f4a9560

doc/coq-lsp.lsp/Fleche_lsp/JCoq/Goals/index.html

Module `JCoq.Goals`Source

Sourcemodule Reified_goal : sig ... end

Sourcemodule Goals_ : sig ... end

Sourcetype ('a, 'pp) t = ('a, 'pp) Coq.Goals.t

Source

val to_yojson : 
  ('a -> Yojson.Safe.t) ->
  ('b -> Yojson.Safe.t) ->
  ('a, 'b) Coq.Goals.t ->
  Yojson.Safe.t

Source

val of_yojson : 
  (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
  (Yojson.Safe.t -> 'b Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  ('a, 'b) Coq.Goals.t Ppx_deriving_yojson_runtime.error_or

Sourcetype ('g, 'pp) reified = ('g Reified_goal.t, 'pp) t

Source

val reified_to_yojson : 
  'g 'pp. ('g -> Yojson.Safe.t) ->
  ('pp -> Yojson.Safe.t) ->
  ('g, 'pp) reified ->
  Yojson.Safe.t

Source

val reified_of_yojson : 
  'g 'pp. (Yojson.Safe.t -> 'g Ppx_deriving_yojson_runtime.error_or) ->
  (Yojson.Safe.t -> 'pp Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  ('g, 'pp) reified Ppx_deriving_yojson_runtime.error_or

Source

val _ : 
  (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
  (Yojson.Safe.t -> 'b Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  ('a, 'b) reified Ppx_deriving_yojson_runtime.error_or

package coq-lsp

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/coq-lsp.lsp/Fleche_lsp/JCoq/Goals/index.html

Module JCoq.GoalsSource

dune-project
Dependency

Module `JCoq.Goals`Source