Safe Haskell	None
Language	Haskell2010

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.

Constructors

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

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 Methods showsPrec :: Int -> Config -> ShowS # show :: Config -> String # showList :: [Config] -> ShowS #
ToJSON Config Source #
Instance details Defined in Ide.Plugin.Config Methods toJSON :: Config -> Value # toEncoding :: Config -> Encoding # toJSONList :: [Config] -> Value # toEncodingList :: [Config] -> Encoding #
FromJSON Config Source #
Instance details Defined in Ide.Plugin.Config Methods parseJSON :: Value -> Parser Config # parseJSONList :: Value -> Parser [Config] #
Default Config Source #
Instance details Defined in Ide.Plugin.Config Methods def :: Config #