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

Ide.Plugin.Config

Synopsis

Documentation

getInitialConfig :: InitializeRequest -> Either Text Config Source #

Given an InitializeRequest message, this function returns the parsed Config object if possible. Otherwise, it returns the default configuration

getConfigFromNotification :: DidChangeConfigurationNotification -> Either Text Config Source #

Given a DidChangeConfigurationNotification message, this function returns the parsed Config object if possible.

data Config Source #

We (initially anyway) mirror the hie configuration, so that existing clients can simply switch executable and not have any nasty surprises. There will be surprises relating to config options being ignored, initially though.

Instances

Instances details
Eq Config Source # 
Instance details

Defined in Ide.Plugin.Config

Methods

(==) :: Config -> Config -> Bool #

(/=) :: Config -> Config -> Bool #

Show Config Source # 
Instance details

Defined in Ide.Plugin.Config

ToJSON Config Source # 
Instance details

Defined in Ide.Plugin.Config

FromJSON Config Source # 
Instance details

Defined in Ide.Plugin.Config

Default Config Source # 
Instance details

Defined in Ide.Plugin.Config

Methods

def :: Config #