def starting_in

bolt@1.27.0.0 · src/lsp/nav.bend:356

import Base
import bolt@1.27.0.0/src/syntax/outline.bend as Outline
import bolt@1.27.0.0/src/lsp/files/service.bend as F
import bolt@1.27.0.0/src/lsp/docs.bend as Docs

356# the items of a file that start with a prefix, renamed for insertion
357def starting_in(
358  ~fs: F.Files,
359  docs: List<&2, Docs.Doc>,
360  +path: String,
361  prefix: String,
362  qual: String
363) -> IO(List<&2, Outline.Item>):
364  do IO<List<&2, Outline.Item>>:
365    text : String <- load(~fs, docs, "file://" ++ path, path)
366    return Outline.starting(Outline.items(text), prefix, qual)