Development.IDE.Plugin.HLS

Documentation

asGhcIdePlugin :: Recorder (WithPriority Log) -> IdePlugins IdeState -> Plugin Config

Map a set of plugins to the underlying ghcide engine.

toResponseError :: (PluginId, PluginError) -> ResponseError

data Log

Constructors

LogPluginError PluginId PluginError

LogResponseError PluginId ResponseError

LogNoPluginForMethod (Some SMethod)

LogInvalidCommandIdentifier

ExceptionInPlugin PluginId (Some SMethod) SomeException

Instances

Show Log

Defined in Development.IDE.Plugin.HLS

Methods

showsPrec :: Int -> Log -> ShowS

show :: Log -> String

showList :: [Log] -> ShowS

Pretty Log

Defined in Development.IDE.Plugin.HLS

Methods

pretty :: Log -> Doc ann

prettyList :: [Log] -> Doc ann