package forester

You can search for identifiers within the package.

in-package search v0.2.0

A tool for tending mathematical forests

Install

md5=24f4aed96a8b8af33aba13fba66f1b37

sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573

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

Sourcetype t = {

}

Sourceval empty : t

Sourceval create : content_length:int -> t

Sourceval is_content_length : string -> bool

Sourceval is_content_type : string -> bool

Sourcetype header_error =

Sourceexception HeaderError of header_error

Sourceval parse_header : string -> t -> t

Sourceval read : io -> t

Read the header section of an LSP message.

Sourceval write : io -> t -> unit

Write out the header section of an LSP message.