Server.send_all: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/server.bend as Server
Lines 621-629 of bolt@1.27.0.0/src/lsp/server.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/server.bend&start_line=621&end_line=629

import Base
import bolt@1.27.0.0/src/lsp/transport/service.bend as T

# every reply sent, in order
def send_all(~H: Type, ~tr: T.Transport<H>, replies: List<&2, Reply>, h3: H) -> IO(H):  # noqa: L001 serve loop IO
  match replies:
    case Nil{}:
      IO.pure(H, h3)
    case Con{body, t}:
      do IO<H>:
        h2 : H <- T.send(H, tr, h3, text(body))
        send_all(~H, ~tr, t, h2)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/server.bend&name=Reply
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/server.bend&name=text
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/transport/service.bend&name=Transport
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/transport/service.bend&name=send