@@ -218,20 +218,33 @@ pluginResponsible uri pluginDesc
218218 mfp = uriToFilePath uri
219219
220220instance PluginMethod TextDocumentDefinition where
221- pluginEnabled = undefined
222- combineResponses = undefined
221+ pluginEnabled _ msgParams pluginDesc _ =
222+ pluginResponsible uri pluginDesc
223+ where
224+ uri = msgParams ^. J. textDocument . J. uri
225+ combineResponses _ _ _ _ (x :| _) = x
226+
223227instance PluginMethod TextDocumentTypeDefinition where
224- pluginEnabled = undefined
225- combineResponses = undefined
228+ pluginEnabled _ msgParams pluginDesc _ =
229+ pluginResponsible uri pluginDesc
230+ where
231+ uri = msgParams ^. J. textDocument . J. uri
232+ combineResponses _ _ _ _ (x :| _) = x
233+
226234instance PluginMethod TextDocumentDocumentHighlight where
227- pluginEnabled = undefined
228- combineResponses = undefined
235+ pluginEnabled _ msgParams pluginDesc _ =
236+ pluginResponsible uri pluginDesc
237+ where
238+ uri = msgParams ^. J. textDocument . J. uri
239+
229240instance PluginMethod TextDocumentReferences where
230- pluginEnabled = undefined
231- combineResponses = undefined
241+ pluginEnabled _ msgParams pluginDesc _ =
242+ pluginResponsible uri pluginDesc
243+ where
244+ uri = msgParams ^. J. textDocument . J. uri
245+
232246instance PluginMethod WorkspaceSymbol where
233- pluginEnabled = undefined
234- combineResponses = undefined
247+ pluginEnabled _ _ _ _ = True
235248
236249instance PluginMethod TextDocumentCodeLens where
237250 pluginEnabled _ msgParams pluginDesc config =
0 commit comments