hls-plugin-api-2.9.0.0: Haskell Language Server API for plugin communication
Safe HaskellSafe-Inferred
LanguageGHC2021

Ide.Plugin.Config

Synopsis

Documentation

getConfigFromNotification :: IdePlugins s -> Config -> Value -> 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 initially be surprises relating to config options being ignored though.

Instances

Instances details
ToJSON Config Source # 
Instance details

Defined in Ide.Types

Show Config Source # 
Instance details

Defined in Ide.Types

Default Config Source # 
Instance details

Defined in Ide.Types

Methods

def :: Config #

Eq Config Source # 
Instance details

Defined in Ide.Types

Methods

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

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

data PluginConfig Source #

A PluginConfig is a generic configuration for a given HLS plugin. It provides a "big switch" to turn it on or off as a whole, as well as small switches per feature, and a slot for custom config. This provides a regular naming scheme for all plugin config.

Instances

Instances details
ToJSON PluginConfig Source # 
Instance details

Defined in Ide.Types

Show PluginConfig Source # 
Instance details

Defined in Ide.Types

Default PluginConfig Source # 
Instance details

Defined in Ide.Types

Methods

def :: PluginConfig #

Eq PluginConfig Source # 
Instance details

Defined in Ide.Types

data CheckParents Source #

Instances

Instances details
FromJSON CheckParents Source # 
Instance details

Defined in Ide.Types

ToJSON CheckParents Source # 
Instance details

Defined in Ide.Types

Generic CheckParents Source # 
Instance details

Defined in Ide.Types

Associated Types

type Rep CheckParents :: Type -> Type #

Show CheckParents Source # 
Instance details

Defined in Ide.Types

Eq CheckParents Source # 
Instance details

Defined in Ide.Types

Ord CheckParents Source # 
Instance details

Defined in Ide.Types

type Rep CheckParents Source # 
Instance details

Defined in Ide.Types

type Rep CheckParents = D1 ('MetaData "CheckParents" "Ide.Types" "hls-plugin-api-2.9.0.0-7CgpzEGM3js8Q4N91fQzKl" 'False) (C1 ('MetaCons "NeverCheck" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CheckOnSave" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlwaysCheck" 'PrefixI 'False) (U1 :: Type -> Type)))