hls-plugin-api-0.4.1.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.