| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Development.IDE.Plugin.HLS
Synopsis
- asGhcIdePlugin :: Recorder (WithPriority Log) -> IdePlugins IdeState -> Plugin Config
- toResponseError :: forall {f :: MessageDirection} (m :: Method f 'Request). (PluginId, PluginError) -> TResponseError m
- data Log
- = LogPluginError PluginId PluginError
- | ToJSON (ErrorData m) => LogResponseError PluginId (TResponseError m)
- | LogNoPluginForMethod (Some (SMethod :: Method f t -> Type))
- | LogInvalidCommandIdentifier
- | ExceptionInPlugin PluginId (Some (SMethod :: Method f t -> Type)) SomeException
- | LogResolveDefaultHandler (Some (SMethod :: Method f t -> Type))
Documentation
asGhcIdePlugin :: Recorder (WithPriority Log) -> IdePlugins IdeState -> Plugin Config Source #
Map a set of plugins to the underlying ghcide engine.
toResponseError :: forall {f :: MessageDirection} (m :: Method f 'Request). (PluginId, PluginError) -> TResponseError m Source #
Constructors
| LogPluginError PluginId PluginError | |
| ToJSON (ErrorData m) => LogResponseError PluginId (TResponseError m) | |
| LogNoPluginForMethod (Some (SMethod :: Method f t -> Type)) | |
| LogInvalidCommandIdentifier | |
| ExceptionInPlugin PluginId (Some (SMethod :: Method f t -> Type)) SomeException | |
| LogResolveDefaultHandler (Some (SMethod :: Method f t -> Type)) |