package coq-lsp

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

Install

Dune Dependency

Authors

Maintainers

Sources

coq-lsp-0.1.8.8.18.tbz
sha256=0f6d12e00d145c36a17c5a6661bae83ae9e86b4cb09638d1d1a70f42abfdfdde
sha512=33200cfa5d9c44f8af7fd26fd4aca85a11b5639a73080a1f002993be1594cbbef6447aa6116a2c9527d2734d34c718c1adf51ee3aff1c8efbfb86d2cb4059335

doc/src/fleche_waterproof/json.ml.html

Source file json.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
type token =
  | NULL
  | TRUE
  | FALSE
  | STRING of string
  | INT of int
  | FLOAT of float
  | LEFT_BRACK
  | RIGHT_BRACK
  | LEFT_BRACE
  | RIGHT_BRACE
  | COMMA
  | COLON
  | EOF

module CAst = struct
  type 'a t =
    { v : 'a
    ; range : Lang.Range.t
    }

  let make ~range v = { v; range }
end

type lstring = string CAst.t

type value_r =
  | Assoc of (lstring * value) list
  | Bool of bool
  | Float of float
  | Int of int
  | List of value list
  | Null
  | String of string

and value = value_r CAst.t

let rec find key = function
  | [] -> None
  | ({ CAst.v; _ }, b) :: l -> if compare v key = 0 then Some b else find key l
OCaml

Innovation. Community. Security.