def run

bolt@1.27.0.0 · src/lsp/run.bend:9

import Base
import bolt@1.27.0.0/src/lsp/server.bend as Server
import bolt@1.27.0.0/src/lsp/transport/stdio.bend as Stdio
import bolt@1.27.0.0/src/lsp/files/disk.bend as Disk
import bolt@1.27.0.0/src/lsp/checker/bend.bend as BendChecker

9# the server over stdio, reading the disk
10def run() -> IO(Unit):  # noqa: L001 IO entry point
11  do IO<Unit>:
12    h : Stdio.Stdio <- Stdio.open()
13    Server.serve(~Stdio.Stdio, ~Stdio.new(), ~Disk.new(), ~BendChecker.service(), U32.to_nat(4294967295), h, [])