| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Ide.Plugin.Config
Synopsis
- getConfigFromNotification :: IdePlugins s -> Config -> Value -> Either Text Config
- data Config = Config {}
- parseConfig :: IdePlugins s -> Config -> Value -> Parser Config
- data PluginConfig = PluginConfig {
- plcGlobalOn :: !Bool
- plcCallHierarchyOn :: !Bool
- plcCodeActionsOn :: !Bool
- plcCodeLensOn :: !Bool
- plcDiagnosticsOn :: !Bool
- plcHoverOn :: !Bool
- plcSymbolsOn :: !Bool
- plcCompletionOn :: !Bool
- plcRenameOn :: !Bool
- plcSelectionRangeOn :: !Bool
- plcFoldingRangeOn :: !Bool
- plcSemanticTokensOn :: !Bool
- plcConfig :: !Object
- data CheckParents
Documentation
getConfigFromNotification :: IdePlugins s -> 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 initially be surprises relating to config options being ignored though.
Constructors
| Config | |
Fields | |
parseConfig :: IdePlugins s -> Config -> Value -> Parser Config Source #
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
| ToJSON PluginConfig Source # | |
Defined in Ide.Types Methods toJSON :: PluginConfig -> Value # toEncoding :: PluginConfig -> Encoding # toJSONList :: [PluginConfig] -> Value # toEncodingList :: [PluginConfig] -> Encoding # omitField :: PluginConfig -> Bool # | |
| Show PluginConfig Source # | |
Defined in Ide.Types Methods showsPrec :: Int -> PluginConfig -> ShowS # show :: PluginConfig -> String # showList :: [PluginConfig] -> ShowS # | |
| Default PluginConfig Source # | |
Defined in Ide.Types Methods def :: PluginConfig # | |
| Eq PluginConfig Source # | |
Defined in Ide.Types | |
data CheckParents Source #
Constructors
| NeverCheck | |
| CheckOnSave | |
| AlwaysCheck |