hls-plugin-api-0.5.0.0: Haskell Language Server API for plugin communication
Safe HaskellNone
LanguageHaskell2010

Ide.Plugin

Synopsis

Documentation

asGhcIdePlugin :: IdePlugins -> Plugin Config Source #

Map a set of plugins to the underlying ghcide engine. Main point is IdePlugins are arranged by kind of operation, Plugin is arranged by message category (Notifaction, Request etc).

getPid :: IO Text #

Get the operating system process id for the running server instance. This should be the same for the lifetime of the instance, and different from that of any other currently running instance.

getClientConfig :: LspFuncs Config -> IO Config Source #

Returns the current client configuration. It is not wise to permanently cache the returned value of this function, as clients can at runitime change their configuration.

If no custom configuration has been set by the client, this function returns our own defaults.

getClientConfigAction :: Action Config Source #

Returns the client configurarion stored in the IdeState. You can use this function to access it from shake Rules