~/jendhub

def hover.binder

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

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

199# the binder, when the outline has nothing for that name
200def hover.binder(mm: Maybe<&2, Found>, uri: String, bb: Bind.Bind) -> Maybe<&2, Found>:
201  match mm:
202    case Some{f}:
203      Some{f}
204    case None{}:
205      Some{Here{uri, bb}}

Uses (4)

Used by (1)