diff --git a/linol-lwt/Linol_lwt/IO_lwt/index.html b/linol-lwt/Linol_lwt/IO_lwt/index.html index 34861325..35934a2c 100644 --- a/linol-lwt/Linol_lwt/IO_lwt/index.html +++ b/linol-lwt/Linol_lwt/IO_lwt/index.html @@ -1,2 +1,2 @@ -IO_lwt (linol-lwt.Linol_lwt.IO_lwt)

Module Linol_lwt.IO_lwt

type 'a t = 'a Lwt.t
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type in_channel = Lwt_io.input Lwt_io.channel
type out_channel = Lwt_io.output Lwt_io.channel
val stdin : in_channel
val stdout : out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
+IO_lwt (linol-lwt.Linol_lwt.IO_lwt)

Module Linol_lwt.IO_lwt

type 'a t = 'a Lwt.t
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type env = unit
type in_channel = Lwt_io.input Lwt_io.channel
type out_channel = Lwt_io.output Lwt_io.channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
diff --git a/linol-lwt/Linol_lwt/Jsonrpc2/IO/index.html b/linol-lwt/Linol_lwt/Jsonrpc2/IO/index.html index cd813478..d2c0152a 100644 --- a/linol-lwt/Linol_lwt/Jsonrpc2/IO/index.html +++ b/linol-lwt/Linol_lwt/Jsonrpc2/IO/index.html @@ -1,2 +1,2 @@ -IO (linol-lwt.Linol_lwt.Jsonrpc2.IO)

Module Jsonrpc2.IO

type 'a t = 'a IO_lwt.t
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type in_channel = IO_lwt.in_channel
type out_channel = IO_lwt.out_channel
val stdin : in_channel
val stdout : out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
+IO (linol-lwt.Linol_lwt.Jsonrpc2.IO)

Module Jsonrpc2.IO

type 'a t = 'a IO_lwt.t
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type env = IO_lwt.env
type in_channel = IO_lwt.in_channel
type out_channel = IO_lwt.out_channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
diff --git a/linol-lwt/Linol_lwt/Jsonrpc2/index.html b/linol-lwt/Linol_lwt/Jsonrpc2/index.html index cdb2cb12..8966a9b1 100644 --- a/linol-lwt/Linol_lwt/Jsonrpc2/index.html +++ b/linol-lwt/Linol_lwt/Jsonrpc2/index.html @@ -13,6 +13,7 @@ t
val create_stdio : ?on_received:(Yojson.Safe.t -> unit) -> ?on_sent:(Yojson.Safe.t -> unit) -> + env:IO.env -> server -> t
val send_server_notification : t -> Lsp.Server_notification.t -> unit IO.t
val send_server_request : t -> diff --git a/linol-lwt/Linol_lwt/index.html b/linol-lwt/Linol_lwt/index.html index 6161b5cc..40e46978 100644 --- a/linol-lwt/Linol_lwt/index.html +++ b/linol-lwt/Linol_lwt/index.html @@ -2,6 +2,7 @@ Linol_lwt (linol-lwt.Linol_lwt)

Module Linol_lwt

module type IO = Linol.IO
module IO_lwt : IO with type 'a t = 'a Lwt.t + and type env = unit and type in_channel = Lwt_io.input Lwt_io.channel and type out_channel = Lwt_io.output Lwt_io.channel
val spawn : (unit -> unit Lwt.t) -> unit

Spawn function.

  • since 0.5
include module type of struct include Lsp.Types end
module MarkedString = Lsp.Types.MarkedString
module DocumentUri = Lsp.Types.DocumentUri
module ProgressToken = Lsp.Types.ProgressToken
module ProgressParams = Lsp.Types.ProgressParams
module NotebookDocumentSyncOptions = Lsp.Types.NotebookDocumentSyncOptions
module NotebookDocumentSyncRegistrationOptions = Lsp.Types.NotebookDocumentSyncRegistrationOptions
module NotebookDocumentFilter = Lsp.Types.NotebookDocumentFilter
module TextDocumentFilter = Lsp.Types.TextDocumentFilter
module SymbolTag = Lsp.Types.SymbolTag
module SymbolKind = Lsp.Types.SymbolKind
module ResourceOperationKind = Lsp.Types.ResourceOperationKind
module FailureHandlingKind = Lsp.Types.FailureHandlingKind
module MarkupKind = Lsp.Types.MarkupKind
module TokenFormat = Lsp.Types.TokenFormat
module PrepareSupportDefaultBehavior = Lsp.Types.PrepareSupportDefaultBehavior
module DiagnosticTag = Lsp.Types.DiagnosticTag
module FoldingRangeKind = Lsp.Types.FoldingRangeKind
module InsertTextMode = Lsp.Types.InsertTextMode
module CompletionItemKind = Lsp.Types.CompletionItemKind
module CompletionItemTag = Lsp.Types.CompletionItemTag
module CodeActionKind = Lsp.Types.CodeActionKind
module PositionEncodingKind = Lsp.Types.PositionEncodingKind
module DiagnosticSeverity = Lsp.Types.DiagnosticSeverity
module CodeActionTriggerKind = Lsp.Types.CodeActionTriggerKind
module CompletionTriggerKind = Lsp.Types.CompletionTriggerKind
module InsertTextFormat = Lsp.Types.InsertTextFormat
module NotebookCellKind = Lsp.Types.NotebookCellKind
module FileChangeType = Lsp.Types.FileChangeType
module WatchKind = Lsp.Types.WatchKind
module DocumentHighlightKind = Lsp.Types.DocumentHighlightKind
module FileOperationPatternKind = Lsp.Types.FileOperationPatternKind
module TraceValues = Lsp.Types.TraceValues
module TextDocumentSyncKind = Lsp.Types.TextDocumentSyncKind
module InlayHintKind = Lsp.Types.InlayHintKind
module MessageType = Lsp.Types.MessageType
module UniquenessLevel = Lsp.Types.UniquenessLevel
module MonikerKind = Lsp.Types.MonikerKind
module SemanticTokenModifiers = Lsp.Types.SemanticTokenModifiers
module SemanticTokenTypes = Lsp.Types.SemanticTokenTypes
module SignatureHelpTriggerKind = Lsp.Types.SignatureHelpTriggerKind
module TextDocumentSaveReason = Lsp.Types.TextDocumentSaveReason
module Position = Lsp.Types.Position
module Range = Lsp.Types.Range
module ChangeAnnotationIdentifier = Lsp.Types.ChangeAnnotationIdentifier
module AnnotatedTextEdit = Lsp.Types.AnnotatedTextEdit
module DeleteFileOptions = Lsp.Types.DeleteFileOptions
module DeleteFile = Lsp.Types.DeleteFile
module RenameFileOptions = Lsp.Types.RenameFileOptions
module RenameFile = Lsp.Types.RenameFile
module CreateFileOptions = Lsp.Types.CreateFileOptions
module CreateFile = Lsp.Types.CreateFile
module OptionalVersionedTextDocumentIdentifier = @@ -91,4 +92,4 @@ Lsp.Types.WorkspaceDocumentDiagnosticReport
module WorkspaceDiagnosticReport = Lsp.Types.WorkspaceDiagnosticReport
module WorkspaceDiagnosticReportPartialResult = Lsp.Types.WorkspaceDiagnosticReportPartialResult
module WorkspaceFoldersInitializeParams = Lsp.Types.WorkspaceFoldersInitializeParams
module WorkspaceSymbol = Lsp.Types.WorkspaceSymbol
module WorkspaceSymbolParams = Lsp.Types.WorkspaceSymbolParams
module WorkspaceSymbolRegistrationOptions = - Lsp.Types.WorkspaceSymbolRegistrationOptions
module CodeActionResult = Lsp.Types.CodeActionResult
module Locations = Lsp.Types.Locations
include module type of struct include IO_lwt end
type 'a t = 'a Lwt.t
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type in_channel = Lwt_io.input Lwt_io.channel
type out_channel = Lwt_io.output Lwt_io.channel
val stdin : in_channel
val stdout : out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
type doc_state = Linol.Server.doc_state
module Jsonrpc2 : sig ... end
val run : 'a Lwt.t -> 'a
+ Lsp.Types.WorkspaceSymbolRegistrationOptions
module CodeActionResult = Lsp.Types.CodeActionResult
module Locations = Lsp.Types.Locations
include module type of struct include IO_lwt end
type 'a t = 'a Lwt.t
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type env = unit
type in_channel = Lwt_io.input Lwt_io.channel
type out_channel = Lwt_io.output Lwt_io.channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
type doc_state = Linol.Server.doc_state
module Jsonrpc2 : sig ... end
val run : 'a Lwt.t -> 'a
diff --git a/linol-lwt/_doc-dir/README.md b/linol-lwt/_doc-dir/README.md index 18005461..8851df9a 100644 --- a/linol-lwt/_doc-dir/README.md +++ b/linol-lwt/_doc-dir/README.md @@ -1,7 +1,7 @@ # Linol [![build](https://github.com/c-cube/linol/actions/workflows/main.yml/badge.svg)](https://github.com/c-cube/linol/actions/workflows/main.yml) -This is a wrapper around the `lsp` library, which provides base types for the protocol. Linol ("linol is not ocaml-lsp") provides an object abstraction so that users can override only the methods they provide, and a Lwt implementation of the jsonrpc wire protocol. +This is a wrapper around the `lsp` library, which provides base types for the protocol. Linol ("linol is not ocaml-lsp") provides an object abstraction so that users can override only the methods they provide, and a Lwt/Eio implementation of the jsonrpc wire protocol. ## License diff --git a/linol/Linol/Blocking_IO/index.html b/linol/Linol/Blocking_IO/index.html index 2c02ae6c..e13dee22 100644 --- a/linol/Linol/Blocking_IO/index.html +++ b/linol/Linol/Blocking_IO/index.html @@ -1,2 +1,2 @@ -Blocking_IO (linol.Linol.Blocking_IO)

Module Linol.Blocking_IO

Blocking IO with a new thread for each spawn.

type 'a t = 'a
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type in_channel = in_channel
type out_channel = out_channel
val stdin : in_channel
val stdout : out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
val n_bytes_written : int Stdlib.Atomic.t
  • since 0.5
val n_bytes_read : int Stdlib.Atomic.t
  • since 0.5
val default_spawn : (unit -> unit) -> unit

Start a new thread.

  • since 0.5
+Blocking_IO (linol.Linol.Blocking_IO)

Module Linol.Blocking_IO

Blocking IO with a new thread for each spawn.

type 'a t = 'a
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type env = unit
type in_channel = in_channel
type out_channel = out_channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
val n_bytes_written : int Stdlib.Atomic.t
  • since 0.5
val n_bytes_read : int Stdlib.Atomic.t
  • since 0.5
val default_spawn : (unit -> unit) -> unit

Start a new thread.

  • since 0.5
diff --git a/linol/Linol/Jsonrpc2/Make/argument-1-IO/index.html b/linol/Linol/Jsonrpc2/Make/argument-1-IO/index.html index 0943693d..d3860f5b 100644 --- a/linol/Linol/Jsonrpc2/Make/argument-1-IO/index.html +++ b/linol/Linol/Jsonrpc2/Make/argument-1-IO/index.html @@ -1,2 +1,2 @@ -IO (linol.Linol.Jsonrpc2.Make.IO)

Parameter Make.IO

type 'a t
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type in_channel
type out_channel
val stdin : in_channel
val stdout : out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
+IO (linol.Linol.Jsonrpc2.Make.IO)

Parameter Make.IO

type 'a t
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type env
type in_channel
type out_channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
diff --git a/linol/Linol/Jsonrpc2/Make/index.html b/linol/Linol/Jsonrpc2/Make/index.html index 2e2a1f47..5db5cf38 100644 --- a/linol/Linol/Jsonrpc2/Make/index.html +++ b/linol/Linol/Jsonrpc2/Make/index.html @@ -13,6 +13,7 @@ t

Create a connection from the pair of channels

val create_stdio : ?on_received:(json -> unit) -> ?on_sent:(json -> unit) -> + env:IO.env -> 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.

val send_server_request : t -> diff --git a/linol/Linol/Jsonrpc2/module-type-IO/index.html b/linol/Linol/Jsonrpc2/module-type-IO/index.html index a3599510..05ccc3f0 100644 --- a/linol/Linol/Jsonrpc2/module-type-IO/index.html +++ b/linol/Linol/Jsonrpc2/module-type-IO/index.html @@ -1,2 +1,2 @@ -IO (linol.Linol.Jsonrpc2.IO)

Module type Jsonrpc2.IO

type 'a t
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type in_channel
type out_channel
val stdin : in_channel
val stdout : out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
+IO (linol.Linol.Jsonrpc2.IO)

Module type Jsonrpc2.IO

type 'a t
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type env
type in_channel
type out_channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
diff --git a/linol/Linol/Jsonrpc2/module-type-S/IO/index.html b/linol/Linol/Jsonrpc2/module-type-S/IO/index.html index c610b6c9..bc5c0788 100644 --- a/linol/Linol/Jsonrpc2/module-type-S/IO/index.html +++ b/linol/Linol/Jsonrpc2/module-type-S/IO/index.html @@ -1,2 +1,2 @@ -IO (linol.Linol.Jsonrpc2.S.IO)

Module S.IO

type 'a t
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type in_channel
type out_channel
val stdin : in_channel
val stdout : out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
+IO (linol.Linol.Jsonrpc2.S.IO)

Module S.IO

type 'a t
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type env
type in_channel
type out_channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
diff --git a/linol/Linol/Jsonrpc2/module-type-S/index.html b/linol/Linol/Jsonrpc2/module-type-S/index.html index 903a9040..175298ff 100644 --- a/linol/Linol/Jsonrpc2/module-type-S/index.html +++ b/linol/Linol/Jsonrpc2/module-type-S/index.html @@ -13,6 +13,7 @@ t

Create a connection from the pair of channels

val create_stdio : ?on_received:(json -> unit) -> ?on_sent:(json -> unit) -> + env:IO.env -> 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.

val send_server_request : t -> diff --git a/linol/Linol/Server/Make/argument-1-IO/index.html b/linol/Linol/Server/Make/argument-1-IO/index.html index 1f876090..f2ccbcec 100644 --- a/linol/Linol/Server/Make/argument-1-IO/index.html +++ b/linol/Linol/Server/Make/argument-1-IO/index.html @@ -1,2 +1,2 @@ -IO (linol.Linol.Server.Make.IO)

Parameter Make.IO

type 'a t
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type in_channel
type out_channel
val stdin : in_channel
val stdout : out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
+IO (linol.Linol.Server.Make.IO)

Parameter Make.IO

type 'a t
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type env
type in_channel
type out_channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
diff --git a/linol/Linol/module-type-IO/index.html b/linol/Linol/module-type-IO/index.html index ceed9267..a94c440a 100644 --- a/linol/Linol/module-type-IO/index.html +++ b/linol/Linol/module-type-IO/index.html @@ -1,2 +1,2 @@ -IO (linol.Linol.IO)

Module type Linol.IO

type 'a t
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type in_channel
type out_channel
val stdin : in_channel
val stdout : out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
+IO (linol.Linol.IO)

Module type Linol.IO

type 'a t
val return : 'a -> 'a t
val failwith : string -> 'a t
val let+ : 'a t -> ('a -> 'b) -> 'b t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val and+ : 'a t -> 'b t -> ('a * 'b) t
type env
type in_channel
type out_channel
val stdin : env -> in_channel
val stdout : env -> out_channel
val read : in_channel -> bytes -> int -> int -> unit t
val read_line : in_channel -> string t
val write : out_channel -> bytes -> int -> int -> unit t
val write_string : out_channel -> string -> unit t
val fail : exn -> unit t
val catch : (unit -> 'a t) -> (exn -> 'a t) -> 'a t
diff --git a/linol/_doc-dir/README.md b/linol/_doc-dir/README.md index 18005461..8851df9a 100644 --- a/linol/_doc-dir/README.md +++ b/linol/_doc-dir/README.md @@ -1,7 +1,7 @@ # Linol [![build](https://github.com/c-cube/linol/actions/workflows/main.yml/badge.svg)](https://github.com/c-cube/linol/actions/workflows/main.yml) -This is a wrapper around the `lsp` library, which provides base types for the protocol. Linol ("linol is not ocaml-lsp") provides an object abstraction so that users can override only the methods they provide, and a Lwt implementation of the jsonrpc wire protocol. +This is a wrapper around the `lsp` library, which provides base types for the protocol. Linol ("linol is not ocaml-lsp") provides an object abstraction so that users can override only the methods they provide, and a Lwt/Eio implementation of the jsonrpc wire protocol. ## License