package linol

  1. Overview
  2. Docs
LSP server library

Install

dune-project
 Dependency

Authors

Maintainers

Sources

linol-0.12.tbz
sha256=c748f3c03525c1f438ccba7b71d31e91ae7bf4f857fade61005cc4533e3b7fc5
sha512=bc29a1ccf8bfbe7ba39f167397f2d45729e948bfc2db628ba24a1e5239ec64cda7c8356c3824e3c66a3630ca2addb58b444829707f155c2b58aef26c0ddfcabb

doc/src/linol.lsp/progress.ml.html

Source file progress.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
open Import
open Types

type t =
  | Begin of WorkDoneProgressBegin.t
  | Report of WorkDoneProgressReport.t
  | End of WorkDoneProgressEnd.t

let yojson_of_t = function
  | Begin b -> WorkDoneProgressBegin.yojson_of_t b
  | Report r -> WorkDoneProgressReport.yojson_of_t r
  | End e -> WorkDoneProgressEnd.yojson_of_t e
;;

let t_of_yojson json =
  Json.Of.untagged_union
    "Progress"
    [ (fun j -> Begin (WorkDoneProgressBegin.t_of_yojson j))
    ; (fun j -> Report (WorkDoneProgressReport.t_of_yojson j))
    ; (fun j -> End (WorkDoneProgressEnd.t_of_yojson j))
    ]
    json
;;

let method_ = "$/progress"