From 74d1e4a3d2da6453c5b392307b017d066b75984f Mon Sep 17 00:00:00 2001 From: c-cube Date: Wed, 29 May 2024 17:40:21 +0000 Subject: [PATCH] deploy: 8df74964b3ac4a9c8d6c0caa19d70c73c816ac76 --- linol-lwt/Linol_lwt/Jsonrpc2/class-server/index.html | 2 ++ linol/Linol/Jsonrpc2/Make/class-server/index.html | 2 ++ linol/Linol/Jsonrpc2/module-type-S/class-server/index.html | 2 ++ linol/Linol/Server/Make/class-server/index.html | 4 +++- 4 files changed, 9 insertions(+), 1 deletion(-) diff --git a/linol-lwt/Linol_lwt/Jsonrpc2/class-server/index.html b/linol-lwt/Linol_lwt/Jsonrpc2/class-server/index.html index c78acccc..0d7227bf 100644 --- a/linol-lwt/Linol_lwt/Jsonrpc2/class-server/index.html +++ b/linol-lwt/Linol_lwt/Jsonrpc2/class-server/index.html @@ -24,6 +24,8 @@ unit IO.t
method on_notif_doc_did_open : notify_back:notify_back -> Lsp.Types.TextDocumentItem.t -> content:string -> + unit IO.t
method on_notif_doc_did_save : notify_back:notify_back -> + Lsp.Types.DidSaveTextDocumentParams.t -> unit IO.t
method on_notification : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> server_request:send_request -> Lsp.Client_notification.t -> diff --git a/linol/Linol/Jsonrpc2/Make/class-server/index.html b/linol/Linol/Jsonrpc2/Make/class-server/index.html index 1b1eedd1..451acc93 100644 --- a/linol/Linol/Jsonrpc2/Make/class-server/index.html +++ b/linol/Linol/Jsonrpc2/Make/class-server/index.html @@ -24,6 +24,8 @@ unit IO.t
method on_notif_doc_did_open : notify_back:notify_back -> Lsp.Types.TextDocumentItem.t -> content:string -> + unit IO.t
method on_notif_doc_did_save : notify_back:notify_back -> + Lsp.Types.DidSaveTextDocumentParams.t -> unit IO.t
method on_notification : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> server_request:send_request -> Lsp.Client_notification.t -> diff --git a/linol/Linol/Jsonrpc2/module-type-S/class-server/index.html b/linol/Linol/Jsonrpc2/module-type-S/class-server/index.html index c69c973c..50b7e27f 100644 --- a/linol/Linol/Jsonrpc2/module-type-S/class-server/index.html +++ b/linol/Linol/Jsonrpc2/module-type-S/class-server/index.html @@ -24,6 +24,8 @@ unit IO.t
method on_notif_doc_did_open : notify_back:notify_back -> Lsp.Types.TextDocumentItem.t -> content:string -> + unit IO.t
method on_notif_doc_did_save : notify_back:notify_back -> + Lsp.Types.DidSaveTextDocumentParams.t -> unit IO.t
method on_notification : notify_back:(Lsp.Server_notification.t -> unit IO.t) -> server_request:send_request -> Lsp.Client_notification.t -> diff --git a/linol/Linol/Server/Make/class-server/index.html b/linol/Linol/Server/Make/class-server/index.html index 26314154..566a0878 100644 --- a/linol/Linol/Server/Make/class-server/index.html +++ b/linol/Linol/Server/Make/class-server/index.html @@ -93,7 +93,9 @@ Lsp.Types.TextDocumentContentChangeEvent.t list -> old_content:string -> new_content:string -> - unit IO.t

Called when the document changes.

method on_unknown_notification : notify_back:notify_back -> + unit IO.t

Called when the document changes.

method on_notif_doc_did_save : notify_back:notify_back -> + Lsp.Types.DidSaveTextDocumentParams.t -> + unit IO.t
method on_unknown_notification : notify_back:notify_back -> Jsonrpc.Notification.t -> unit IO.t
method on_notification_unhandled : notify_back:notify_back -> Lsp.Client_notification.t ->