| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ide.Plugin.Config
Synopsis
- getConfigFromNotification :: Config -> Value -> Either Text Config
- data Config = Config {
- checkParents :: CheckParents
- checkProject :: !Bool
- hlintOn :: !Bool
- diagnosticsOnChange :: !Bool
- maxNumberOfProblems :: !Int
- diagnosticsDebounceDuration :: !Int
- liquidOn :: !Bool
- completionSnippetsOn :: !Bool
- formatOnImportOn :: !Bool
- formattingProvider :: !Text
- maxCompletions :: !Int
- plugins :: !(Map Text PluginConfig)
- parseConfig :: Config -> Value -> Parser Config
- data PluginConfig = PluginConfig {
- plcGlobalOn :: !Bool
- plcCodeActionsOn :: !Bool
- plcCodeLensOn :: !Bool
- plcDiagnosticsOn :: !Bool
- plcHoverOn :: !Bool
- plcSymbolsOn :: !Bool
- plcCompletionOn :: !Bool
- plcRenameOn :: !Bool
- plcConfig :: !Object
- data CheckParents
Documentation
getConfigFromNotification :: Config -> Value -> Either Text Config Source #
Given a DidChangeConfigurationNotification message, this function returns the parsed Config object if possible.
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
| |
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.
Constructors
| PluginConfig | |
Fields
| |
Instances
| Eq PluginConfig Source # | |
Defined in Ide.Plugin.Config | |
| Show PluginConfig Source # | |
Defined in Ide.Plugin.Config Methods showsPrec :: Int -> PluginConfig -> ShowS # show :: PluginConfig -> String # showList :: [PluginConfig] -> ShowS # | |
| ToJSON PluginConfig Source # | |
Defined in Ide.Plugin.Config Methods toJSON :: PluginConfig -> Value # toEncoding :: PluginConfig -> Encoding # toJSONList :: [PluginConfig] -> Value # toEncodingList :: [PluginConfig] -> Encoding # | |
| FromJSON PluginConfig Source # | |
Defined in Ide.Plugin.Config | |
| Default PluginConfig Source # | |
Defined in Ide.Plugin.Config Methods def :: PluginConfig # | |
data CheckParents Source #
Constructors
| NeverCheck | |
| CheckOnClose | |
| CheckOnSaveAndClose | |
| AlwaysCheck |