def definition.of

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

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

421def definition.of(cc: Enc.Cols, mm: Maybe<&2, Nav.Found>) -> J.Json:
422  match mm:
423    case None{}:
424      J.JNull{}
425    case Some{Nav.Found{uri, item}}:
426      Proto.location(cc, uri, item)
427    case Some{Nav.Here{uri, b}}:
428      Proto.location.local(cc, uri, b)