Safe Haskell	None
Language	Haskell2010

Development.IDE.Plugin

Synopsis

data Plugin c = Plugin {
- pluginRules :: Rules ()
- pluginHandler :: PartialHandlers c
}
codeActionPlugin :: (LspFuncs c -> IdeState -> TextDocumentIdentifier -> Range -> CodeActionContext -> IO (Either ResponseError [CAResult])) -> Plugin c
codeActionPluginWithRules :: Rules () -> (LspFuncs c -> IdeState -> TextDocumentIdentifier -> Range -> CodeActionContext -> IO (Either ResponseError [CAResult])) -> Plugin c
makeLspCommandId :: Text -> IO Text
getPid :: IO Text

Documentation

data Plugin c Source #

Constructors

Plugin
Fields pluginRules :: Rules () pluginHandler :: PartialHandlers c

Instances

Instances details

Semigroup (Plugin c) Source #
Instance details Defined in Development.IDE.Plugin Methods (<>) :: Plugin c -> Plugin c -> Plugin c # sconcat :: NonEmpty (Plugin c) -> Plugin c # stimes :: Integral b => b -> Plugin c -> Plugin c #
Monoid (Plugin c) Source #
Instance details Defined in Development.IDE.Plugin Methods mempty :: Plugin c # mappend :: Plugin c -> Plugin c -> Plugin c # mconcat :: [Plugin c] -> Plugin c #
Default (Plugin c) Source #
Instance details Defined in Development.IDE.Plugin Methods def :: Plugin c #

codeActionPlugin :: (LspFuncs c -> IdeState -> TextDocumentIdentifier -> Range -> CodeActionContext -> IO (Either ResponseError [CAResult])) -> Plugin c Source #

codeActionPluginWithRules :: Rules () -> (LspFuncs c -> IdeState -> TextDocumentIdentifier -> Range -> CodeActionContext -> IO (Either ResponseError [CAResult])) -> Plugin c Source #

makeLspCommandId :: Text -> IO Text Source #

Prefix to uniquely identify commands sent to the client. This has two parts

A representation of the process id to make sure that a client has unique commands if it is running multiple servers, since some clients have a global command table and get confused otherwise.
A string to identify ghcide, to ease integration into haskell-language-server, which routes commands to plugins based on that.

getPid :: IO Text Source #

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.