Linol_lwt (linol-lwt.Linol

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 Linol_lsp.Lsp.Types end

module MarkedString : sig ... end

module DocumentUri : sig ... end

module ProgressToken : sig ... end

module ProgressParams : sig ... end

module NotebookDocumentSyncOptions : sig ... end

module NotebookDocumentSyncRegistrationOptions : sig ... end

module NotebookDocumentFilter : sig ... end

module TextDocumentFilter : sig ... end

module SymbolTag : sig ... end

module SymbolKind : sig ... end

module ResourceOperationKind : sig ... end

module FailureHandlingKind : sig ... end

module MarkupKind : sig ... end

module TokenFormat : sig ... end

module PrepareSupportDefaultBehavior : sig ... end

module DiagnosticTag : sig ... end

module FoldingRangeKind : sig ... end

module InsertTextMode : sig ... end

module CompletionItemKind : sig ... end

module CompletionItemTag : sig ... end

module CodeActionKind : sig ... end

module PositionEncodingKind : sig ... end

module DiagnosticSeverity : sig ... end

module CodeActionTriggerKind : sig ... end

module CompletionTriggerKind : sig ... end

module InsertTextFormat : sig ... end

module NotebookCellKind : sig ... end

module FileChangeType : sig ... end

module WatchKind : sig ... end

module DocumentDiagnosticReportKind : sig ... end

module DocumentHighlightKind : sig ... end

module FileOperationPatternKind : sig ... end

module TraceValues : sig ... end

module TextDocumentSyncKind : sig ... end

module InlayHintKind : sig ... end

module InlineCompletionTriggerKind : sig ... end

module MessageType : sig ... end

module UniquenessLevel : sig ... end

module MonikerKind : sig ... end

module SemanticTokenModifiers : sig ... end

module SemanticTokenTypes : sig ... end

module SignatureHelpTriggerKind : sig ... end

module TextDocumentSaveReason : sig ... end

module Position : sig ... end

module Range : sig ... end

module ChangeAnnotationIdentifier : sig ... end

module AnnotatedTextEdit : sig ... end

module DeleteFileOptions : sig ... end

module DeleteFile : sig ... end

module RenameFileOptions : sig ... end

module RenameFile : sig ... end

module CreateFileOptions : sig ... end

module CreateFile : sig ... end

module OptionalVersionedTextDocumentIdentifier : sig ... end

module TextEdit : sig ... end

module TextDocumentEdit : sig ... end

module ChangeAnnotation : sig ... end

module WorkspaceEdit : sig ... end

module ApplyWorkspaceEditParams : sig ... end

module ApplyWorkspaceEditResult : sig ... end

module BaseSymbolInformation : sig ... end

module CallHierarchyClientCapabilities : sig ... end

module CallHierarchyItem : sig ... end

module CallHierarchyIncomingCall : sig ... end

module CallHierarchyIncomingCallsParams : sig ... end

module CallHierarchyOptions : sig ... end

module CallHierarchyOutgoingCall : sig ... end

module CallHierarchyOutgoingCallsParams : sig ... end

module TextDocumentIdentifier : sig ... end

module CallHierarchyPrepareParams : sig ... end

module NotebookCellTextDocumentFilter : sig ... end

module DocumentFilter : sig ... end

module DocumentSelector : sig ... end

module CallHierarchyRegistrationOptions : sig ... end

module CancelParams : sig ... end

module WorkspaceEditClientCapabilities : sig ... end

module WorkspaceSymbolClientCapabilities : sig ... end

module SemanticTokensWorkspaceClientCapabilities : sig ... end

module InlineValueWorkspaceClientCapabilities : sig ... end

module InlayHintWorkspaceClientCapabilities : sig ... end

module FoldingRangeWorkspaceClientCapabilities : sig ... end

module FileOperationClientCapabilities : sig ... end

module ExecuteCommandClientCapabilities : sig ... end

module DidChangeWatchedFilesClientCapabilities : sig ... end

module DidChangeConfigurationClientCapabilities : sig ... end

module DiagnosticWorkspaceClientCapabilities : sig ... end

module CodeLensWorkspaceClientCapabilities : sig ... end

module WorkspaceClientCapabilities : sig ... end

module ShowMessageRequestClientCapabilities : sig ... end

module ShowDocumentClientCapabilities : sig ... end

module WindowClientCapabilities : sig ... end

module TypeHierarchyClientCapabilities : sig ... end

module TypeDefinitionClientCapabilities : sig ... end

module TextDocumentSyncClientCapabilities : sig ... end

module SignatureHelpClientCapabilities : sig ... end

module SemanticTokensClientCapabilities : sig ... end

module SelectionRangeClientCapabilities : sig ... end

module RenameClientCapabilities : sig ... end

module ReferenceClientCapabilities : sig ... end

module DocumentRangeFormattingClientCapabilities : sig ... end

module PublishDiagnosticsClientCapabilities : sig ... end

module DocumentOnTypeFormattingClientCapabilities : sig ... end

module MonikerClientCapabilities : sig ... end

module LinkedEditingRangeClientCapabilities : sig ... end

module InlineValueClientCapabilities : sig ... end

module InlineCompletionClientCapabilities : sig ... end

module InlayHintClientCapabilities : sig ... end

module ImplementationClientCapabilities : sig ... end

module HoverClientCapabilities : sig ... end

module DocumentFormattingClientCapabilities : sig ... end

module FoldingRangeClientCapabilities : sig ... end

module DocumentSymbolClientCapabilities : sig ... end

module DocumentLinkClientCapabilities : sig ... end

module DocumentHighlightClientCapabilities : sig ... end

module DiagnosticClientCapabilities : sig ... end

module DefinitionClientCapabilities : sig ... end

module DeclarationClientCapabilities : sig ... end

module CompletionClientCapabilities : sig ... end

module DocumentColorClientCapabilities : sig ... end

module CodeLensClientCapabilities : sig ... end

module CodeActionClientCapabilities : sig ... end

module TextDocumentClientCapabilities : sig ... end

module NotebookDocumentSyncClientCapabilities : sig ... end

module NotebookDocumentClientCapabilities : sig ... end

module RegularExpressionsClientCapabilities : sig ... end

module MarkdownClientCapabilities : sig ... end

module GeneralClientCapabilities : sig ... end

module ClientCapabilities : sig ... end

module Location : sig ... end

module DiagnosticRelatedInformation : sig ... end

module MarkupContent : sig ... end

module CodeDescription : sig ... end

module Diagnostic : sig ... end

module Command : sig ... end

module CodeAction : sig ... end

module CodeActionContext : sig ... end

module CodeActionOptions : sig ... end

module CodeActionParams : sig ... end

module CodeActionRegistrationOptions : sig ... end

module CodeLens : sig ... end

module CodeLensOptions : sig ... end

module CodeLensParams : sig ... end

module CodeLensRegistrationOptions : sig ... end

module Color : sig ... end

module ColorInformation : sig ... end

module ColorPresentation : sig ... end

module ColorPresentationParams : sig ... end

module CompletionContext : sig ... end

module InsertReplaceEdit : sig ... end

module CompletionItemLabelDetails : sig ... end

module CompletionItem : sig ... end

module CompletionList : sig ... end

module CompletionOptions : sig ... end

module CompletionParams : sig ... end

module CompletionRegistrationOptions : sig ... end

module ConfigurationItem : sig ... end

module ConfigurationParams : sig ... end

module FileCreate : sig ... end

module CreateFilesParams : sig ... end

module Declaration : sig ... end

module LocationLink : sig ... end

module DeclarationLink : sig ... end

module DeclarationOptions : sig ... end

module DeclarationParams : sig ... end

module DeclarationRegistrationOptions : sig ... end

module Definition : sig ... end

module DefinitionLink : sig ... end

module DefinitionOptions : sig ... end

module DefinitionParams : sig ... end

module DefinitionRegistrationOptions : sig ... end

module FileDelete : sig ... end

module DeleteFilesParams : sig ... end

module DiagnosticOptions : sig ... end

module DiagnosticRegistrationOptions : sig ... end

module DiagnosticServerCancellationData : sig ... end

module DidChangeConfigurationParams : sig ... end

module DidChangeConfigurationRegistrationOptions : sig ... end

module VersionedNotebookDocumentIdentifier : sig ... end

module TextDocumentContentChangeEvent : sig ... end

module VersionedTextDocumentIdentifier : sig ... end

module ExecutionSummary : sig ... end

module NotebookCell : sig ... end

module TextDocumentItem : sig ... end

module NotebookCellArrayChange : sig ... end

module NotebookDocumentChangeEvent : sig ... end

module DidChangeNotebookDocumentParams : sig ... end

module DidChangeTextDocumentParams : sig ... end

module FileEvent : sig ... end

module DidChangeWatchedFilesParams : sig ... end

module Pattern : sig ... end

module WorkspaceFolder : sig ... end

module RelativePattern : sig ... end

module GlobPattern : sig ... end

module FileSystemWatcher : sig ... end

module DidChangeWatchedFilesRegistrationOptions : sig ... end

module WorkspaceFoldersChangeEvent : sig ... end

module DidChangeWorkspaceFoldersParams : sig ... end

module NotebookDocumentIdentifier : sig ... end

module DidCloseNotebookDocumentParams : sig ... end

module DidCloseTextDocumentParams : sig ... end

module NotebookDocument : sig ... end

module DidOpenNotebookDocumentParams : sig ... end

module DidOpenTextDocumentParams : sig ... end

module DidSaveNotebookDocumentParams : sig ... end

module DidSaveTextDocumentParams : sig ... end

module DocumentColorOptions : sig ... end

module DocumentColorParams : sig ... end

module DocumentColorRegistrationOptions : sig ... end

module DocumentDiagnosticParams : sig ... end

module UnchangedDocumentDiagnosticReport : sig ... end

module FullDocumentDiagnosticReport : sig ... end

module RelatedUnchangedDocumentDiagnosticReport : sig ... end

module RelatedFullDocumentDiagnosticReport : sig ... end

module DocumentDiagnosticReport : sig ... end

module DocumentDiagnosticReportPartialResult : sig ... end

module DocumentFormattingOptions : sig ... end

module FormattingOptions : sig ... end

module DocumentFormattingParams : sig ... end

module DocumentFormattingRegistrationOptions : sig ... end

module DocumentHighlight : sig ... end

module DocumentHighlightOptions : sig ... end

module DocumentHighlightParams : sig ... end

module DocumentHighlightRegistrationOptions : sig ... end

module DocumentLink : sig ... end

module DocumentLinkOptions : sig ... end

module DocumentLinkParams : sig ... end

module DocumentLinkRegistrationOptions : sig ... end

module DocumentOnTypeFormattingOptions : sig ... end

module DocumentOnTypeFormattingParams : sig ... end

module DocumentOnTypeFormattingRegistrationOptions : sig ... end

module DocumentRangeFormattingOptions : sig ... end

module DocumentRangeFormattingParams : sig ... end

module DocumentRangeFormattingRegistrationOptions : sig ... end

module DocumentRangesFormattingParams : sig ... end

module DocumentSymbol : sig ... end

module DocumentSymbolOptions : sig ... end

module DocumentSymbolParams : sig ... end

module DocumentSymbolRegistrationOptions : sig ... end

module ExecuteCommandOptions : sig ... end

module ExecuteCommandParams : sig ... end

module ExecuteCommandRegistrationOptions : sig ... end

module FileOperationPatternOptions : sig ... end

module FileOperationPattern : sig ... end

module FileOperationFilter : sig ... end

module FileOperationRegistrationOptions : sig ... end

module FileOperationOptions : sig ... end

module FileRename : sig ... end

module FoldingRange : sig ... end

module FoldingRangeOptions : sig ... end

module FoldingRangeParams : sig ... end

module FoldingRangeRegistrationOptions : sig ... end

module Hover : sig ... end

module HoverOptions : sig ... end

module HoverParams : sig ... end

module HoverRegistrationOptions : sig ... end

module ImplementationOptions : sig ... end

module ImplementationParams : sig ... end

module ImplementationRegistrationOptions : sig ... end

module InitializeError : sig ... end

module InitializeParams : sig ... end

module WorkspaceSymbolOptions : sig ... end

module WorkspaceFoldersServerCapabilities : sig ... end

module TypeHierarchyRegistrationOptions : sig ... end

module TypeHierarchyOptions : sig ... end

module TypeDefinitionRegistrationOptions : sig ... end

module TypeDefinitionOptions : sig ... end

module SaveOptions : sig ... end

module TextDocumentSyncOptions : sig ... end

module SignatureHelpOptions : sig ... end

module SemanticTokensLegend : sig ... end

module SemanticTokensRegistrationOptions : sig ... end

module SemanticTokensOptions : sig ... end

module SelectionRangeRegistrationOptions : sig ... end

module SelectionRangeOptions : sig ... end

module RenameOptions : sig ... end

module ReferenceOptions : sig ... end

module MonikerRegistrationOptions : sig ... end

module MonikerOptions : sig ... end

module LinkedEditingRangeRegistrationOptions : sig ... end

module LinkedEditingRangeOptions : sig ... end

module InlineValueRegistrationOptions : sig ... end

module InlineValueOptions : sig ... end

module InlineCompletionOptions : sig ... end

module InlayHintRegistrationOptions : sig ... end

module InlayHintOptions : sig ... end

module ServerCapabilities : sig ... end

module InitializeResult : sig ... end

module InitializedParams_ : sig ... end

module InlayHintLabelPart : sig ... end

module InlayHint : sig ... end

module InlayHintParams : sig ... end

module SelectedCompletionInfo : sig ... end

module InlineCompletionContext : sig ... end

module StringValue : sig ... end

module InlineCompletionItem : sig ... end

module InlineCompletionList : sig ... end

module InlineCompletionParams : sig ... end

module InlineCompletionRegistrationOptions : sig ... end

module InlineValueEvaluatableExpression : sig ... end

module InlineValueVariableLookup : sig ... end

module InlineValueText : sig ... end

module InlineValue : sig ... end

module InlineValueContext : sig ... end

module InlineValueParams : sig ... end

module LinkedEditingRangeParams : sig ... end

module LinkedEditingRanges : sig ... end

module LogMessageParams : sig ... end

module LogTraceParams : sig ... end

module MessageActionItem : sig ... end

module Moniker : sig ... end

module MonikerParams : sig ... end

module ParameterInformation : sig ... end

module PartialResultParams : sig ... end

module PrepareRenameParams : sig ... end

module PreviousResultId : sig ... end

module PublishDiagnosticsParams : sig ... end

module ReferenceContext : sig ... end

module ReferenceParams : sig ... end

module ReferenceRegistrationOptions : sig ... end

module Registration : sig ... end

module RegistrationParams : sig ... end

module RenameFilesParams : sig ... end

module RenameParams : sig ... end

module RenameRegistrationOptions : sig ... end

module ResourceOperation : sig ... end

module SelectionRange : sig ... end

module SelectionRangeParams : sig ... end

module SemanticTokens : sig ... end

module SemanticTokensEdit : sig ... end

module SemanticTokensDelta : sig ... end

module SemanticTokensDeltaParams : sig ... end

module SemanticTokensDeltaPartialResult : sig ... end

module SemanticTokensParams : sig ... end

module SemanticTokensPartialResult : sig ... end

module SemanticTokensRangeParams : sig ... end

module SetTraceParams : sig ... end

module ShowDocumentParams : sig ... end

module ShowDocumentResult : sig ... end

module ShowMessageParams : sig ... end

module ShowMessageRequestParams : sig ... end

module SignatureInformation : sig ... end

module SignatureHelp : sig ... end

module SignatureHelpContext : sig ... end

module SignatureHelpParams : sig ... end

module SignatureHelpRegistrationOptions : sig ... end

module StaticRegistrationOptions : sig ... end

module SymbolInformation : sig ... end

module TextDocumentChangeRegistrationOptions : sig ... end

module TextDocumentPositionParams : sig ... end

module TextDocumentRegistrationOptions : sig ... end

module TextDocumentSaveRegistrationOptions : sig ... end

module TypeDefinitionParams : sig ... end

module TypeHierarchyItem : sig ... end

module TypeHierarchyPrepareParams : sig ... end

module TypeHierarchySubtypesParams : sig ... end

module TypeHierarchySupertypesParams : sig ... end

module Unregistration : sig ... end

module UnregistrationParams : sig ... end

module WillSaveTextDocumentParams : sig ... end

module WorkDoneProgressBegin : sig ... end

module WorkDoneProgressCancelParams : sig ... end

module WorkDoneProgressCreateParams : sig ... end

module WorkDoneProgressEnd : sig ... end

module WorkDoneProgressOptions : sig ... end

module WorkDoneProgressParams : sig ... end

module WorkDoneProgressReport : sig ... end

module WorkspaceDiagnosticParams : sig ... end

module WorkspaceUnchangedDocumentDiagnosticReport : sig ... end

module WorkspaceFullDocumentDiagnosticReport : sig ... end

module WorkspaceDocumentDiagnosticReport : sig ... end

module WorkspaceDiagnosticReport : sig ... end

module WorkspaceDiagnosticReportPartialResult : sig ... end

module WorkspaceFoldersInitializeParams : sig ... end

module WorkspaceSymbol : sig ... end

module WorkspaceSymbolParams : sig ... end

module WorkspaceSymbolRegistrationOptions : sig ... end

module CodeActionResult : sig ... end

module Locations : sig ... end

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 -> Stdlib.Printexc.raw_backtrace -> unit t

val catch : 
  (unit -> 'a t) ->
  (exn -> Stdlib.Printexc.raw_backtrace -> 'a t) ->
  'a t

type doc_state = Linol.Server.doc_state

module Jsonrpc2 : sig ... end

val run : 'a Lwt.t -> 'a