package linol

  1. Overview
  2. Docs
LSP server library

Install 

dune-project
 Dependency

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

Authors

  1. S
    Simon Cruanes

Maintainers

  1. S
    Simon Cruanes

Sources

linol-0.11.tbz
sha256=6718c7ca79ebff542172f20f418f71f3f1679eb6120f543b5c5c28d85906e215
sha512=1e7e963b5af3ea861cc1367ee6e80fd9add8e6809229c2904f7a16e694cb48a2058063bd3856e6440e7b197f753474bf83c0c9ec2d78325cfef2b734eb9d4ca2

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"