def got

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

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

695# what recv gave: the handle and maybe a body
696def got(  # noqa: L001 serve loop IO
697  ~H: Type,
698  ~tr: T.Transport<H>,
699  ~fs: F.Files,
700  ~ck: C.Checker,
701  rr: H & Maybe<&2, String>,
702  ee: Enc.Enc,
703  docs: List<&2, Docs.Doc>,
704  rest: H -> Enc.Enc -> List<&2, Docs.Doc> -> IO(Unit)
705) -> IO(Unit):
706  (h, m) = rr
707  turn(~H, ~tr, ~fs, ~ck, m, h, ee, docs, rest)