Ide.Plugin.Config

Documentation

getInitialConfig :: InitializeRequest -> Either Text Config

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

getConfigFromNotification :: DidChangeConfigurationNotification -> Either Text Config

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

data Config

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.

Constructors

Config

Fields

• hlintOn :: Bool
• diagnosticsOnChange :: Bool
• maxNumberOfProblems :: Int
• diagnosticsDebounceDuration :: Int
• liquidOn :: Bool
• completionSnippetsOn :: Bool
• formatOnImportOn :: Bool
• formattingProvider :: Text

Instances

Eq Config

Defined in Ide.Plugin.Config

Methods

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

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

Show Config

Defined in Ide.Plugin.Config

Methods

showsPrec :: Int -> Config -> ShowS

show :: Config -> String

showList :: [Config] -> ShowS

ToJSON Config

Defined in Ide.Plugin.Config

Methods

toJSON :: Config -> Value

toEncoding :: Config -> Encoding

toJSONList :: [Config] -> Value

toEncodingList :: [Config] -> Encoding

FromJSON Config

Defined in Ide.Plugin.Config

Methods

parseJSON :: Value -> Parser Config

parseJSONList :: Value -> Parser [Config]

Default Config

Defined in Ide.Plugin.Config

Methods

def :: Config