~/jendhub

def hover.of

bolt@1.27.0.0 · src/lsp/server.bend:412

import bolt@1.27.0.0/src/lsp/server.bend as Server
import Base
import emerging-ezjson@1.2.0.0/src/value.bend as J
import bolt@1.27.0.0/src/lsp/proto.bend as Proto
import bolt@1.27.0.0/src/lsp/nav.bend as Nav

412def hover.of(mm: Maybe<&2, Nav.Found>) -> J.Json:
413  match mm:
414    case None{}:
415      J.JNull{}
416    case Some{Nav.Found{uri, item}}:
417      Proto.hover(item)
418    case Some{Nav.Here{uri, b}}:
419      Proto.hover.local(b)

Uses (5)

Used by (1)