def own

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

import bolt@1.27.0.0/src/lsp/nav.bend as Nav
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

56# an item of the document, else of Base
57def own(
58  ~fs: F.Files,
59  mm: Maybe<&2, Outline.Item>,
60  docs: List<&2, Docs.Doc>,
61  uri: String,
62  name: String
63) -> IO(Maybe<&2, Found>):
64  match mm:
65    case Some{item}:
66      IO.pure(Maybe<&2, Found>, Some{Found{uri, item}})
67    case None{}:
68      in_base(~fs, docs, name)

Uses (10)

Used by (3)