def serve

bolt@1.27.0.0 · src/lsp/server.bend:727

import Base
import bolt@1.27.0.0/src/lsp/docs.bend as Docs
import bolt@1.27.0.0/src/lsp/transport/service.bend as T
import bolt@1.27.0.0/src/lsp/checker/answer.bend as C
import bolt@1.27.0.0/src/lsp/files/service.bend as F
import bolt@1.27.0.0/src/lsp/enc.bend as Enc

727# serves until exit, the peer's end, or the fuel's (a message each), in
728# UTF-16 until initialize negotiates
729def serve(  # noqa: L001 serve loop IO
730  ~H: Type,
731  ~tr: T.Transport<H>,
732  ~fs: F.Files,
733  ~ck: C.Checker,
734  fuel: Nat,
735  h3: H,
736  docs: List<&2, Docs.Doc>
737) -> IO(Unit):
738  serve.go(~H, ~tr, ~fs, ~ck, fuel, h3, Enc.Utf16{}, docs)