| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Development.IDE.Plugin.HLS
Synopsis
- asGhcIdePlugin :: Recorder (WithPriority Log) -> IdePlugins IdeState -> Plugin Config
- toResponseError :: (PluginId, PluginError) -> ResponseError
- data Log
- = LogPluginError PluginId PluginError
- | LogResponseError PluginId ResponseError
- | LogNoPluginForMethod (Some SMethod)
- | LogInvalidCommandIdentifier
- | ExceptionInPlugin PluginId (Some SMethod) SomeException
Documentation
asGhcIdePlugin :: Recorder (WithPriority Log) -> IdePlugins IdeState -> Plugin Config Source #
Map a set of plugins to the underlying ghcide engine.
toResponseError :: (PluginId, PluginError) -> ResponseError Source #
Constructors
| LogPluginError PluginId PluginError | |
| LogResponseError PluginId ResponseError | |
| LogNoPluginForMethod (Some SMethod) | |
| LogInvalidCommandIdentifier | |
| ExceptionInPlugin PluginId (Some SMethod) SomeException |