package linol

You can search for identifiers within the package.

in-package search v0.2.0

package linol

linol
- Linol
  - Blocking_IO
  - IO
  - Jsonrpc2
    
    IO
    
    Make
    
    IO
    
    Req_id
    
    base_server
    
    notify_back
    
    server
    
    S
    
    IO
    
    Req_id
    
    base_server
    
    notify_back
    
    server
  - Log
  - Server
    
    Make
    
    IO
    
    base_server
    
    notify_back
    
    server
    
    Req_id

Legend:
Library
Module
Module type
Parameter
Class
Class type

module IO : IO

type t

A jsonrpc2 connection.

include sig ... end

module Position = Lsp.Types.Position

module Range = Lsp.Types.Range

module Diagnostic = Lsp.Types.Diagnostic

module DiagnosticSeverity = Lsp.Types.DiagnosticSeverity

module Req_id : sig ... end

type server_request_handler_pair =

| Request_and_handler : 'from_server Lsp.Server_request.t * (('from_server, Jsonrpc.Response.Error.t) result -> unit IO.t) -> server_request_handler_pair

type send_request = server_request_handler_pair -> Req_id.t IO.t

class virtual base_server : object ... end

val async : base_server -> (unit -> unit IO.t) -> unit IO.t

class notify_back : notify_back:(Lsp.Server_notification.t ->
  unit IO.t) -> server_request:(server_request_handler_pair ->
  Req_id.t IO.t) -> workDoneToken:[ `Int of int | `String of string ] option -> partialResultToken:'a -> ?version:
  int -> ?uri:Lsp.Types.DocumentUri.t -> unit -> object ... end

type nonrec doc_state = {

uri : Lsp.Types.DocumentUri.t;
languageId : string;
version : int;
content : string;

}

class virtual server : object ... end

val create : ic:IO.in_channel -> oc:IO.out_channel -> server -> t

Create a connection from the pair of channels

val create_stdio : server -> t

Create a connection using stdin/stdout

val send_server_notification : t -> Lsp.Server_notification.t -> unit IO.t

Send a notification from the server.

since NEXT_RELEASE

val send_server_request : 
  t ->
  'from_server Lsp.Server_request.t ->
  (('from_server, Jsonrpc.Response.Error.t) result -> unit IO.t) ->
  Req_id.t IO.t

Send a request from the server, and pass a callback that will be called with the result in the future.

since NEXT_RELEASE

val run : ?shutdown:(unit -> bool) -> t -> unit IO.t

Listen for incoming messages and responses.

parameter shutdown
if true, tells the server to shut down