~/jendhub

def unknown

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

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

179# a request the server does not know is refused; a notification is ignored
180def unknown(id: J.Json) -> List<&2, Reply>:
181  match id:
182    case J.JNull{}:
183      []
184    case other:
185      [RError{other, "-32601", "method not found"}]

Uses (3)

Used by (1)