hls-plugin-api-1.5.0.0: Haskell Language Server API for plugin communication
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ide.Plugin.Config

Synopsis

Documentation

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

Instances

Instances details
ToJSON Config Source # 
Instance details

Defined in Ide.Plugin.Config

Show Config Source # 
Instance details

Defined in Ide.Plugin.Config

Default Config Source # 
Instance details

Defined in Ide.Plugin.Config

Methods

def :: Config #

Eq Config Source # 
Instance details

Defined in Ide.Plugin.Config

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.

data CheckParents Source #

Instances

Instances details
FromJSON CheckParents Source # 
Instance details

Defined in Ide.Plugin.Config

ToJSON CheckParents Source # 
Instance details

Defined in Ide.Plugin.Config

Generic CheckParents Source # 
Instance details

Defined in Ide.Plugin.Config

Associated Types

type Rep CheckParents :: Type -> Type #

Show CheckParents Source # 
Instance details

Defined in Ide.Plugin.Config

Eq CheckParents Source # 
Instance details

Defined in Ide.Plugin.Config

Ord CheckParents Source # 
Instance details

Defined in Ide.Plugin.Config

type Rep CheckParents Source # 
Instance details

Defined in Ide.Plugin.Config

type Rep CheckParents = D1 ('MetaData "CheckParents" "Ide.Plugin.Config" "hls-plugin-api-1.5.0.0-BXQtiafHCTK9l5i8ZO3ecW" '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)))