def method

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

import bolt@1.27.0.0/src/lsp/server.bend as Server
import Base

81# a method by its name
82def method(+name: String) -> Method:
83  Bool.pick(Method, String.eq(name, "initialize"), MInitialize{},
84    Bool.pick(Method, String.eq(name, "shutdown"), MShutdown{},
85      Bool.pick(Method, String.eq(name, "exit"), MExit{},
86        Bool.pick(Method, String.eq(name, "textDocument/didOpen"), MOpen{},
87          Bool.pick(Method, String.eq(name, "textDocument/didChange"), MChange{},
88            Bool.pick(Method, String.eq(name, "textDocument/didSave"), MSave{},
89              Bool.pick(Method, String.eq(name, "textDocument/didClose"), MClose{},
90                Bool.pick(Method, String.eq(name, "textDocument/hover"), MHover{},
91                  Bool.pick(Method, String.eq(name, "textDocument/definition"), MDefinition{},
92                    Bool.pick(Method, String.eq(name, "textDocument/documentSymbol"), MSymbols{},
93                      Bool.pick(Method, String.eq(name, "textDocument/completion"), MCompletion{},
94                        Bool.pick(Method, String.eq(name, "textDocument/references"), MReferences{},
95                          Bool.pick(Method, String.eq(name, "textDocument/rename"), MRename{},
96                            Bool.pick(Method, String.eq(name, "textDocument/semanticTokens/full"), MSemantic{},
97                              MOther{}))))))))))))))

Uses (4)

Used by (2)