PageWidth | Ide.Logger |
pageWidth | Ide.Logger |
parens | Ide.Logger |
parseConfig | Ide.Plugin.Config |
payload | Ide.Logger |
pipe | Ide.Logger |
PluginCommand | |
1 (Type/Class) | Ide.Types |
2 (Data Constructor) | Ide.Types |
PluginConfig | |
1 (Type/Class) | Ide.Types, Ide.Plugin.Config |
2 (Data Constructor) | Ide.Types, Ide.Plugin.Config |
PluginDescriptor | |
1 (Type/Class) | Ide.Types |
2 (Data Constructor) | Ide.Types |
pluginDescToIdePlugins | Ide.PluginUtils |
PluginError | Ide.Plugin.Error |
PluginHandler | |
1 (Type/Class) | Ide.Types |
2 (Data Constructor) | Ide.Types |
PluginHandlers | |
1 (Type/Class) | Ide.Types |
2 (Data Constructor) | Ide.Types |
PluginId | |
1 (Type/Class) | Ide.Types |
2 (Data Constructor) | Ide.Types |
PluginInternalError | Ide.Plugin.Error |
PluginInvalidParams | Ide.Plugin.Error |
PluginInvalidUserState | Ide.Plugin.Error |
PluginMethod | Ide.Types |
PluginMethodHandler | Ide.Types |
PluginNotificationHandler | |
1 (Type/Class) | Ide.Types |
2 (Data Constructor) | Ide.Types |
PluginNotificationHandlers | |
1 (Type/Class) | Ide.Types |
2 (Data Constructor) | Ide.Types |
PluginRequestMethod | Ide.Types |
PluginRequestRefused | Ide.Plugin.Error |
PluginRuleFailed | Ide.Plugin.Error |
PluginStaleResolve | Ide.Plugin.Error |
pluginsToDefaultConfig | Ide.Plugin.ConfigUtils |
pluginsToVSCodeExtensionSchema | Ide.Plugin.ConfigUtils |
plural | Ide.Logger |
positionInRange | Ide.PluginUtils |
Pretty | Ide.Logger |
pretty | Ide.Logger |
prettyList | Ide.Logger |
Priority | Ide.Logger |
priority | Ide.Logger |
PriorityColumn | Ide.Logger |
Properties | Ide.Plugin.Properties |
PropertyKey | |
1 (Type/Class) | Ide.Plugin.Properties |
2 (Data Constructor) | Ide.Plugin.Properties |
PropertyType | Ide.Plugin.Properties |
punctuate | Ide.Logger |