def from_base

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

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

368# Base is big: it is offered once something is typed
369def from_base(~fs: F.Files, typed: Bool, docs: List<&2, Docs.Doc>, prefix: String) -> IO(List<&2, Outline.Item>):
370  match typed:
371    case False{}:
372      IO.pure(List<&2, Outline.Item>, [])
373    case True{}:
374      do IO<List<&2, Outline.Item>>:
375        path : String <- F.base_path(fs)
376        starting_in(~fs, docs, path, prefix, "")