package forester

  1. Overview
  2. Docs
A tool for tending mathematical forests

Install

Dune Dependency

Authors

Maintainers

Sources

5.0.tar.gz
md5=24f4aed96a8b8af33aba13fba66f1b37
sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573

doc/forester.language_server/Forester_lsp/index.html

Module Forester_lspSource

Sourcemodule L = Lsp.Types
Sourcemodule RPC = Jsonrpc
Sourcemodule Server : sig ... end
Sourcemodule Analysis : sig ... end
Sourcemodule Lsp_state : sig ... end
Sourcemodule LspEio : sig ... end
Sourcemodule Lsp_shims : sig ... end
Sourcemodule Call_hierarchy : sig ... end
Sourcemodule Change_configuration : sig ... end
Sourcemodule Code_action : sig ... end
Sourcemodule Code_lens : sig ... end
Sourcemodule Completion : sig ... end
Sourcemodule Definitions : sig ... end
Sourcemodule Did_change : sig ... end
Sourcemodule Did_open : sig ... end
Sourcemodule Document_symbols : sig ... end
Sourcemodule Highlight : sig ... end
Sourcemodule Hover : sig ... end
Sourcemodule Inlay_hint : sig ... end
Sourcemodule Publish : sig ... end
Sourcemodule Semantic_tokens : sig ... end
Sourcemodule Workspace_symbols : sig ... end
Sourcemodule Did_create_files : sig ... end
Sourceval unwrap : 'a option -> Forester_lsp__.Lsp_error.lsp_error -> 'a
Sourceval print_exn : exn -> unit
Sourceval supported_code_actions : L.CodeActionKind.t list
Sourceval supported_commands : string list
Sourceval server_capabilities : L.ServerCapabilities.t
Sourceval supports_utf8_encoding : L.InitializeParams.t -> bool
Sourceval initialize : unit -> unit

Perform the LSP initialization handshake. https://microsoft.github.io/language-server-protocol/specifications/specification-current/#initialize

Sourceval shutdown : unit -> unit

Perform the LSP shutdown sequence. See https://microsoft.github.io/language-server-protocol/specifications/specification-current/#exit

Main Event Loop

Sourceval event_loop : unit -> unit
Sourceval start : env:Eio_unix.Stdenv.base -> config:Forester_core.Config.t -> unit
OCaml

Innovation. Community. Security.

On This Page
  1. Main Event Loop