package coq-lsp

  1. Overview
  2. Docs
Language Server Protocol native server for Coq

Install

Dune Dependency

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

Authors

  1. E
    Emilio Jesús Gallego Arias <e@x80.org>
  2. A
    Ali Caglayan <alizter@gmail.com>
  3. S
    Shachar Itzhaky <shachari@cs.technion.ac.il>
  4. R
    Ramkumar Ramachandra <r@artagnon.com>

Maintainers

  1. E
    e@x80.org

Sources

coq-lsp-0.2.3.9.0.tbz
sha256=8776582dddfe768623870cf540ff6ba1e96a44a36e85db18ab93d238d640f92a
sha512=2837889bf99bfe715bd0e752782211a76a14aac71ed37a4fb784f4f0abe338352c9c6d8caa37daf79c036997add1cb306c523f793625b38709f3b5e245380223

doc/coq-lsp.serlib/Serlib/Ser_genredexpr/index.html

Module Serlib.Ser_genredexprSource

Sourcetype 'a red_atom = 'a Genredexpr.red_atom
Sourceval sexp_of_red_atom : ('a -> Sexplib0.Sexp.t) -> 'a red_atom -> Sexplib0.Sexp.t
Sourceval red_atom_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a red_atom
Sourceval red_atom_to_yojson : ('a -> Yojson.Safe.t) -> 'a red_atom -> Yojson.Safe.t
Sourceval hash_fold_red_atom : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a red_atom -> Ppx_hash_lib.Std.Hash.state
Sourceval compare_red_atom : ('a -> 'a -> int) -> 'a red_atom -> 'a red_atom -> int
Sourcetype 'a glob_red_flag = 'a Genredexpr.glob_red_flag
Sourceval sexp_of_glob_red_flag : ('a -> Sexplib0.Sexp.t) -> 'a glob_red_flag -> Sexplib0.Sexp.t
Sourceval glob_red_flag_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a glob_red_flag
Sourceval glob_red_flag_to_yojson : ('a -> Yojson.Safe.t) -> 'a glob_red_flag -> Yojson.Safe.t
Sourceval hash_fold_glob_red_flag : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a glob_red_flag -> Ppx_hash_lib.Std.Hash.state
Sourceval compare_glob_red_flag : ('a -> 'a -> int) -> 'a glob_red_flag -> 'a glob_red_flag -> int
Sourcetype ('a, 'b, 'c, 'd) red_expr_gen = ('a, 'b, 'c, 'd) Genredexpr.red_expr_gen
Sourceval sexp_of_red_expr_gen : ('a -> Sexplib0.Sexp.t) -> ('b -> Sexplib0.Sexp.t) -> ('c -> Sexplib0.Sexp.t) -> ('d -> Sexplib0.Sexp.t) -> ('a, 'b, 'c, 'd) red_expr_gen -> Sexplib0.Sexp.t
Sourceval red_expr_gen_of_sexp : (Sexplib0.Sexp.t -> 'a) -> (Sexplib0.Sexp.t -> 'b) -> (Sexplib0.Sexp.t -> 'c) -> (Sexplib0.Sexp.t -> 'd) -> Sexplib0.Sexp.t -> ('a, 'b, 'c, 'd) red_expr_gen
Sourceval red_expr_gen_to_yojson : ('a -> Yojson.Safe.t) -> ('b -> Yojson.Safe.t) -> ('c -> Yojson.Safe.t) -> ('d -> Yojson.Safe.t) -> ('a, 'b, 'c, 'd) red_expr_gen -> Yojson.Safe.t
Sourceval hash_fold_red_expr_gen : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> (Ppx_hash_lib.Std.Hash.state -> 'b -> Ppx_hash_lib.Std.Hash.state) -> (Ppx_hash_lib.Std.Hash.state -> 'c -> Ppx_hash_lib.Std.Hash.state) -> (Ppx_hash_lib.Std.Hash.state -> 'd -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> ('a, 'b, 'c, 'd) red_expr_gen -> Ppx_hash_lib.Std.Hash.state
Sourceval compare_red_expr_gen : ('a -> 'a -> int) -> ('b -> 'b -> int) -> ('c -> 'c -> int) -> ('d -> 'd -> int) -> ('a, 'b, 'c, 'd) red_expr_gen -> ('a, 'b, 'c, 'd) red_expr_gen -> int
Sourcetype ('a, 'b, 'c, 'd) may_eval = ('a, 'b, 'c, 'd) Genredexpr.may_eval
Sourceval sexp_of_may_eval : ('a -> Sexplib0.Sexp.t) -> ('b -> Sexplib0.Sexp.t) -> ('c -> Sexplib0.Sexp.t) -> ('d -> Sexplib0.Sexp.t) -> ('a, 'b, 'c, 'd) may_eval -> Sexplib0.Sexp.t
Sourceval may_eval_of_sexp : (Sexplib0.Sexp.t -> 'a) -> (Sexplib0.Sexp.t -> 'b) -> (Sexplib0.Sexp.t -> 'c) -> (Sexplib0.Sexp.t -> 'd) -> Sexplib0.Sexp.t -> ('a, 'b, 'c, 'd) may_eval
Sourceval may_eval_to_yojson : ('a -> Yojson.Safe.t) -> ('b -> Yojson.Safe.t) -> ('c -> Yojson.Safe.t) -> ('d -> Yojson.Safe.t) -> ('a, 'b, 'c, 'd) may_eval -> Yojson.Safe.t
Sourceval hash_fold_may_eval : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> (Ppx_hash_lib.Std.Hash.state -> 'b -> Ppx_hash_lib.Std.Hash.state) -> (Ppx_hash_lib.Std.Hash.state -> 'c -> Ppx_hash_lib.Std.Hash.state) -> (Ppx_hash_lib.Std.Hash.state -> 'd -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> ('a, 'b, 'c, 'd) may_eval -> Ppx_hash_lib.Std.Hash.state
Sourceval compare_may_eval : ('a -> 'a -> int) -> ('b -> 'b -> int) -> ('c -> 'c -> int) -> ('d -> 'd -> int) -> ('a, 'b, 'c, 'd) may_eval -> ('a, 'b, 'c, 'd) may_eval -> int
Sourcetype raw_red_expr = Genredexpr.raw_red_expr
Sourceval sexp_of_raw_red_expr : raw_red_expr -> Sexplib0.Sexp.t
Sourceval raw_red_expr_of_sexp : Sexplib0.Sexp.t -> raw_red_expr
Sourceval raw_red_expr_to_yojson : raw_red_expr -> Yojson.Safe.t
Sourceval hash_fold_raw_red_expr : Ppx_hash_lib.Std.Hash.state -> raw_red_expr -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_raw_red_expr : raw_red_expr -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_raw_red_expr : raw_red_expr -> raw_red_expr -> int
Sourcetype 'a and_short_name = 'a Genredexpr.and_short_name
Sourceval sexp_of_and_short_name : ('a -> Sexplib0.Sexp.t) -> 'a and_short_name -> Sexplib0.Sexp.t
Sourceval and_short_name_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a and_short_name
Sourceval and_short_name_to_yojson : ('a -> Yojson.Safe.t) -> 'a and_short_name -> Yojson.Safe.t
Sourceval hash_fold_and_short_name : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a and_short_name -> Ppx_hash_lib.Std.Hash.state
Sourceval compare_and_short_name : ('a -> 'a -> int) -> 'a and_short_name -> 'a and_short_name -> int
Sourcetype glob_red_expr = Genredexpr.glob_red_expr
Sourceval sexp_of_glob_red_expr : glob_red_expr -> Sexplib0.Sexp.t
Sourceval glob_red_expr_of_sexp : Sexplib0.Sexp.t -> glob_red_expr
Sourceval glob_red_expr_to_yojson : glob_red_expr -> Yojson.Safe.t
Sourceval hash_fold_glob_red_expr : Ppx_hash_lib.Std.Hash.state -> glob_red_expr -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_glob_red_expr : glob_red_expr -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_glob_red_expr : glob_red_expr -> glob_red_expr -> int
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct