~/jendhub

def hover.pick

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

import bolt@1.27.0.0/src/lsp/nav.bend as Nav
import Base
import bolt@1.27.0.0/src/syntax/bind.bend as Bind

207# an outline item when the name resolved, else one in this document, else the
208# binder. A comment above a law stays on that law: a file header separated by
209# an import or a blank line is not part of it
210def hover.pick(mm: Maybe<&2, Found>, local: Maybe<&2, Found>, uri: String, bb: Bind.Bind) -> Maybe<&2, Found>:
211  match mm:
212    case Some{f}:
213      Some{f}
214    case None{}:
215      hover.binder(local, uri, bb)

Uses (5)

Used by (1)