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
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)