def pub.answer

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

import bolt@1.27.0.0/src/lsp/server.bend as Server
import Base
import bolt@1.27.0.0/src/lint/world.bend as W
import bolt@1.27.0.0/src/lsp/files/service.bend as F

321# one question of the planner's, answered from the files: a directory's
322# entries, or a file's text (a directory reads as no text)
323def pub.answer(~fs: F.Files, ask: W.Ask) -> IO(W.Answer):
324  match ask:
325    case W.Entries{dir}:
326      do IO<W.Answer>:
327        es : List<&2, String> <- F.entries(fs, dir)
328        return W.Listed{es}
329    case W.Contents{path}:
330      do IO<W.Answer>:
331        mm : Maybe<&2, String> <- F.read(fs, path)
332        return pub.read.answer(mm)

Uses (12)

Used by (1)