Up – Package index » Forester: A language for scientific hypertext » Library forester.language_server » Forester_lsp » LspEio

Module `Forester_lsp.LspEio`Source

Forester: A language for scientific hypertext
- README
- README.nix
- Developing Forester
- Library forester.compiler
  - Forester_compiler
- Library forester.core
  - Forester_core
- Library forester.frontend
  - Forester_frontend
- Library forester.human_datetime
  - Human_datetime
- Library forester.language_server
  - Forester_lsp
- Library forester.parser
  - Forester_parser
- Library forester.prelude
  - Forester_prelude
- Library forester.search
  - Forester_search
- Library forester.server
  - Forester_server
- Library forester.test
  - Forester_test
- Library forester.xml_names
  - Forester_xml_names
- Sources

Sourcemodule RPC = Jsonrpc

Sourcetype io = {

input : Eio.Buf_read.t;
output : Eio_unix.sink_ty Eio.Resource.t;

}

Sourcemodule Header : sig ... end

See https://microsoft.github.io/language-server-protocol/specifications/specification-current/#headerPart

Sourcemodule Message : sig ... end

Sourceval init : Eio_unix.Stdenv.base -> io

Sourceval recv : io -> RPC.Packet.t option

Sourceval send : io -> RPC.Packet.t -> unit